{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T07:10:57Z","timestamp":1648883457769},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,2]],"date-time":"2012-08-02T00:00:00Z","timestamp":1343865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10270-012-0258-8","type":"journal-article","created":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T06:53:46Z","timestamp":1343804026000},"page":"599-608","source":"Crossref","is-referenced-by-count":0,"title":["The quest for runware: on compositional, executable and intuitive models"],"prefix":"10.1007","volume":"11","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,2]]},"reference":[{"key":"258_CR1","doi-asserted-by":"crossref","unstructured":"Backus, J.W., Beeber, R.J., Best, S., Goldberg, R., Haibt, L.M., Herrick, H.L., Nelson, R.A., Sayre, D., Sheridan, P.B, Stern, H., Ziller, I., Hughes, R.A., Nutt, R.: The FORTRAN automatic coding system. In: Papers presented at the February 26\u201328, 1957, western joint computer conference: Techniques for reliability, pp. 188\u2013198. ACM (1957)","DOI":"10.1145\/1455567.1455599"},{"key":"258_CR2","unstructured":"Batory, D.: Product-line architectures. In: Smalltalk and Java Conference (1998)"},{"key":"258_CR3","unstructured":"Begel, A., Graham, S.L.: An assessment of a speech-based programming environment. In: IEEE Symposium on Visual Languages and Human-Centric Computing, 2006. VL\/HCC 2006, pp. 116\u2013120. IEEE (2006)"},{"key":"258_CR4","volume-title":"Pattern Recognition and Machine Learning, vol. 4","author":"C.M. Bishop","year":"2006","unstructured":"Bishop C.M.: Pattern Recognition and Machine Learning, vol. 4. Springer, New York (2006)"},{"key":"258_CR5","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: CONCUR (2008)","DOI":"10.1007\/978-3-540-85361-9_39"},{"key":"258_CR6","doi-asserted-by":"crossref","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3) 2011","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"258_CR7","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"R.H. Bordini","year":"2009","unstructured":"Bordini R.H., Dastani M., Dix J., Seghrouchni A.E.F.: Multi-Agent Programming: Languages, Tools and Applications. Springer, Berlin (2009)"},{"key":"258_CR8","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, pp. 28\u201333. ACM (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"258_CR9","doi-asserted-by":"crossref","unstructured":"Brooks, R.: A Robust Layered Control System for a Mobile Robot. IEEE J. Robot. Automat. 2(1) 1986","DOI":"10.1109\/JRA.1986.1087032"},{"key":"258_CR10","volume-title":"Model Checking","author":"E.M. Clarke Jr","year":"1999","unstructured":"Clarke E.M. Jr, Grumberg O., Peled D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"1","key":"258_CR11","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm W., Harel D.: LSCs: Breathing Life into Message Sequence Charts. J. Form. Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"J. Form. Methods Syst. Des."},{"key":"258_CR12","volume-title":"What Not How: The Business Rules Approach to Application Development","author":"C.J. Date","year":"2000","unstructured":"Date C.J.: What Not How: The Business Rules Approach to Application Development. Addison-Wesley Professional, Reading (2000)"},{"key":"258_CR13","unstructured":"Davis, II J., Goel, M., Hylands, C., Kienhuis, B., Lee, E.A., Liu, J., Liu, X., Muliadi, L., Neuendorffer, S., Reekie, J. et\u00a0al.: Overview of the Ptolemy project. Department EECS, University of California, Berkeley, CA, ERL Technical Report UCB\/ERL (M99\/37) (1999)"},{"key":"258_CR14","unstructured":"Eclipse Foundation. Eclipse inetgrated development environment documentation. http:\/\/help.eclipse.org\/indigo\/ . Accessed May 2012"},{"key":"258_CR15","unstructured":"European Organisation for the Safety of Air Navigation. EUROCONTROL Specifications For The Use Of Military Unmanned Aerial Vehicles As Operational Air Traffic Outside Segregated Airspace. EUROCONTROL (2007)"},{"key":"258_CR16","unstructured":"Forsyth, D.A., Ponce, J.: Computer vision: a modern approach. Prentice Hall Professional Technical Reference, Englewood Cliffs (2002)"},{"key":"258_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel D., Marelly R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003)"},{"issue":"7","key":"258_CR18","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/2209249.2209270","volume":"55","author":"D. Harel","year":"2012","unstructured":"Harel D., Marron A., Weiss G.: Behavioral programming. Commun. ACM 55(7), 90\u2013100 (2012)","journal-title":"Commun. ACM"},{"key":"258_CR19","doi-asserted-by":"crossref","unstructured":"Harel, D., Marron, A., Weiss, G.: Programming coordinated scenarios in java. In: Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP), pp. 250\u2013274 (2010)","DOI":"10.1007\/978-3-642-14107-2_12"},{"key":"258_CR20","volume-title":"On the Development of Reactive Systems. NATO ASI Series, vol. F-13","author":"D. Harel","year":"1985","unstructured":"Harel D., Pnueli A.: On the Development of Reactive Systems. NATO ASI Series, vol. F-13. Springer-Verlag, New York (1985)"},{"issue":"10","key":"258_CR21","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel D., Rumpe B.: Meaningful modeling: what\u2019s the semantics of semantics?. Computer 37(10), 64\u201372 (2004)","journal-title":"Computer"},{"issue":"10","key":"258_CR22","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1109\/32.729683","volume":"24","author":"M. Jackson","year":"1998","unstructured":"Jackson M., Zave P.: Distributed feature composition: a virtual architecture for telecommunications services. IEEE Trans. Softw. Eng. 24(10), 831\u2013847 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"258_CR23","volume-title":"Principles of Neural Science, Vol. 4","author":"E.R. Kandel","year":"2000","unstructured":"Kandel E.R., Schwartz J.H., Jessell T.M. et\u00a0al.: Principles of Neural Science, Vol. 4. McGraw-Hill, New York (2000)"},{"key":"258_CR24","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: European Conference on Object-Oriented Programming (ECOOP) (1997)","DOI":"10.1007\/BFb0053381"},{"key":"258_CR25","unstructured":"Kortum, P.: HCI beyond the GUI: design for haptic, speech, olfactory and other nontraditional interfaces. Elsevier\/Morgan Kaufmann, Amsterdam (2008)"},{"key":"258_CR26","doi-asserted-by":"crossref","unstructured":"Koza, J., Poli, R.: Genetic programming. Search Methodol, pp. 127\u2013164 (2005)","DOI":"10.1007\/0-387-28356-0_5"},{"key":"258_CR27","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning Algorithms","author":"S.M. LaValle","year":"2006","unstructured":"LaValle S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)"},{"key":"258_CR28","unstructured":"Louden, K.C., Lambert, K.A.: Programming languages: principles and practices. Course Technology (2011)"},{"issue":"7","key":"258_CR29","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"P.K. McKinley","year":"2004","unstructured":"McKinley P.K., Sadjadi S.M., Kasten E.P., Cheng B.H.C.: Composing adaptive software. Computer 37(7), 56\u201364 (2004)","journal-title":"Computer"},{"key":"258_CR30","volume-title":"Executable UML: a foundation for model-driven architectures","author":"S.J. Mellor","year":"2002","unstructured":"Mellor S.J., Balcer M., Foreword By-Jacoboson I.: Executable UML: a foundation for model-driven architectures. Addison-Wesley Longman Publishing Co. Inc, Boston (2002)"},{"issue":"4","key":"258_CR31","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik M., Heering J., Sloane A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. (CSUR) 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"258_CR32","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"2000","unstructured":"Meyer B.: Object-Oriented Software Construction. Prentice hall, New York (2000)"},{"key":"258_CR33","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering, pp. 35\u201346. ACM (2000)","DOI":"10.1145\/336512.336523"},{"key":"258_CR34","unstructured":"Object Management Group. OMG Model-Driven Architecture. http:\/\/www.omg.org\/mda\/ . Accessed May 2012"},{"key":"258_CR35","unstructured":"Object Management Group. OMG Unified Modeling Language Superstructure version 2.4. Accessed May 2012"},{"key":"258_CR36","unstructured":"OSCI. Open SystemC Initiative. IEEE 1666 Language Reference Manual. http:\/\/www.systemc.org . Accessed Sept. 2011"},{"key":"258_CR37","doi-asserted-by":"crossref","unstructured":"Prehofer, C.: Feature-oriented programming: a fresh look at objects. In: ECOOP (1997)","DOI":"10.1007\/BFb0053389"},{"issue":"11","key":"258_CR38","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/1592761.1592779","volume":"52","author":"M. Resnick","year":"2009","unstructured":"Resnick M., Maloney J., Monroy-Hern\u00e1ndez A., Rusk N., Eastmond E., Brennan K., Millner A., Rosenbaum E., Silver J., Silverman B. et\u00a0al.: Scratch: programming for all. Commun. ACM 52(11), 60\u201367 (2009)","journal-title":"Commun. ACM"},{"key":"258_CR39","volume-title":"Handbook of Automated Reasoning, vol. 2","author":"A. Robinson","year":"2001","unstructured":"Robinson A., Voronkov A.: Handbook of Automated Reasoning, vol. 2. Elsevier, Amsterdam (2001)"},{"key":"258_CR40","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P.: The semantic foundations of concurrent constraint programming. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 333\u2013352. ACM (1991)","DOI":"10.1145\/99583.99627"},{"issue":"2","key":"258_CR41","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"258_CR42","unstructured":"Simonyi, C.: The death of computer languages, the birth of intentional programming. In: NATO Science Committee Conference (1995)"},{"key":"258_CR43","volume-title":"The Art of Prolog, vol. 94","author":"L. Sterling","year":"1986","unstructured":"Sterling L., Shapiro E., Eytan M.: The Art of Prolog, vol. 94. Wiley Online Library, London (1986)"},{"key":"258_CR44","unstructured":"US General Services Administration. Acquisition System Requirements Draft. http:\/\/www.acquisition.gov\/fas_reqdraft042808.pdf . Accessed May 2012"},{"key":"258_CR45","unstructured":"USDA-Agricultural Research Service. CEAP\/STEWARDS System Requirements Specification. USDA (2006)"},{"key":"258_CR46","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Monads for Functional Programming. Adv. Funct. Program. LNCS, vol. 925, pp. 24\u201352 (1995)","DOI":"10.1007\/3-540-59451-5_2"},{"issue":"1","key":"258_CR47","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave P., Jackson M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. (TOSEM) 6(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0258-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0258-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0258-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T06:55:10Z","timestamp":1562050510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0258-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,2]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["258"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0258-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,2]]}}}