{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:58:15Z","timestamp":1729663095478,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ispdc.2003.1267638","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"15-22","source":"Crossref","is-referenced-by-count":10,"title":["Role activity diagrams as finite state processes"],"prefix":"10.1109","author":[{"given":"C.","family":"Badica","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Badica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Litoiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref11"},{"key":"ref12","first-page":"307","article-title":"Coordination system technology as the basis for a programming environment","volume":"57","author":"holt","year":"1983","journal-title":"Electrical Communication"},{"key":"ref13","first-page":"92","article-title":"Model checking for managers","author":"janssen","year":"0","journal-title":"Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops number 1680 in Lecture Notes in Computer Science"},{"key":"ref14","article-title":"Modelling and analysis of workflow processes","author":"karamanolis","year":"1999","journal-title":"Technical Report"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888998001015"},{"journal-title":"Concurrency State Models and Java Programs","year":"1999","author":"magee","key":"ref16"},{"key":"ref17","article-title":"From rads to dess: a mapping from process models to discrete event simulation","author":"martinez-garcia","year":"0","journal-title":"Proc ofthe ProSim′98 Workshop"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref18"},{"key":"ref19","first-page":"45","article-title":"Modeling engineering design processes with role activity diagrams","volume":"4","author":"murdoch","year":"2000","journal-title":"Journal of Integrated Design and Process Science"},{"key":"ref4","first-page":"3","article-title":"Understanding, modelling and verification: Emerging problems in business processes","volume":"11","author":"b\u00e4dic\u00e4","year":"2002","journal-title":"Annals of the University of Craiova Electrical Engineering Series"},{"key":"ref3","first-page":"41","article-title":"Business process modelling in inspire using petri nets","volume":"47","author":"b\u00e4dic\u00e3","year":"2002","journal-title":"Periodica Politechnica Trans Autom Control Compute Sci"},{"article-title":"Business modelling using process algebras","year":"0","author":"b\u00e4dic\u00e4","key":"ref6"},{"key":"ref5","article-title":"A new formal idef-based modelling of business processes","author":"badica","year":"2003","journal-title":"Proc of the First Balkan Conference in Informatics BCI'2003"},{"key":"ref8","article-title":"Role activity diagrams for safety process definition","author":"dawkins","year":"0","journal-title":"16thInternational System Safety Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00292-8"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40911-4_6"},{"article-title":"Model Checking for Concurrent Software Architectures","year":"1999","author":"giannakapoulou","key":"ref9"},{"journal-title":"Business Processes Modeling and Analysis for Re-engineering and Improvement","year":"1995","author":"ould","key":"ref20"},{"key":"ref22","article-title":"Formalising uml activity diagrams using finite state processes","author":"rodrigues","year":"0","journal-title":"A Workshop Proc Dynamic Behaviour in UML Models Semantic Questions"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00047-0"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","author":"stirling","year":"2001","journal-title":"Modal and Temporal Properties of Processes"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6916-6_17"}],"event":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003.","location":"Ljubljana, Slovenia"},"container-title":["Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8946\/28341\/01267638.pdf?arnumber=1267638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:40:07Z","timestamp":1497588007000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1267638\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/ispdc.2003.1267638","relation":{},"subject":[]}}