{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:59:57Z","timestamp":1729634397935,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/indin.2010.5549679","type":"proceedings-article","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T10:49:06Z","timestamp":1282214946000},"page":"565-570","source":"Crossref","is-referenced-by-count":0,"title":["A MDA-based contribution for integrating web services within embedded system's design"],"prefix":"10.1109","author":[{"given":"Paulo E. S.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]},{"given":"Jorge C. A.","family":"de Figueiredo","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Junior","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2009.5414909"},{"article-title":"Model Checking","year":"1999","author":"clarke","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11628-5_26"},{"key":"ref14","first-page":"21","article-title":"A Feature-Complete Petri Net Semantics for WS-BPEL 2.0","author":"lohmann","year":"2007","journal-title":"Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07)"},{"key":"ref15","first-page":"2196","article-title":"Checking Semantics Equivalence of MDA Transformations in Concurrent Systems","volume":"15","author":"barbosa","year":"2009","journal-title":"Journal of Universal Computer Science (J UCS)"},{"key":"ref16","article-title":"The ATL Transformation-Based Model Management Framework","author":"bezivin","year":"2003","journal-title":"Tech Rep"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/978-3-540-78731-0_4","article-title":"Socrades: A web service based shop floor integration infrastructure","volume":"4952","author":"de souza","year":"2008","journal-title":"ser Lecture Notes in Computer Science"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2006.014851"},{"key":"ref19","article-title":"Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach","author":"roubtsova","year":"2005","journal-title":"Preliminary Proceedings of the 1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB)"},{"key":"ref4","article-title":"A Petri Net Semantics for BPEL","author":"stahl","year":"2005","journal-title":"Techn Report 188"},{"key":"ref3","article-title":"Web Services Business Process Execution Language Version 2.0","author":"alves","year":"2006","journal-title":"OASIS Committee Draft"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612535"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44919-1_31","article-title":"The Petri Net Markup Language: Concepts, Technology, and Tools","author":"billington","year":"2003"},{"year":"2010","key":"ref8","article-title":"Object Management Group"},{"article-title":"Model-Driven Software Development: Technology, Engineering, Management","year":"2006","author":"stahl","key":"ref7"},{"key":"ref2","first-page":"23","article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics IEEE Computer Society Press"},{"article-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","year":"2001","author":"girault","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2008.8"},{"key":"ref20","first-page":"213","article-title":"Mapping UML Diagrams to a Petri Net Notation for System Simulation","author":"hu","year":"2004"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/11557432_18","article-title":"Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach","author":"zhang","year":"2005","journal-title":"Model Driven Engineering Languages and Systems"}],"event":{"name":"2010 8th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2010,7,13]]},"location":"Osaka, Japan","end":{"date-parts":[[2010,7,16]]}},"container-title":["2010 8th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5538458\/5549388\/05549679.pdf?arnumber=5549679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T08:53:08Z","timestamp":1497862388000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5549679\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/indin.2010.5549679","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}