{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:12:55Z","timestamp":1725549175241},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120282"},{"type":"electronic","value":"9783642120299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_12","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:56:48Z","timestamp":1268009808000},"page":"158-172","source":"Crossref","is-referenced-by-count":12,"title":["Prescriptive Semantics for Big-Step Modelling Languages"],"prefix":"10.1007","author":[{"given":"Shahram","family":"Esmaeilsabzali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy A.","family":"Day","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Esmaeilsabzali, S., Day, N.A., Atlee, J.M., Niu, J.: Semantic criteria for choosing a language for big-step models. In: RE 2009, pp. 181\u2013190 (2009)","DOI":"10.1109\/RE.2009.29"},{"key":"12_CR2","unstructured":"Esmaeilsabzali, S., Day, N.A., Atlee, J.M., Niu, J.: Deconstructing the semantics of big-step modelling languages. Submitted to Requirements Engineering Special Issue of RE 2009 (October 2009)"},{"issue":"3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","first-page":"128","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A comparison of statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 128\u2013148. Springer, Heidelberg (1994)"},{"issue":"1\/3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0096-0551(01)00016-9","volume":"27","author":"F. Maraninchi","year":"2001","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Argos: an automaton-based synchronous language. Computer Languages\u00a027(1\/3), 61\u201392 (2001)","journal-title":"Computer Languages"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design\u00a015(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"12_CR8","unstructured":"Heninger, K.L., Kallander, J., Parnas, D.L., Shore, J.E.: Software requirements for the A-7E aircraft. Technical Report 3876, United States Naval Research Laboratory (1978)"},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C., Jeffords, R., Labaw, B.: Automated consistency checking of requirements specifications. ACM TOSEM\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM TOSEM"},{"key":"12_CR10","unstructured":"Ashcroft, E.A., Wadge, W.W.: Generality considered harmful: A critique of descriptive semantics. Technical Report CS-79-01, University of Waterloo, Cheriton School of Computer Science (1979)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/357162.357170","volume":"4","author":"E.A. Ashcroft","year":"1982","unstructured":"Ashcroft, E.A., Wadge, W.W.: R\/ for semantics. ACM TOPLAS\u00a04(2), 283\u2013294 (1982)","journal-title":"ACM TOPLAS"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Theoretical Aspects of Computer Software","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a step: On the semantics of statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 244\u2013264. Springer, Heidelberg (1991)"},{"key":"12_CR13","volume-title":"Unifying Theories of Programming","author":"T. Hoare","year":"1998","unstructured":"Hoare, T., Jifeng, H.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"12_CR14","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), Superstructure, v2.1.2, Formal\/2007-11-01 (2007)"},{"issue":"9","key":"12_CR15","first-page":"684","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. TSE\u00a020(9), 684\u2013707 (1994)","journal-title":"TSE"},{"issue":"4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The Statemate semantics of statecharts. ACM TOSEM\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM TOSEM"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, SEI, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Pezz\u00e8, M., Young, M.: Constructing multi-formalism state-space analysis tools: Using rules to specify dynamic semantics of models. In: ICSE 1997, pp. 239\u2013249 (1997)","DOI":"10.1145\/253228.253278"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-48256-3_23","volume-title":"Theorem Proving in Higher Order Logics","author":"N.A. Day","year":"1999","unstructured":"Day, N.A., Joyce, J.J.: Symbolic functional evaluation. In: Bertot, Y., Dowek, G., Hirschowitz, A., Paulin, C., Th\u00e9ry, L. (eds.) TPHOLs 1999. LNCS, vol.\u00a01690, pp. 341\u2013358. Springer, Heidelberg (1999)"},{"issue":"2","key":"12_CR20","first-page":"133","volume":"29","author":"L.K. Dillon","year":"2003","unstructured":"Dillon, L.K., Stirewalt, K.: Inference graphs: A computational structure supporting generation of customizable and correct analysis components. IEEE TSE\u00a029(2), 133\u2013150 (2003)","journal-title":"IEEE TSE"},{"issue":"10","key":"12_CR21","first-page":"866","volume":"29","author":"J. Niu","year":"2003","unstructured":"Niu, J., Atlee, J.M., Day, N.A.: Template semantics for model-based notations. IEEE TSE\u00a029(10), 866\u2013882 (2003)","journal-title":"IEEE TSE"},{"key":"12_CR22","unstructured":"Lu, Y., Atlee, J.M., Day, N.A., Niu, J.: Mapping template semantics to SMV. In: ASE 2004, pp. 320\u2013325 (2004)"},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1044834.1044836","volume":"14","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Pezz\u00e8, M.: Formal interpreters for diagram notations. ACM TOSEM\u00a014(1), 42\u201384 (2005)","journal-title":"ACM TOSEM"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-71289-3_9","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Gao","year":"2007","unstructured":"Gao, J., Heimdahl, M.P.E., Wyk, E.V.: Flexible and extensible notations for modeling languages. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 102\u2013116. Springer, Heidelberg (2007)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/978-3-540-87875-9_49","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Prout","year":"2008","unstructured":"Prout, A., Atlee, J.M., Day, N.A., Shaker, P.: Semantically configurable code generation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 705\u2013720. Springer, Heidelberg (2008)"},{"key":"12_CR26","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569869","volume-title":"Action Semantics","author":"P.D. Mosses","year":"1992","unstructured":"Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol.\u00a026. Cambridge University Press, Cambridge (1992)"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BFb0031997","volume-title":"Real-Time: Theory in Practice","author":"C. Huizing","year":"1992","unstructured":"Huizing, C., Gerth, R.: Semantics of reactive systems in abstract time. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 291\u2013314. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:50Z","timestamp":1606186010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}