{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T15:07:18Z","timestamp":1761491238375,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030760199"},{"type":"electronic","value":"9783030760205"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-76020-5_16","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T23:33:49Z","timestamp":1622763229000},"page":"283-300","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes"],"prefix":"10.1007","author":[{"given":"Matthes","family":"Elstermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Wolski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Fleischmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Stary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Borgert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"16_CR1","unstructured":"Web ontology language (owl). https:\/\/www.w3.org\/OWL\/"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Berghaus, M.: Luhmann leicht gemacht. B\u00f6hlau Verlag (2011)","DOI":"10.36198\/9783838523606"},{"key":"16_CR3","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7","DOI":"10.1007\/978-3-642-18216-7"},{"key":"16_CR4","unstructured":"B\u00f6rger, E.: A subject-oriented interpreter model for S-BPM. Appendix. In: Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., B\u00f6rger, E. (eds.) Subjektorientiertes Prozessmanagement. Hanser-Verlag, M\u00fcnchen (2011)"},{"key":"16_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Berlin (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Dori, D.: Object-Process Methodology for Structure-Behavior Codesign. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15865-0_7","DOI":"10.1007\/978-3-642-15865-0_7"},{"key":"16_CR7","unstructured":"Einstein: Zitat albert einstein. https:\/\/www.sasserlone.de\/zitat\/190\/albert.einstein\/"},{"key":"16_CR8","unstructured":"Farahbod, R.: CoreASM: an extensible modeling framework & tool environment for high-level design and analysis of distributed systems. Ph.D. Dissertation (2009)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Fleischmann, A., Stary, C.: Dependable data sharing in dynamic IoT-systems - subject-oriented process design, complex event processing, and blockchains. In: Betz, S., Elstermann, M., Lederer, M. (eds.) S-BPM ONE 2019, 11th International Conference on Subject Oriented Business Process Management. ICPC published by ACM Digital Library, Association of Computing Machinery (ACM) (2019)","DOI":"10.1145\/3329007.3329009"},{"key":"16_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32392-8","volume-title":"Subject-Oriented Business Process Management","author":"A Fleischmann","year":"2012","unstructured":"Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Boerger, E.: Subject-Oriented Business Process Management. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32392-8"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/s00766-004-0204-6","volume":"9","author":"A Gemino","year":"2004","unstructured":"Gemino, A., Wand, Y.: A framework for empirical evaluation of conceptual modeling techniques. Requirements Eng. 9, 248\u2013260 (2004). https:\/\/doi.org\/10.1007\/s00766-004-0204-6","journal-title":"Requirements Eng."},{"key":"16_CR12","unstructured":"Habermas, J.: Theory of Communicative Action Volume 1, Volume 2. Suhrkamp Paperback Science (1981)"},{"key":"16_CR13","volume-title":"Communicating Sequential Processes","author":"A Hoare","year":"1985","unstructured":"Hoare, A.: Communicating Sequential Processes. Prentice Hall, Hoboken (1985)"},{"key":"16_CR14","unstructured":"I2PM: Standard document for pass (2019). https:\/\/github.com\/I2PM\/Standard-Documents-for-Subject-Orientation. Accessed 22 Jan 2020"},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Jolak, et al.: Software engineering whispers: the effect of textual vs. graphical software design descriptions on software design communication. Empir. Softw. Eng. 25, 4427\u20134471 (2020). https:\/\/doi.org\/10.1007\/s10664-020-09835-6","DOI":"10.1007\/s10664-020-09835-6"},{"key":"16_CR16","unstructured":"Luhmann, N.: Social Systems. Suhrkamp Verlag (1984)"},{"key":"16_CR17","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Hoboken (1989)"},{"key":"16_CR18","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"R\u00f6mpp, M.: Habermas leicht gemacht. B\u00f6hlau Verlag (2015)","DOI":"10.36198\/9783838544250"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Stachowiak, H.: Allgemeine Modelltheorie. Springer, Heidelberg (1973)","DOI":"10.1007\/978-3-7091-8327-4"},{"key":"16_CR21","doi-asserted-by":"publisher","unstructured":"Thalheim B.: The theory of conceptual models, the theory of conceptual modelling and foundations of conceptual modelling. In: Embley, D., Thalheim, B. (eds.) Handbook of Conceptual Modeling. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15865-0_17","DOI":"10.1007\/978-3-642-15865-0_17"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Wolski, A., Borgert, S., Heuser, L.: A coreASM based reference implementation for subject oriented business process management execution semantics. In: Betz, S., Elstermann, M., Lederer, M. (eds.) S-BPM ONE 2019, 11th International Conference on Subject Oriented Business Process Management. ICPC published by ACM Digital Library, Association of Computing Machinery (ACM) (2019)","DOI":"10.1145\/3329007.3329018"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Wolski, A., Borgert, S., Heuser, L.: An extended subject-oriented business process management execution semantics. In: Betz, S., Elstermann, M., Lederer, M. (eds.) S-BPM ONE 2019, 11th International Conference on Subject Oriented Business Process Management. ICPC published by ACM Digital Library, Association of Computing Machinery (ACM) (2019)","DOI":"10.1145\/3329007.3332706"}],"container-title":["Lecture Notes in Computer Science","Logic, Computation and Rigorous Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76020-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:23:29Z","timestamp":1709821409000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76020-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030760199","9783030760205"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76020-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}