{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:37:05Z","timestamp":1742989025596,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116278"},{"type":"electronic","value":"9783642116285"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11628-5_27","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T23:02:20Z","timestamp":1267138940000},"page":"251-260","source":"Crossref","is-referenced-by-count":1,"title":["Semantic Equations for Formal Models in the Model-Driven Architecture"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Franklin","family":"Ramalho","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Figueiredo","sequence":"additional","affiliation":[]},{"given":"Anik\u00f3","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Ant\u00f4nio","family":"Junior","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Miller, J., Mukerji, J.: MDA Guide Version 1.0.1. Object Management Group, OMG (2003)"},{"key":"27_CR2","unstructured":"OMG: Object Management Group (2008), http:\/\/www.omg.org"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Barbosa, P., Ramalho, F., Figueiredo, J., Junior, A.: An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: Proceedings of 32nd Annual IEEE Software Engineering Workshop (2008)","DOI":"10.1109\/SEW.2008.8"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Girault, C.V.R.: Petri Nets for Systems Engineering. In: XV, 607 p., Hardcover (2003)","DOI":"10.1007\/978-3-662-05324-9"},{"key":"27_CR5","unstructured":"Gomes, L., Barros, J.P., Costa, A., Pais, R., Moutinho, F.: Formal Methods for Embedded Systems Co-design: the FORDESIGN Project. In: ReCoSoC 2005- Reconfigurable Communication-centric Systems-on-Chip - Workshop Proceedings (2005)"},{"key":"27_CR6","unstructured":"Scott, D., Strachey, C.: Towards a Mathematical Semantics for Computer Languages. In: Proceedings of the Symposium on Computers and Automata. Microwave Research Institute Symposia Series, vol.\u00a021 (1971)"},{"key":"27_CR7","unstructured":"Hausmann, J.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Techniques. PhD thesis, University of Paderborn (2005)"},{"key":"27_CR8","volume-title":"Denotational Semantics: a Methodology for Language Development","author":"D.A. Schmidt","year":"1986","unstructured":"Schmidt, D.A.: Denotational Semantics: a Methodology for Language Development. William C. Brown Publishers, Dubuque (1986)"},{"key":"27_CR9","unstructured":"Hillah, L., Kordon, F., Petrucci, L., Tr\u00e9ves, N.: Model Engineering on Petri nets for ISO\/IEC 15909-2: API Framework for Petri Net types metamodels. Petri Net Newsletter, 22\u201340 (2005)"},{"key":"27_CR10","unstructured":"Barbosa, P., Costa, A., Ramalho, F., Figueiredo, J., Gomes, L., Junior, A.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, J.UCS (to appear, 2009), http:\/\/www.jucs.org\/jucs"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1109\/LICS.1988.5114","volume-title":"Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science (LICS 1988)","author":"J. Meseguer","year":"1988","unstructured":"Meseguer, J., Montanari, U.: Petri nets are Monoids: a new Algebraic Foundation for Net Theory. In: Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science (LICS 1988), pp. 155\u2013164. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science (2001)","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"27_CR13","unstructured":"Bezivin, J., Breton, E., Valduriez, P., Dupr, G.: The ATL Transformation-Based Model Management Framework. Technical report, produced from IRIN (2003)"},{"key":"27_CR14","unstructured":"Hu, Z., Shatz, S.M.: Mapping UML Diagrams to a Petri Net Notation for System Simulation. In: SEKE, pp. 213\u2013219 (2004)"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-540-87875-9_28","volume-title":"Model Driven Engineering Languages and Systems","author":"I. Weisem\u00f6ller","year":"2008","unstructured":"Weisem\u00f6ller, I., Sch\u00fcrr, A.: Formal Definition of MOF 2.0 Metamodel Components and Composition. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 386\u2013400. Springer, Heidelberg (2008)"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-540-87875-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Kelsen","year":"2008","unstructured":"Kelsen, P., Ma, Q.: A lightweight approach for defining the formal semantics of a modeling language. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 690\u2013704. Springer, Heidelberg (2008)"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/11880240_36","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Ar\u00e9valo","year":"2006","unstructured":"Ar\u00e9valo, G., Falleri, J.R., Huchard, M., Nebut, C.: Building abstractions in class models: Formal concept analysis in a model-driven approach. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 513\u2013527. Springer, Heidelberg (2006)"}],"container-title":["IFIP Advances in Information and Communication Technology","Emerging Trends in Technological Innovation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11628-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:04:00Z","timestamp":1558857840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11628-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116278","9783642116285"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11628-5_27","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2010]]}}}