Process Specification Language: An Analysis of Existing Representations

The goal of the NIST Process Specification Language (PSL) project is to investigate and arrive at a neutral, unifying representation of process information to enable sharing of process data among manufacturing engineering and business applications. This paper focuses on the second phase of the project, the analysis of existing process representations to determine how well existing process representation methodologies support the requirements for specifying processes found in Phase One. This analysis will provide an objective basis from which to develop a comprehensive language and will promote the leveraging of existing work. Process Specification Language: An Analysis of Existing Representations

[1]  Michael Grüninger,et al.  The Process Interchange Format and Framework , 1998, The Knowledge Engineering Review.

[2]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

[3]  Richard C. Anderson,et al.  Product Realization Process Modeling: A Study of Requirements, Methods and Research Issues , 1995 .

[4]  Peter P. Chen.  Entity-Relationship Approach to Information Modeling and Analysis, Proceedings of the Second International Conference on the Entity-Relationship Approach (ER'81), Washington, DC, USA, October 12-14, 1981 , 1981 .

[5]  Austin Tate,et al.  Representing Plans as a Set of Constraints - the Model , 1996, AIPS.

[6]  Duane S. Boning,et al.  CAFE-the MIT computer aided fabrication environment , 1990 .

[7]  Robert F. Steidel,et al.  Marks’ Standard Handbook for Mechanical Engineers, 9th Edition , 1991 .

[8]  Craig Schlenoff,et al.  Using process requirements as the basis for the creation and evaluation of process ontologies for enterprise modeling , 1997, SIGG.

[9]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[10]  Robert Sedgewick,et al.  Algorithms in C , 1990 .

[11]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[12]  Austin Tate.  Mixed Initiative Interaction in O-Plan , 1997 .

[13]  Austin Tate,et al.  O-Plan: a Knowledge-Based Planner and its Application to Logistics , 1996 .

[14]  Dana S. Nau,et al.  Semantics for hierarchical task-network planning , 1994 .

[15]  John R. Dixon,et al.  Managing the Product Realization Process: a Model for Aggregate Cost and Time-to-market Evaluation , 1993 .

[16]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[17]  Joel Moses,et al.  Symbolic integration the stormy decade , 1971, SYMSAC '71.

[18]  Steven R. Ray,et al.  Usinf the ALPS Process Plan Model , 1992 .

[19]  Austin Tate,et al.  Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Inititive , 1996 .

[20]  Michael G. Rodd,et al.  Timing analysis of real-time software , 1994 .

[21]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[22]  Jf Baldwin,et al.  Encyclopedia of AI , 1992 .

[23]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[24]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[25]  David E. Wilkins,et al.  A Common Knowledge Representation for Plan Generation and Reactive Execution , 1995, J. Log. Comput..

[26]  Steven R. Ray,et al.  ALPS: A Language for Process Specification , 1991 .

[27]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[28]  Jack Minker,et al.  State-space problem-reduction, and theorem proving—some relationships , 1975, Commun. ACM.

[29]  Duane S. Boning,et al.  A general semiconductor press modeling framework , 1992 .

[30]  Mack Alford.  STRENGTHENING THE SYSTEMS ENGINEERING PROCESS , 1991 .

[31]  Stephen F. Smith,et al.  An Ontology for Constructing Scheduling Systems , 1997 .

[32]  Salah E. Elmaghraby,et al.  Activity networks: Project planning and control by network models , 1977 .

[33]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[34]  Jeffrey O. Grady.  System requirements analysis , 1993 .

[35]  E. A. Avellone,et al.  Marks' Standard Handbook for Mechanical Engineers , 1916 .

[36]  Craig Schlenoff,et al.  Proceedings of the First Process Specification Language (PSL) Roundtable , 1997 .

[37]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[38]  Craig Schlenoff,et al.  Unified Process Specification Language: Requirements for Modeling Process , 1996 .

[39]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[40]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..