{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:38:59Z","timestamp":1725676739285},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288296"},{"type":"electronic","value":"9783642288302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28830-2_13","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:36:49Z","timestamp":1335303409000},"page":"223-242","source":"Crossref","is-referenced-by-count":5,"title":["Formalizing a Domain Specific Language Using SOS: An Industrial Case Study"],"prefix":"10.1007","author":[{"given":"Frank P. M.","family":"Stappers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel A.","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suzana","family":"Andova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istvan","family":"Nagy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"13_CR1","first-page":"674","volume":"8","author":"D.B. Aredo","year":"2002","unstructured":"Aredo, D.B.: A Framework for Semantics of UML Sequence Diagrams in PVS. Journal of Universal Computer Science\u00a08(7), 674\u2013697 (2002)","journal-title":"Journal of Universal Computer Science"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press (December 2009)","DOI":"10.1017\/CBO9781139195003"},{"issue":"5","key":"13_CR3","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1145\/234752.234756","volume":"43","author":"R.N. Bol","year":"1996","unstructured":"Bol, R.N., Groote, J.F.: The Meaning of Negative Premises in Transition System Specifications. J. ACM\u00a043(5), 863\u2013914 (1996)","journal-title":"J. ACM"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","volume-title":"Applied Formal Methods - FM-Trends 98","author":"E. B\u00f6rger","year":"1999","unstructured":"B\u00f6rger, E.: High Level System Design and Analysis Using Abstract State Machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 1\u201343. Springer, Heidelberg (1999)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-45499-3_22","volume-title":"Algebraic Methodology and Software Technology","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: An ASM Semantics for UML Activity Diagrams. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 293\u2013308. Springer, Heidelberg (2000)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL Class Diagrams using Constraint Programming. In: ICSTW 2008, pp. 73\u201380. IEEE Computer Society (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Object Modeling with the OCL","year":"2002","unstructured":"Clark, T., Warmer, J. (eds.): Object Modeling with the OCL. LNCS, vol.\u00a02263. Springer, Heidelberg (2002)"},{"issue":"9","key":"13_CR8","doi-asserted-by":"publisher","first-page":"943","DOI":"10.4304\/jsw.4.9.943-958","volume":"4","author":"B. Combemale","year":"2009","unstructured":"Combemale, B., Cr\u00e9gut, X., Garoche, P.-L., Thirioux, X.: Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. JSW\u00a04(9), 943\u2013958 (2009)","journal-title":"JSW"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45923-5_15","volume-title":"Fundamental Approaches to Software Engineering","author":"A. David","year":"2002","unstructured":"David, A., M\u00f6ller, M.O., Yi, W.: Formal Verification of UML Statecharts with Real-Time Extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 218\u2013232. Springer, Heidelberg (2002)"},{"key":"13_CR10","unstructured":"Di Ruscio, D., Jouault, F., Kurtev, I., B\u00e9zivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technical Report n. 06.02, Laboratoire d\u2019Informatique de Nantes-Atlantique (April 2006)"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/TSE.2005.15","volume":"31","author":"J. Evermann","year":"2005","unstructured":"Evermann, J., Wand, Y.: Toward Formalizing Domain Modeling Semantics in Language Syntax. IEEE Trans. Software Eng.\u00a031(1), 21\u201337 (2005)","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"13_CR12","first-page":"517","volume":"81","author":"B. Graaf","year":"2008","unstructured":"Graaf, B., Weber, S., van Deursen, A.: Model-Driven Migration of Supervisory Machine Control Architectures. JSS\u00a081(4), 517\u2013535 (2008)","journal-title":"JSS"},{"key":"13_CR13","series-title":"Dagstuhl Seminar Proceedings","volume-title":"MMOSS","author":"J.F. Groote","year":"2007","unstructured":"Groote, J.F., Mathijssen, A.J.H., Reniers, M.A., Usenko, Y.S., van Weerdenburg, M.J.: The Formal Specification Language mCRL2. In: MMOSS. Dagstuhl Seminar Proceedings, vol.\u00a006351. IBFI, Schloss Dagstuhl, Germany (2007)"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"14","DOI":"10.2307\/2268661","volume":"16","author":"A. Horn","year":"1951","unstructured":"Horn, A.: On Sentences Which are True of Direct Unions of Algebras. J. Symb. Log.\u00a016(1), 14\u201321 (1951)","journal-title":"J. Symb. Log."},{"key":"13_CR15","unstructured":"IEEE Standard for the Scheme Programming Language. IEEE Std 1178-1990 (1991)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68855-6_1","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"E.K. Jackson","year":"2008","unstructured":"Jackson, E.K., Schulte, W.: Model Generation for Horn Logic with Stratified Negation. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 1\u201320. Springer, Heidelberg (2008)"},{"issue":"4","key":"13_CR17","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10270-008-0105-0","volume":"8","author":"E.K. Jackson","year":"2009","unstructured":"Jackson, E.K., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Software and System Modeling\u00a08(4), 451\u2013478 (2009)","journal-title":"Software and System Modeling"},{"key":"13_CR18","first-page":"83","volume-title":"ACSC 2004","author":"S. Jansamak","year":"2004","unstructured":"Jansamak, S., Surarerks, A.: Formalization of UML statechart models using Concurrent Regular Expressions. In: ACSC 2004, pp. 83\u201388. Australian Computer Society, Inc., Darlinghurst (2004)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Kleppe, A.: Software language engineering. Addisson-Wesley (2009)","DOI":"10.1007\/978-3-642-00434-6_1"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S. Kuske","year":"2001","unstructured":"Kuske, S.: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 241\u2013256. Springer, Heidelberg (2001)"},{"issue":"6","key":"13_CR21","first-page":"625","volume":"14","author":"S. Mauw","year":"2004","unstructured":"Mauw, S., Wiersma, W.T., Willemse, T.J.H.: Language-Driven System Design. IJSEKE\u00a014(6), 625\u2013663 (2004)","journal-title":"IJSEKE"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Paltor, I.P.: Formalising UML State Machines for Model Checking. In: France, R.B. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 430\u2013444. Springer, Heidelberg (1999)"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"13_CR24","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education (2004)"},{"key":"13_CR25","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-02571-6_20","volume-title":"Objects, Components, Models and Patterns","author":"D.A. Sadilek","year":"2009","unstructured":"Sadilek, D.A., Wachsmuth, G.: Using Grammarware Languages to Define Operational Semantics of Modelled Languages. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol.\u00a033, pp. 348\u2013356. Springer, Heidelberg (2009)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-24431-5_15","volume-title":"Formal Methods for Industrial Critical Systems","author":"F.P.M. Stappers","year":"2011","unstructured":"Stappers, F.P.M., Reniers, M.A., Weber, S.: Transforming SOS Specifications to Linear Processes. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol.\u00a06959, pp. 196\u2013211. Springer, Heidelberg (2011)"},{"key":"13_CR27","unstructured":"Tonino, H.: A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. In: Workshop on Abstract State Machines, pp. 91\u2013110 (1998)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/978-3-540-71493-4_45","volume-title":"Hybrid Systems: Computation and Control","author":"D.A. Beek van","year":"2007","unstructured":"van Beek, D.A., Reniers, M.A., Schiffelers, R.R.H., Rooda, J.E.: Foundations of a Compositional Interchange Format for Hybrid Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 587\u2013600. Springer, Heidelberg (2007)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"van den Nieuwelaar, N.J.M.: Supervisory Machine Control by Predictive-reactive Scheduling. PhD thesis, Technische University Eindhoven (2004)","DOI":"10.23919\/ECC.2003.7086463"},{"key":"13_CR30","unstructured":"Wielemaker, J.: An Overview of the SWI-Prolog Programming Environment. In: WLPE. Report, vol. CW371, pp. 1\u201316. Katholieke Universiteit Leuven (2003)"},{"key":"13_CR31","unstructured":"Wolterink, T.J.L.: Operational Semantics Applied to Model Driven Engineering. Master\u2019s thesis, University of Twente (2009)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28830-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:03:05Z","timestamp":1606186985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28830-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288296","9783642288302"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28830-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}