{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T01:08:39Z","timestamp":1746407319570,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/rcis.2011.6006870","type":"proceedings-article","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T19:31:24Z","timestamp":1315855884000},"page":"1-12","source":"Crossref","is-referenced-by-count":5,"title":["Systematic derivation of state machines from communication-oriented business process models"],"prefix":"10.1109","author":[{"given":"Sergio","family":"Espana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcela","family":"Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar","family":"Pastor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arturo","family":"Gonzalez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Modeling activity diagram to colored petri net for validation and verification based on non functional parameters","year":"2008","author":"balagatabi","key":"ref10"},{"article-title":"Transformation of a core scenario model and Activity Diagrams into Petri Nets","year":"2005","author":"maqbool","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2009.60"},{"key":"ref14","first-page":"560","article-title":"Business process diagrams: an UML extension","author":"rittgen","year":"2003","journal-title":"Information Resources Management Association International Conference"},{"key":"ref15","first-page":"193","article-title":"Requirements engineering for web applications: a comparative study","volume":"2","author":"escalona","year":"2004","journal-title":"Journal of Web Engineering"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-7206(99)00011-7"},{"journal-title":"OMG Business Process Modeling Notation specification v1 2","first-page":"2","year":"2009","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1178625.1178627"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1555392.1555395"},{"key":"ref28","first-page":"70","article-title":"Analisis de Comunicaciones como un enfoque de requisitos para el desarrollo dirigido por modelos","author":"ruiz","year":"2010","journal-title":"VII Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2010) Jornadas de Ingenieria de Software y Bases de Datos (JISBD)"},{"journal-title":"OMG MDA Guide Version 1 0 1 2003","first-page":"12","year":"0","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292398"},{"key":"ref3","article-title":"Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model","author":"espafia","year":"2011","journal-title":"Technical report ProS-TR-2011–10"},{"journal-title":"CARE Technologies OLIVANOVA The Programming Machine Accessed","year":"2010","key":"ref6"},{"journal-title":"OMG OMG Unified Modeling Language (OMG UML) Superstructure V2 3 2010","year":"2010","key":"ref5"},{"key":"ref8","first-page":"1","article-title":"A systematic review of transformation approaches between user requirements and analysis models","author":"yue","year":"2010","journal-title":"Requir Eng"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16129-2_16"},{"journal-title":"Model-driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling","year":"2007","author":"pastor","key":"ref2"},{"key":"ref9","first-page":"161","article-title":"Formalizing activity diagram of UML by Petri nets","volume":"30","author":"ivana","year":"2000","journal-title":"Novi Sad J Math"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_41"},{"key":"ref20","article-title":"Integration of Communication Analysis and the OO-Method: Manual derivation of the conceptual model. The SuperStationery Co. lab demo","author":"espana","year":"2011","journal-title":"Technical report ProS-TR-2011–10"},{"key":"ref22","article-title":"Message Structures: a modelling technique for information systems analysis and design","volume":"2011","author":"gonzalez","year":"0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2009.5089279"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/289.291"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(01)00035-7"},{"key":"ref26","first-page":"70","article-title":"Is the European industry moving toward solving requirements engineering problems?","volume":"19","author":"juristo","year":"0","journal-title":"IEEE Software"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1125944.1125949"}],"event":{"name":"2011 IEEE Fifth International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2011,5,19]]},"location":"Gosier, France","end":{"date-parts":[[2011,5,21]]}},"container-title":["2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5992815\/6006819\/06006870.pdf?arnumber=6006870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T11:49:35Z","timestamp":1490096975000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6006870\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/rcis.2011.6006870","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}