{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:50:45Z","timestamp":1725749445785},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_29","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:40:59Z","timestamp":1379605259000},"page":"471-487","source":"Crossref","is-referenced-by-count":19,"title":["Specification of Cyber-Physical Components with Formal Semantics \u2013 Integration and Composition"],"prefix":"10.1007","author":[{"given":"Gabor","family":"Simko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lindecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tihamer","family":"Levendovszky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Neema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"FORMULA, \n                    \n                      http:\/\/research.microsoft.com\/en-us\/projects\/formula"},{"key":"29_CR2","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3\u201312 (September 2006)"},{"issue":"3","key":"29_CR3","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1016\/j.jcss.2011.08.009","volume":"78","author":"A. Benveniste","year":"2012","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: Non-standard semantics of hybrid systems modelers. Journal of Computer and System Sciences\u00a078(3), 877\u2013910 (2012)","journal-title":"Journal of Computer and System Sciences"},{"issue":"10","key":"29_CR4","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors \u2013 structuring interaction in BIP. IEEE Transactions on Computers\u00a057(10), 1315\u20131330 (2008)","journal-title":"IEEE Transactions on Computers"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for Component-Based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 508\u2013522. Springer, Heidelberg (2008)"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: Compositional specification of behavioral semantics. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2007, San Jose, CA, USA, pp. 906\u2013911. EDA Consortium (2007)","DOI":"10.1109\/DATE.2007.364408"},{"issue":"1-2","key":"29_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11334-009-0108-1","volume":"6","author":"M. Egea","year":"2010","unstructured":"Egea, M., Rusu, V.: Formal executable semantics for conformance in the MDE framework. Innovations in Systems and Software Engineering\u00a06(1-2), 73\u201381 (2010)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/978-3-642-04425-0_46","volume-title":"Model Driven Engineering Languages and Systems","author":"N. Esfahani","year":"2009","unstructured":"Esfahani, N., Malek, S., Sousa, J.P., Gomaa, H., Menasc\u00e9, D.A.: A modeling language for activity-oriented composition of service-oriented software systems. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 591\u2013605. Springer, Heidelberg (2009)"},{"issue":"3-4","key":"29_CR10","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10515-009-0053-0","volume":"16","author":"A. Gargantini","year":"2009","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A semantic framework for metamodel-based languages. Automated Software Engineering\u00a016(3-4), 415\u2013454 (2009)","journal-title":"Automated Software Engineering"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-72588-6_33","volume-title":"Computational Science \u2013 ICCS 2007","author":"A. Goderis","year":"2007","unstructured":"Goderis, A., Brooks, C., Altintas, I., Lee, E.A., Goble, C.: Composing different models of computation in kepler and ptolemy II. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007, Part III. LNCS, vol.\u00a04489, pp. 182\u2013190. Springer, Heidelberg (2007)"},{"issue":"5","key":"29_CR12","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1016\/j.future.2008.06.014","volume":"25","author":"A. Goderis","year":"2009","unstructured":"Goderis, A., Brooks, C., Altintas, I., Lee, E., Goble, C.: Heterogeneous composition of models of computation. Future Generation Computer Systems\u00a025(5), 552\u2013560 (2009)","journal-title":"Future Generation Computer Systems"},{"issue":"4","key":"29_CR13","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10270-008-0105-0","volume":"8","author":"E. Jackson","year":"2009","unstructured":"Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Software and Systems Modeling\u00a08(4), 451\u2013478 (2009)","journal-title":"Software and Systems Modeling"},{"key":"29_CR14","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1201\/9781420067859-c14","volume":"1","author":"E. Jackson","year":"2009","unstructured":"Jackson, E., Thibodeaux, R., Porter, J., Sztipanovits, J.: Semantics of domain-specific modeling languages. Model-Based Design for Embedded Systems\u00a01, 437 (2009)","journal-title":"Model-Based Design for Embedded Systems"},{"key":"29_CR15","unstructured":"Jackson, E.K., Bj\u00f8rner, N., Schulte, W.: Canonical regular types. ICLP (Technical Communications), 73\u201383 (2011)"},{"key":"29_CR16","first-page":"39","volume-title":"Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2010","author":"E.K. Jackson","year":"2010","unstructured":"Jackson, E.K., Kang, E., Dahlweid, M., Seifert, D., Santen, T.: Components, platforms and possibilities: towards generic automation for MDA. In: Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2010, pp. 39\u201348. ACM, New York (2010)"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-642-24485-8_48","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2011","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Reasoning about metamodeling with formal specifications and automatic proofs. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 653\u2013667. Springer, Heidelberg (2011)"},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-33666-9_26","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2012","unstructured":"Jackson, E.K., Schulte, W., Bj\u00f8rner, N.: Detecting specification errors in declarative languages with constraints. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 399\u2013414. Springer, Heidelberg (2012)"},{"key":"29_CR19","doi-asserted-by":"publisher","DOI":"10.1002\/9781118152812","volume-title":"System dynamics modeling, simulation, and control of mechatronic systems","author":"D. Karnopp","year":"2012","unstructured":"Karnopp, D., Margolis, D.L., Rosenberg, R.C.: System dynamics modeling, simulation, and control of mechatronic systems. John Wiley & Sons, Hoboken (2012)"},{"key":"29_CR20","unstructured":"Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: Workshop on Intelligent Signal Processing, Budapest, Hungary, vol.\u00a017 (2001)"},{"key":"29_CR21","doi-asserted-by":"crossref","unstructured":"Lindecker, D., Simko, G., Madari, I., Levendovszky, T., Sztipanovits, J.: Multi-way semantic specification of domain-specific modeling languages. In: ECBS (2013)","DOI":"10.1109\/ECBS.2013.29"},{"issue":"1","key":"29_CR22","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.tcs.2008.08.044","volume":"409","author":"X. Liu","year":"2008","unstructured":"Liu, X., Lee, E.A.: CPO semantics of timed interactive actor networks. Theoretical Computer Science\u00a0409(1), 110\u2013125 (2008)","journal-title":"Theoretical Computer Science"},{"key":"29_CR23","unstructured":"Porter, J., Hemingway, G., Nine, H., van Buskirk, C., Kottenstette, N., Karsai, G., Sztipanovits, J.: The ESMoL language and tools for high-confidence distributed control systems design. part 1: Design language, modeling framework, and analysis. Tech. Report ISIS-10-109, ISIS, Vanderbilt Univ., Nashville, TN (2010)"},{"issue":"11-12","key":"29_CR24","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Duran, F., Vallecillo, A.: Formal specification and analysis of domain specific models using maude. Simulation\u00a085(11-12), 778\u2013792 (2009)","journal-title":"Simulation"},{"key":"29_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-16310-4_12","volume-title":"Rewriting Logic and Its Applications","author":"J.E. Rivera","year":"2010","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the behavioral semantics of real-time domain specific visual languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 174\u2013190. Springer, Heidelberg (2010)"},{"key":"29_CR26","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Vallecillo, A.: Adding behavior to models. In: EDOC, p. 169. IEEE (October 2007)","DOI":"10.1109\/EDOC.2007.40"},{"issue":"9","key":"29_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.5381\/jot.2007.6.9.a10","volume":"6","author":"J.R. Romero","year":"2007","unstructured":"Romero, J.R., Rivera, J.E., Duran, F., Vallecillo, A.: Formal and tool support for model driven engineering with maude. Journal of Object Technology\u00a06(9), 187\u2013207 (2007)","journal-title":"Journal of Object Technology"},{"issue":"1","key":"29_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921557","volume":"36","author":"V. Rusu","year":"2011","unstructured":"Rusu, V.: Embedding domain-specific modelling languages in maude specifications. ACM SIGSOFT Software Engineering Notes\u00a036(1), 1\u20138 (2011)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"29_CR29","doi-asserted-by":"crossref","unstructured":"Simko, G., Levendovszky, T., Neema, S., Jackson, E., Bapty, T., Porter, J., Sztipanovits, J.: Foundation for model integration: Semantic backplane. In: IDETC\/CIE (2012)","DOI":"10.1115\/DETC2012-70534"},{"key":"29_CR30","doi-asserted-by":"crossref","unstructured":"Simko, G., Lindecker, D., Levendovszky, T., Jackson, E., Neema, S., Sztipanovits, J.: A framework for unambiguous and extensible specification of DSMLs for cyber-physical systems. In: ECBS (2013)","DOI":"10.1109\/ECBS.2013.30"},{"issue":"6","key":"29_CR31","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MCS.2007.906923","volume":"27","author":"J. Willems","year":"2007","unstructured":"Willems, J.: The behavioral approach to open and interconnected systems. IEEE Control Systems\u00a027(6), 46\u201399 (2007)","journal-title":"IEEE Control Systems"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:37:08Z","timestamp":1558093028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}