{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T01:10:03Z","timestamp":1738285803090,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540698234"},{"type":"electronic","value":"9783540698241"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69824-1_14","type":"book-chapter","created":{"date-parts":[[2008,7,11]],"date-time":"2008-07-11T11:29:24Z","timestamp":1215775764000},"page":"238-257","source":"Crossref","is-referenced-by-count":7,"title":["An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Leue","sequence":"first","affiliation":[]},{"given":"Alin","family":"\u015etef\u0103nescu","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Wei","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Akhlaki, K.B., Tu\u00f1\u00f3n, M.I.C., Terriza, J.A.H.: Design of real-time systems by systematic transformation of UML\/RT models into simple timed process algebra system specifications. In: Proc. ICEIS (3), pp. 290\u2013297 (2006)","DOI":"10.5220\/0002451002900297"},{"key":"14_CR2","unstructured":"AsmL \u2013 Abstract State Machine Language (Microsoft), http:\/\/research.microsoft.com\/fse\/asml"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bezerra, J., Hirata, C.M.: A semantics for UML-RT using \u03c0-calculus. In: Proc. RSP 2007, pp. 75\u201382 (2007)","DOI":"10.1109\/RSP.2007.9"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"14_CR5","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: Proc. WOSS, pp. 28\u201333. ACM (2004)","DOI":"10.1145\/1075405.1075411"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"Journal of the ACM"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MST-TR-2005-59, Microsoft Research (2005)","DOI":"10.1007\/11526841_38"},{"key":"14_CR8","unstructured":"Capel, M.I., Morales, L.E.M., Akhlaki, K.B., Terriza, J.A.H.: A semantic formalization of UML-RT models with CSP+T processes applicable to real-time systems verification. In: Proc. JISBD, pp. 283\u2013292 (2006)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Engels, G., K\u00fcster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: ESEC \/ SIGSOFT FSE, pp. 186\u2013195. ACM Press (2001)","DOI":"10.1145\/503271.503235"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45314-8_8","volume-title":"Fundamental Approaches to Software Engineering","author":"C. Fischer","year":"2001","unstructured":"Fischer, C., Olderog, E.-R., Wehrheim, H.: A CSP view on UML-RT structure diagrams. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol.\u00a02029. Springer, Heidelberg (2001)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Fuchs, M., Nazareth, D., Daniel, D., Rumpe, B.: BMW-ROOM: An object-oriented method for ASCET. In: SAE 1998, Society of Automotive Engineers (1998)","DOI":"10.4271\/981014"},{"issue":"4","key":"14_CR12","doi-asserted-by":"publisher","first-page":"338","DOI":"10.3844\/ajassp.2004.338.347","volume":"1","author":"Q. Gao","year":"2004","unstructured":"Gao, Q., Brown, L.J., Capretz, L.F.: Extending UML-RT for control system modeling. American Journal of Applied Sciences\u00a01(4), 338\u2013347 (2004)","journal-title":"American Journal of Applied Sciences"},{"key":"14_CR13","unstructured":"Grosu, R., Broy, M., Selic, B., Stefanescu, G.: Towards a calculus for UML-RT specifications. In: Proc. OOPSLA (1998)"},{"key":"14_CR14","unstructured":"Gullekson, G.: Designing for concurrency and distribution with Rational Rose RealTime, Rational Software White Paper (2003), http:\/\/www.ibm.com\/developerworks\/rational\/library\/269.html"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.tcs.2005.06.017","volume":"343","author":"Y. Gurevich","year":"2005","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantic essence of AsmL. Theor. Comput. Sci.\u00a0343(3), 370\u2013412 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR16","unstructured":"Habibi, A., Tahar, S.: AsmL semantics in fixpoint. In: Proc. ASM, pp. 233\u2013246 (2005)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-46852-8_24","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"D. Herzberg","year":"1999","unstructured":"Herzberg, D.: UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 330\u2013338. Springer, Heidelberg (1999)"},{"key":"14_CR18","unstructured":"Kardo\u0161, M.: Automated formal verification for UML-based model driven design of embedded systems. PhD thesis, Slovak University of Technology (2006)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 395\u2013416. Springer, Heidelberg (2002)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Leue, S., \u015etef\u0103nescu, A., Wei, W.: An AsmL semantics for dynamic structures and run time schedulability in UML-RT. Technical Report soft-08-02, University of Konstanz (2008), http:\/\/www.inf.uni-konstanz.de\/soft\/publications_en.php","DOI":"10.1007\/978-3-540-69824-1_14"},{"key":"14_CR21","unstructured":"OMG Model Driven Architecture (MDA), http:\/\/www.omg.org\/mda"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/11494881_7","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R. Ramos","year":"2005","unstructured":"Ramos, R., Sampaio, A., Mota, A.: A semantics for UML-RT active classes via mapping into Circus. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 99\u2013114. Springer, Heidelberg (2005)"},{"key":"14_CR23","unstructured":"Rational Rose RealTime tool. Shipped within Rational Rose Technical Developer, http:\/\/www.ibm.com\/software\/awdtools\/developer\/technical"},{"key":"14_CR24","unstructured":"Saaltink, M.: Generating and analysing Promela from RoseRT models. Technical Report TR-99-5537-02, ORA Canada, 1208 One Nicholas Street, Ottawa Ontario, K1N 7B7, Canada (1999)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Saksena, M., Freedman, P., Rodzewicz, P.: Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. In: Proc. of the IEEE Real-Time Systems Symposium, pp. 240\u2013245. IEEE Computer Society (1997)","DOI":"10.1109\/REAL.1997.641286"},{"issue":"10","key":"14_CR26","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/317665.317675","volume":"42","author":"B. Selic","year":"1999","unstructured":"Selic, B.: Turning clockwise: using UML in the real-time domain. Comm. of the ACM\u00a042(10), 46\u201354 (1999)","journal-title":"Comm. of the ACM"},{"key":"14_CR27","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc. (1994)"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems (March 1998), http:\/\/www.ibm.com\/developerworks\/rational\/library\/139.html","DOI":"10.1007\/BFb0057795"},{"key":"14_CR29","unstructured":"Spec Explorer tool, http:\/\/research.microsoft.com\/SpecExplorer"},{"key":"14_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1007\/11880240_53","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Beeck von der","year":"2006","unstructured":"von der Beeck, M.: A formal semantics of UML-RT. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 768\u2013782. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69824-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T00:28:40Z","timestamp":1738283320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69824-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540698234","9783540698241"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69824-1_14","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}