{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:13:44Z","timestamp":1771042424581,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:00:00Z","timestamp":1114905600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,5]]},"DOI":"10.1007\/s10270-004-0066-x","type":"journal-article","created":{"date-parts":[[2004,11,9]],"date-time":"2004-11-09T10:04:34Z","timestamp":1099994674000},"page":"209-231","source":"Crossref","is-referenced-by-count":50,"title":["PSL: A semantic domain for flow models"],"prefix":"10.1007","volume":"4","author":[{"given":"Conrad","family":"Bock","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gruninger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,1]]},"reference":[{"key":"66_CR1","unstructured":"Action Semantics Submission Team (2000) Action Semantics for the UML. http:\/\/www.omg.org\/cgi-bin\/doc?ad\/2000-08-02"},{"key":"66_CR2","doi-asserted-by":"crossref","unstructured":"Bock C (2003) UML 2 Activity and Action Models. Journal of Object Technology 2:4, July\u2013August. http:\/\/www.jot.fm\/issues\/issue_2003_07\/column3","DOI":"10.5381\/jot.2003.2.4.c3"},{"key":"66_CR3","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1115\/1.1344878","volume":"1","author":"Ciocoiu","year":"2001","unstructured":"Ciocoiu M, Gruninger M, Nau D (2001) Ontologies for Integrating Engineering Applications. Journal of Computing and Information Science and Engineering 1(1):12\u201322","journal-title":"Journal of Computing and Information Science and Engineering"},{"key":"66_CR4","unstructured":"Comon Logic Working Group (2003) Common Logic Standard. http:\/\/cl.tamu.edu, http:\/\/cl.tamu.edu"},{"key":"66_CR5","unstructured":"Fox MS (1992) The TOVE Project: A Common-sense Model of the Enterprise, Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. In: Belli F, Radermacher FJ (eds) Lecture Notes in Artificial Intelligence # 604, Springer-Verlag, pp 25\u201334"},{"key":"66_CR6","unstructured":"Fox MS, Gruninger M (1998) Enterprise Modelling. AI Magazine, AAAI Press, pp 109\u2013121, Fall"},{"key":"66_CR7","unstructured":"Ghallab M, Howe A, Knoblock C, McDermott D, Ram A, Veloso M, Daniel W, Wilkins D (1998) PDDL: The Planning Domain Definition Language v.2. Technical Report CVC TR-98-003, Yale Center for Computational Vision and Control"},{"key":"66_CR8","unstructured":"Genesereth MR, Fikes R (1992) Knowledge Interchange Format 3.0. Technical Report KSL-92-01, Knowledge Systems Laboratory, Stanford University"},{"key":"66_CR9","doi-asserted-by":"crossref","unstructured":"Gruninger M (2003) Guide to the Ontology of the Process Specification Language. In: Staab S (ed) Handbook of Ontologies in Information Systems, Springer-Verlag","DOI":"10.1007\/978-3-540-24750-0_29"},{"key":"66_CR10","unstructured":"Gruninger M (2003) PSL 2.0 Ontology \u2013 Current Theories and Extensions. http:\/\/www.nist.gov\/psl\/psl-ontology\/"},{"key":"66_CR11","unstructured":"Gruninger M (2004) Model Theory of PSL-Core. To appear in Technical Report of the Institute for Systems Research at the University of Maryland, College Park"},{"key":"66_CR12","first-page":"63","volume":"24","author":"Gruninger","year":"2003","unstructured":"Gruninger M, Menzel C (2003) Process Specification Language: Principles and Applications. AI Magazine 24(3):63\u201374","journal-title":"AI Magazine"},{"key":"66_CR13","unstructured":"Hayes P, Menzel C (2001) A Semantics for the Knowledge Interchange Format. Workshop on the IEEE Standard Upper Ontology, IJCAI, Seattle"},{"key":"66_CR14","unstructured":"Hendler J, McGuinness DL (2001) DARPA Agent Markup Language. IEEE Intelligent Systems. 15:72\u201373"},{"key":"66_CR15","unstructured":"Kalman J (2001) Automated reasoning with Otter. Rinton Press, Princeton"},{"key":"66_CR16","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1137\/0114108","volume":"14","author":"Karp","year":"1966","unstructured":"Karp R, Miller R (1966) Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing. SIAM Journal of Applied Mathematics 14(6):1390\u20131411, November","journal-title":"SIAM Journal of Applied Mathematics"},{"key":"66_CR17","doi-asserted-by":"crossref","unstructured":"Kiczales G, des Rivieres J, Bobrow D (1991) The Art of the Metaobject Protocol. MIT Press","DOI":"10.7551\/mitpress\/1405.001.0001"},{"key":"66_CR18","unstructured":"Peterson J (1981) Petri Net Theory and the Modelling of Systems. Prentice-Hall"},{"key":"66_CR19","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"Levesque","year":"1997","unstructured":"Levesque H, Reiter R, Lesperance Y, Lin F, Scherl R (1997) GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31:92\u2013128","journal-title":"Journal of Logic Programming"},{"key":"66_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1017\/S0960129500000062","volume":"1","author":"Marti-Oliet","year":"1991","unstructured":"Marti-Oliet N, Meseguer J (1991) From Petri Nets to Linear Logic. Mathematical Structures in Computer Science 1(1):69\u2013101","journal-title":"Mathematical Structures in Computer Science"},{"key":"66_CR21","unstructured":"McCarthy J, Hayes P (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds) Machine Intelligence 4, Edinburgh University Press, Edinburgh, pp 463\u2013502"},{"key":"66_CR22","doi-asserted-by":"crossref","unstructured":"McIlraith S, Son TC, Zeng H (2001) Semantic Web Services. IEEE Intelligent Systems, Special Issue on the Semantic Web 16:46\u201353, March\/April","DOI":"10.1109\/5254.920599"},{"key":"66_CR23","doi-asserted-by":"crossref","unstructured":"Menzel C, Gruninger M (2001) A formal foundation for process modeling. In: Welty C, Smith B (eds) Formal Ontology in Information Systems, ACM Press","DOI":"10.1145\/505168.505193"},{"key":"66_CR24","unstructured":"Nau D (2003) Mapping and merging ontologies. In: Staab S (ed) Handbook of Ontologies in Information Systems, Springer-Verlag"},{"key":"66_CR25","unstructured":"Object Management Group (2003) OCL 2.0 Specification. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/03-10-14, March"},{"key":"66_CR26","unstructured":"Object Management Group (2003) OMG Unified Modeling Language Specification, version 1.5, Part 6. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/03-03-01, March"},{"key":"66_CR27","unstructured":"Object Management Group (2004) UML 2.0 Superstructure Specificatoin. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/03-08-02, March"},{"key":"66_CR28","first-page":"Logical","volume":"Action","author":"Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press","journal-title":"Knowledge in"},{"key":"66_CR29","doi-asserted-by":"crossref","unstructured":"Schlenoff C, Knutilla A, Ray S (1997) Requirements for Modeling Manufacturing Process: A New Perspective. In: Proceedings of Design Engineering Conferences, Sacremento, September","DOI":"10.1115\/DETC97\/CIE-4279"},{"key":"66_CR30","unstructured":"Unambiguous UML Submission Team (2003) Unambiguous UML (2U) 3rd Revised Submission to UML 2 Infrastructure RFP. http:\/\/www.omg.org\/cgi-bin\/doc?ad\/2003-01-07"},{"key":"66_CR31","unstructured":"Workflow Management Coalition (1999) Workflow Standard \u2013 Interoperability Abstract Specification. http:\/\/www.wfmc.org\/standards\/docs\/TC-1012_Nov_99.pdf, November"},{"key":"66_CR32","unstructured":"Workflow Management Coalition (1999) Interface 1: Process Definition Interchange Process Model. Technical Report WfMC-TC-1016-P. http:\/\/www.wfmc.org\/standards\/docs.htm"},{"key":"66_CR33","unstructured":"Wyner GM, Lee J (2003) Defining Specialization for Process Models. In: Malone TW, Crowston K, Herman GA (eds) Organizing Business Knowledge: The MIT Process Handbook, MIT Press, pp 131\u2013174"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0066-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-004-0066-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0066-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,28]],"date-time":"2021-06-28T00:41:34Z","timestamp":1624840894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-004-0066-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["66"],"URL":"https:\/\/doi.org\/10.1007\/s10270-004-0066-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}