{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:22:46Z","timestamp":1725790966630},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642547331"},{"type":"electronic","value":"9783642547348"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54734-8_26","type":"book-chapter","created":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T16:03:40Z","timestamp":1396454620000},"page":"227-236","source":"Crossref","is-referenced-by-count":3,"title":["From SysML State Machines to Petri Nets Using ATL Transformations"],"prefix":"10.1007","author":[{"given":"Rui","family":"Pais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o Paulo","family":"Barros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Gasevic, D., Djuric, D.: Devedzic, V., Selic, B.V., B\u00e9zivin, J.: Model Driven Engineering and Ontology Development. Springer (2009) ISBN-13: 978-3642101342","DOI":"10.1007\/978-3-642-00282-3_4"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Moutinho, F., Gomes, L., Ramalho, F., Figueiredo, J., Barros, J.P., Barbosa, P., Pais, R., Costa, A.: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets. In: IECON 2010 - 36th Annual Conference of the IEEE Industrial Electronics Society, Phoenix, AZ, USA, pp. 2010\u20132036 (2010)","DOI":"10.1109\/IECON.2010.5675332"},{"key":"26_CR3","unstructured":"OMG: OMG MOF 2 XMI Mapping Specification. v2.4.1. (2013), \n                    \n                      http:\/\/www.omg.org\/spec\/XMI\/"},{"key":"26_CR4","unstructured":"ATL - A Model Transformation Technology, \n                    \n                      http:\/\/projects.eclipse.org\/projects\/modeling.mmt.atl\n                    \n                    \n                   (accessed on December 30, 2013)"},{"key":"26_CR5","unstructured":"OMG: MDA - The Architecture of Choice For A Changing World (2013) , \n                    \n                      http:\/\/www.omg.org\/mda\/"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: INDIN 2007 - 5th IEEE International Conference on Industrial Informatics, Vienna, Austria, Julho 23-26 (2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"26_CR7","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-19170-1_25","volume-title":"Technological Innovation for Sustainability","author":"R. Pais","year":"2011","unstructured":"Pais, R., Gomes, L., Barros, J.P.: Towards Statecharts to Input-Output Place Transition Nets Transformations. In: Camarinha-Matos, L.M. (ed.) Technological Innovation for Sustainability. IFIP AICT, vol.\u00a0349, pp. 227\u2013236. Springer, Heidelberg (2011)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Pais, R., Gomes, L., Barros, J.P.: From UML State Machines to Petri nets \u2013 History Attribute Translation Strategies. In: 37th Annual Conference on IECON 2011. IEEE Computer Society (2011)","DOI":"10.1109\/IECON.2011.6119924"},{"key":"26_CR9","unstructured":"Markopoulos, P., Mackay, W.: Awareness Systems - Advances in Theory, Methodology, and Design. Springer (2009) ISBN 978-1-84882-476-8"},{"key":"26_CR10","unstructured":"Future Internet Enterprise Systems (FInES): Embarking on New Orientations Towards Horizon 2020 (2013)"},{"key":"26_CR11","unstructured":"Lochmann, H.: HybridMDSD: Multi Domain Engineering with Model Driven Software Development Using Ontological Foundations, PhD Dissertation (2010)"},{"key":"26_CR12","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008) ISBN-13: 978-0-321-33188-5"},{"key":"26_CR13","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Version 1.1 (2011)"},{"key":"26_CR14","unstructured":"OMG: OMG Systems Modeling Language, v 1.3 (2012), \n                    \n                      http:\/\/www.omg.org\/spec\/SysML\/"},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-68624-8_6","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"C. Choppy","year":"2008","unstructured":"Choppy, C., Petrucci, L., Reggio, G.: A Modelling Approach with Coloured Petri Nets. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 73\u201386. Springer, Heidelberg (2008)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Zurawski, R., Zhou, M.C.: Petri Nets and Industrial Applications: A Tutorial. IEEE Transactions on Industrial Electronics\u00a041(6) (1994)","DOI":"10.1109\/41.334574"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Ribeiro, J., Moutinho, F., Pereira, F., Barros, J.P., Gomes, L.: An Ecorebased Petri Net Type Definition for PNML IOPT Models. In: INDIN 2011 - 9th IEEE International Conference on Industrial Informatics, Caparica, Lisbon, Portugal, pp. 777\u2013782 (2011), doi:10.1109\/INDIN.2011.6034992 ISBN 978-1-4577-0434-5","DOI":"10.1109\/INDIN.2011.6034992"},{"key":"26_CR18","unstructured":"Allilaire, F., B\u00e9zivin, J., Jouault, F., Kurtev, I.: ATL - Eclipse Support for Model Transformation. In: Proc. of the Eclipse Technology Exchange Eorkshop (ETX) at ECOOP (2006)"},{"key":"26_CR19","unstructured":"OMG: Unified Modeling LanguageTM (OMG UML), Superstructure. v2.4.1, \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/"},{"issue":"11","key":"26_CR20","doi-asserted-by":"publisher","first-page":"2196","DOI":"10.3217\/jucs-015-11-2196","volume":"15","author":"P. Barbosa","year":"2009","unstructured":"Barbosa, P., Ramalho, F., Figueiredo, J., Junior, A., Costa, A., Gomes, L.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science\u00a015(11), 2196\u20132224 (2009), doi:10.3217\/jucs-015-11-2196","journal-title":"Journal of Universal Computer Science"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Jiang, M., Ding, Z.: From Textual Use Cases to Message Sequence Charts. In: Information Engineering and Applications. Lecture Notes in Electrical Engineering, vol.\u00a0154, pp. 732\u2013739. Springer (2012)","DOI":"10.1007\/978-1-4471-2386-6_95"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Collective Awareness Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54734-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:12:44Z","timestamp":1558879964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54734-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547331","9783642547348"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54734-8_26","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2014]]}}}