{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:00:26Z","timestamp":1772024426732,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540426677","type":"print"},{"value":"9783540454410","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_5","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T13:29:50Z","timestamp":1186406990000},"page":"47-61","source":"Crossref","is-referenced-by-count":6,"title":["An Execution Algorithm for UML Activity Graphs"],"prefix":"10.1007","author":[{"given":"Rik","family":"Eshuis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. M. P. Aalst van der","year":"1998","unstructured":"W. M. P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21\u201366, 1998.","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"5_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CoopIS 2000","author":"W. M. P. Aalst van der","year":"2000","unstructured":"W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Advanced workflow patterns. In O. Etzion and P. Scheuermann, editors, Proc. CoopIS 2000, LNCS 1901. Springer, 2000."},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proc. IFM2000","author":"C. Bolton","year":"2000","unstructured":"C. Bolton and J. Davies. Activity graphs and processes. In W. Grieskamp, T. Santen, and B. Stoddart, editors, Proc. IFM2000, LNCS 1945. Springer, 2000."},{"key":"5_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proc. AMAST 2000","author":"E. B\u00f6rger","year":"2000","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. An ASM Semantics for UML Activity Diagrams. In T. Rus, editor, Proc. AMAST 2000, LNCS 1826. Springer, 2000."},{"key":"5_CR5","unstructured":"H.-E. Eriksson and M. Penker. Business Modeling With UML: Business Patterns at Work. Wiley Computer Publishing, 2000."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"R. Eshuis and R. Wieringa. A formal semantics for UML activity diagrams. Technical Report TR-CTIT-01-04, University of Twente, 2001.","DOI":"10.1007\/3-540-45314-8_7"},{"key":"5_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proc. FASE 2001","author":"R. Eshuis","year":"2001","unstructured":"R. Eshuis and R. Wieringa. A real-time execution semantics for UML activity diagrams. In H. Hussmann, editor, Proc. FASE 2001, LNCS 2029. Springer, 2001."},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0169-023X(97)00057-8","volume":"27","author":"P. Grefen","year":"1998","unstructured":"P. Grefen and R. Remmerts de Vries. A reference architecture for workflow management systems. Journal of Data & Knowledge Engineering, 27(1):31\u201357, 1998.","journal-title":"Journal of Data & Knowledge Engineering"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293\u2013333, 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR10","unstructured":"I-Logix. Rhapsody. http:\/\/www.ilogix.com ."},{"key":"5_CR11","unstructured":"F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice Hall, 2000."},{"key":"5_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proc. UML\u201999","author":"J. Lilius","year":"1999","unstructured":"J. Lilius and I. Porres Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, Proc. UML\u201999, LNCS 1723. Springer, 1999."},{"key":"5_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proc. UML\u201998","author":"B. Paech","year":"1999","unstructured":"B. Paech. On the role of activity diagrams in UML. In Jean B\u00e9zivin and Pierre-Alain Muller, editors, Proc. UML\u201998, LNCS 1618. Springer, 1999."},{"key":"5_CR14","unstructured":"UML Revision Taskforce. OMG UML Specification v. 1.3. Object Management Group, 1999."},{"key":"5_CR15","unstructured":"Workflow Management Coalition. The workflow reference model (WFMC-TC-1003), 1995. http:\/\/www.wfmc.org ."}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:45:12Z","timestamp":1556725512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}