{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:41:55Z","timestamp":1725896515690},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314902"},{"type":"electronic","value":"9783642314919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31491-9_25","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T21:28:19Z","timestamp":1340314099000},"page":"328-339","source":"Crossref","is-referenced-by-count":0,"title":["A Plug-in Based Approach for UML Model Simulation"],"prefix":"10.1007","author":[{"given":"Alek","family":"Radjenovic","sequence":"first","affiliation":[]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[]},{"given":"Louis M.","family":"Rose","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[]},{"given":"Steve","family":"King","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Atego. Artisan Studio (2011), \n                  \n                    http:\/\/www.atego.com\/products\/artisan-studio\/"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-642-17071-3_8","volume-title":"Formal Methods for Components and Objects","author":"O.M. Santos dos","year":"2010","unstructured":"dos Santos, O.M., Woodcock, J., Paige, R.F., King, S.: The Use of Model Transformation in the INESS Project. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 147\u2013165. Springer, Heidelberg (2010)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Dotan, D., Kirshin, A.: Debugging and Testing Behavioral UML Models. In: Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications Companion (OOPSLA 2007), pp. 838\u2013839 (2007)","DOI":"10.1145\/1297846.1297915"},{"key":"25_CR4","unstructured":"IBM, Rational Rhapsody (2012), \n                  \n                    www.ibm.com\/software\/awdtools\/rhapsody\/"},{"key":"25_CR5","unstructured":"IBM, Rational Software Architect RealTime Edition (RSA\u2013RTE) (2012), \n                  \n                    http:\/\/www.ibm.com\/software\/rational\/products\/swarchitect\/"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Jiang, K., Zhang, L., Miyake, S.: An Executable UML with OCL-based Action Semantics Language. In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 302\u2013309 (December 2007)","DOI":"10.1109\/ASPEC.2007.21"},{"key":"25_CR7","unstructured":"Know Gravity. CASSANDRA (2011), \n                  \n                    http:\/\/www.knowgravity.com\/eng\/value\/cassandra.htm"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Mellish, C.S., Clocksin, W.F.: Programming in Prolog: Using the ISO Standard. Springer (2003)","DOI":"10.1007\/978-3-642-55481-0"},{"key":"25_CR9","unstructured":"Mentor Graphics. BridgePoint (2012)"},{"key":"25_CR10","unstructured":"Mooney, J., Sarjoughia, H.: A Framework for Executable UML Models. In: 2009 Spring Simulation Multiconference. Society for Computer Simulation International (2009)"},{"key":"25_CR11","unstructured":"OMG. Action Language for Foundational UML (Alf). Technical Report October 2010, OMG (2011)"},{"key":"25_CR12","unstructured":"OMG. Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0. Technical Report, OMG (February 2011)"},{"issue":"4","key":"25_CR13","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s11334-011-0168-x","volume":"7","author":"I. Perseil","year":"2011","unstructured":"Perseil, I.: ALF formal. Innovations in Systems and Software Engineering\u00a07(4), 325\u2013326 (2011)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Radjenovic, A., Paige, R.F.: Behavioural Interoperability to Support Model-Driven Systems Integration. In: 1st Workshop on Model Driven Interoperability (MDI 2010), at MODELS 2010, Oslo, Norway. ACM Press (2010)","DOI":"10.1145\/1866272.1866285"},{"key":"25_CR15","unstructured":"Radjenovic, A., Paige, R.F.: An Approach for Model Querying-by-Example Applied to Multi-Paradigm Models. In: 5th International Workshop on Multi-Paradigm Modelling (MPM 2011), at MODELS 2011. ECEASST, vol.\u00a042, pp. 1\u201312 (2011)"},{"issue":"11-12","key":"25_CR16","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1177\/0037549709104727","volume":"85","author":"J.L. Risco-Mart\u00edn","year":"2009","unstructured":"Risco-Mart\u00edn, J.L., de La Cruz, J.M., Mittal, S., Zeigler, B.P.: eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation. Simulation\u00a085(11-12), 750\u2013777 (2009)","journal-title":"Simulation"},{"key":"25_CR17","unstructured":"Shlaer, S., Mellor, S.J.: Object-Oriented Systems Analysis: Modeling the World in Data. Prentice Hall (1988)"},{"key":"25_CR18","unstructured":"Shlaer, S., Mellor, S.J.: Recursive Design. Computer Language\u00a07(3) (1990)"},{"key":"25_CR19","unstructured":"Shlaer, S., Mellor, S.J.: Object Lifecycles: Modeling the World in States. Prentice Hall (1992)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31491-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:03:31Z","timestamp":1620129811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31491-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314902","9783642314919"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31491-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}