{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T00:51:37Z","timestamp":1749084697853},"reference-count":11,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2008,6]]},"abstract":"<jats:p> UML activity diagrams encompass a set of notational elements for capturing the dynamic behavior of a system. Although the graphical syntax of UML activity diagrams is well-defined in the UML documentation, there is still not a commonly accepted approach for reasoning about UML activity diagrams. In this paper, we present a formalization of the execution semantics of UML activity diagrams using the \u03c0-calculus. The formalization provides a theoretical foundation and formal analysis for UML activity diagrams, as well as a starting point for building automated software tool. <\/jats:p>","DOI":"10.1142\/s0218194008003787","type":"journal-article","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T08:59:16Z","timestamp":1224233956000},"page":"541-567","source":"Crossref","is-referenced-by-count":12,"title":["ON \u03c0-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS"],"prefix":"10.1142","volume":"18","author":[{"given":"VITUS S. W.","family":"LAM","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Bath, Bath, BA2 7AY, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"Essential Business Process Modeling","author":"Havey M.","year":"2005"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.046"},{"key":"rf13","first-page":"279","volume":"11","author":"St\u00f6rrle H.","journal-title":"Nordic Journal of Computing"},{"key":"rf17","volume-title":"UML 2.0 in a Nutshell","author":"Pilone D.","year":"2005"},{"key":"rf18","volume-title":"Schaum's Outlines of UML","author":"Bennett S.","year":"2005"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"key":"rf22","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"Milner R.","year":"1999"},{"key":"rf23","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989"},{"key":"rf26","volume-title":"Discrete Mathematics","author":"Johnsonbaugh R.","year":"1986"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194008003787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:45:35Z","timestamp":1565142335000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194008003787"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":11,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,6]]}},"alternative-id":["10.1142\/S0218194008003787"],"URL":"https:\/\/doi.org\/10.1142\/s0218194008003787","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6]]}}}