PSL: A semantic domain for flow models

Flow models underlie popular programming languages and many graphical behavior specification tools. However, their semantics is typically ambiguous, causing miscommunication between modelers and unexpected implementation results. This article introduces a way to disambiguate common flow modeling constructs, by expressing their semantics as constraints on runtime sequences of behavior execution. It also shows that reduced ambiguity enables more powerful modeling abstractions, such as partial behavior specifications. The runtime representation considered in this paper uses the Process Specification Language (PSL), which is defined in first-order logic, making it amenable to automated reasoning. The activity diagrams of the Unified Modeling Language are used for example flow models.

[1]  Mark S. Fox,et al.  The TOVE Project Towards a Common-Sense Model of the Enterprise , 1992, IEA/AIE.

[2]  Michael Grüninger,et al.  Ontologies for Integrating Engineering Applications , 2001, J. Comput. Inf. Sci. Eng..

[3]  Craig Schlenoff,et al.  Requirements for Modeling Manufacturing Process: A New Perspective , 1997 .

[4]  Patrick J. Hayes,et al.  A Semantics for the Knowledge Interchange Format , 2001 .

[5]  Daniel G. Bobrow,et al.  Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.

[6]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[7]  Kevin Crowston,et al.  Organizing Business Knowledge: The MIT Process Handbook , 2003 .

[8]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[9]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[10]  Narciso Martí-Oliet,et al.  From Petri nets to linear logic , 1989, Mathematical Structures in Computer Science.

[11]  Monique Snoeck,et al.  Enterprise Modelling , 1998, ECOOP Workshops.

[12]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[13]  Jintae Lee,et al.  Applying specialization to process models , 2018, COCS '95.

[14]  Craig Schlenoff,et al.  The essence of the process specification language , 1999 .

[15]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[16]  Conrad Bock,et al.  UML 2 Activity and Action Models, Part 5: Partitions , 2004, J. Object Technol..

[17]  Michael Grüninger,et al.  A formal foundation for process modeling , 2001, FOIS.

[18]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[19]  John Arnold Kalman.  Automated Reasoning With Otter , 2001 .

[20]  Michael Gruninger.  Ontology of the Process Specification Language , 2004 .

[21]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[22]  Michael Grüninger,et al.  The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..

[23]  George M. Wyner.  Defining Specialization for Process Models , 2001 .

[24]  R. Karp,et al.  Properties of a model for parallel computations: determinacy , 1966 .