{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:42:17Z","timestamp":1729654937484,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/rcis.2010.5507368","type":"proceedings-article","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T14:44:45Z","timestamp":1279637085000},"page":"93-100","source":"Crossref","is-referenced-by-count":0,"title":["Extending and Formalizing UML 2.0 Activity Diagrams for the specification of time-constrained business processes"],"prefix":"10.1109","author":[{"given":"Kawtar","family":"Benghazi","sequence":"first","affiliation":[]},{"given":"Jose Luis","family":"Garrido","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Noguera","sequence":"additional","affiliation":[]},{"given":"Maria V.","family":"Hurtado","sequence":"additional","affiliation":[]},{"given":"Lawrence","family":"Chung","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05290-3_45"},{"key":"ref30","first-page":"502","article-title":"Workflow models enhanced with process algebra verification for industrial business processes","author":"salomie","year":"2007","journal-title":"ICCOMP '07 Proceedings of the 11th WSEAS International Conference on Computers"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.093"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1014"},{"key":"ref12","article-title":"Reasoning about timed csp models","author":"hao","year":"2006","journal-title":"14th International Symposium on Formal Methods (FM'06)"},{"journal-title":"The Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.03.011"},{"key":"ref15","first-page":"47","article-title":"Using\/spl pi\/-calculus to formalize uml activity diagram for business process modeling","author":"dong","year":"2003","journal-title":"Proceedings of the 10th IEEE International Coriference and Workshop on the Engineering of Computer-Based Systems"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-45499-3_22","article-title":"An asm semantics for uml activity diagrams","author":"b\u00f6rger","year":"2000","journal-title":"AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology"},{"key":"ref17","first-page":"1249","article-title":"Qualitative and quantitative analysis of workflows based on the uml activity diagram and petri net","volume":"6","author":"han","year":"2009","journal-title":"WSEAS Trans Info Sci and App"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1109\/ICIS.2009.107","article-title":"Model checking uml activity diagrams in fdr","author":"xu","year":"2009","journal-title":"ICIS '09 Proceedings of the 2009 Eigth IEEE\/ACIS International Coriference on Computer and Iriformation Science"},{"key":"ref19","first-page":"540","author":"varr\u00f3","year":"2008","journal-title":"Transformation of uml models to csp A case study for graph transformation tools"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2008.58"},{"journal-title":"Reasoning about timed csp models","year":"2004","author":"dong","key":"ref27"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","article-title":"Business Process Management: A Survey, Lecture Notes in Computer Science 2678","author":"van der aalst","year":"2003","journal-title":"Proceedings of the International Coriference on Business Process Management (BPM'03)"},{"journal-title":"UML Superstructure Specification Version 2 0","year":"2004","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363720"},{"journal-title":"UML Superstructure Specification Version 2 0","year":"2004","key":"ref5"},{"journal-title":"The Rational Unified Process An Introduction","year":"2003","author":"kruchten","key":"ref8"},{"key":"ref7","first-page":"95","article-title":"On the suitability of uml 2.0 activity diagrams for business process modelling","author":"russell","year":"2006","journal-title":"APCCM '06 Proceedings of the 3rd ASia-Pacific coriference on Conceptual modelling"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843001000412"},{"journal-title":"Concurrent and Real-time Systems - The CSP Approach","year":"2000","author":"schneider","key":"ref9"},{"key":"ref1","article-title":"Trends in business process analysis: From validation to process mining","author":"der aalst","year":"2007","journal-title":"ICEIS International Conference on Enterprise Information Systems"},{"key":"ref20","first-page":"477","article-title":"Integrating UML Activity Diagrams with Temporal Logic Expressions","author":"ara\u00fajo","year":"2005","journal-title":"Proceedings of the Workshop on Evaluating Modeling Methods for Systems Analysis and Design (EMM-SAD '05) held in conjunctiun with the 17th Conference on Advanced Information Systems (CAiSE '05) Porto Portugal EU"},{"journal-title":"Web Services Business Process Execution Language Version 2 0","year":"2007","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2008.59"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.06.029"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11908883_4"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"journal-title":"Business Process Modeling Notation - version 1 1","year":"2008","key":"ref25"}],"event":{"name":"2010 Fourth International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2010,5,19]]},"location":"Nice, France","end":{"date-parts":[[2010,5,21]]}},"container-title":["2010 Fourth International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5492931\/5507122\/05507368.pdf?arnumber=5507368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T07:07:49Z","timestamp":1497856069000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5507368\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/rcis.2010.5507368","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}