Readings on Event and Process Modeling in the Process Specification Language (PSL), and Integration

The following are readings in process modeling, formal integration, and translation & exchange of process models.

Topics:

Background on the Process Specification Language
Mappings and PSL as an Interlingua
Translation Efforts
Common Logic

VERL to PSL mapping effort---recommended main sequence is:
psl interop, cl open forum -> semantic flows, rules-ws paper 103 -> semantic integration

Background on the Process Specification Language

stand_base.pdf

L. Pouchard. A Standard-Based Approach to Interoperability: the Process Specification Language. Tutorial. May 14, 2004.

Set of slides quickly outlining interoperability and demonstrating the use of PSL in mapping process model manipulation systems. Focused on manufacturing, but useful as an overview.

http://www.mel.nist.gov/psl/psl-ontology/

NIST. PSL Ontology -- Current Theories and Extensions. Available at http://www.mel.nist.gov/psl/psl-ontology/ on 2007/06/14.

Online version of the PSL ontology.

Mappings and PSL as an Interlingua

semantic_int.pdf

M. Gruninger and J. B. Kopena. Semantic Integration Through Invariants. AI Magazine, 26:1, pp. 11 - 20, 2005.

Provides a solid overview of PSL and discusses the use of invariants of the model theory, around which most of the PSL lexicon is defined, to guide development of mappings into PSL.

ws2-allpapers.pdf (you want pages 26--33 of the PDF, 22--29 of the document)

M. Gruninger and J. B. Kopena. Planning and the Process Specification Language. In proceedings of the Workshop on the Role of Ontologies in Planning and Scheduling, ICAPS, Olivares, J., Onaindía, E. (eds.), pages 22--29, 2005.

Discusses the use of PSL to describe and integrate planning systems and problems.

http://www.mel.nist.gov/psl/20questions.html

NIST. PSL Twenty Questions Tool. Online form, available at http://www.mel.nist.gov/psl/20questions.html on 2007/06/14.

Tool for semi-automated translation of languages and concepts into PSL. Asks a variety of questions about correct interpretations of the concept to be translating, and outputs a definition in PSL. Under the hood, each question corresponds to one of PSL's model theory invariants.

Translation Efforts

Software Engineering

NISTIR_7348.pdf

C. Bock. Interprocess Communication in the Process Specification Language. Technical report, NIST 7348, October 2006.

Provides a lengthy overview and many examples of PSL, then uses it to define various aspects of messaging and interprocess communication.

semantic_domain.pdf

C. Bock and M. Gruninger. PSL: A Semantic Domain for Flow Models. Software and Systems Modeling Journal, vol. 4, pages 209--231, 2005.

Provides a lengthy overview and many examples of PSL, then uses it to define flow models as frequently used in programming and software engineering. Provides examples mapping UML activity diagrams into PSL. Interestingly, also provides UML class models of various aspects of the PSL language.

Semantic Web Services

FLOWS--MichaelGruninger_20051020.ppt

M. Gruninger, R. Hull, and S. McIlraith. FLOWS: A First-Order Logic Ontology for Web Services.

Presentation pitching the FLOWS idea of defining OWL-S and other service languages on top of a first order ontology of processes.

http://www.daml.org/services/swsf/1.0/

Semantic Web Service Language Committee. Semantic Web Services Framework (SWSF). Technical report, version 1.0, available at http://www.daml.org/services/swsf/1.0/ on 2007/06/14.

The final output from the SWSL effort, initially started to put OWL-S on firmer ground and provide a formal specification of Semantic Web Services processes.

Common Logic

Berlin_OpenForum_Delugach.ppt

H. S. Delugach. Common Logic in Support of Metadata and Ontologies. Presentation to ISO/IEC JTC1 SC32 Open Forum, Berlin, Germany, April 2005.

Gives a general introduction to the goals of the Common Logic effort, a brief overview, and provides some examples in the three included surface syntaxes.

http://www.w3.org/2004/12/rules-ws/paper/103/

P. Hayes and C. Menzel. Simple Common Logic. In proceedings of Rule Languages for Interoperability Workshop, Washington, DC, April 2005. Available at http://www.w3.org/2004/12/rules-ws/paper/103/ on 2007/07/14.

Discusses and presents examples of Simple Common Logic, a pre-cursor to the ISO Common Logic standard.

ISO_IEC_FDIS_24704__E_.pdf

Common Logic (CL): A Framework for a Family of Logic-Based Languages. ISO Draft International Standard. 2007.

Draft of the Common Logic standard, including CL semantics and syntax for the CLIF (KIF look-alike), CGIF (conceptual graphs), and XCL (XML encoding) surfaces.

- tjkopena
2007/06/14