{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:22:47Z","timestamp":1648920167304},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"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":[[2004,8]]},"DOI":"10.1007\/s10270-003-0045-7","type":"journal-article","created":{"date-parts":[[2004,3,31]],"date-time":"2004-03-31T16:15:42Z","timestamp":1080749742000},"page":"181-193","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams"],"prefix":"10.1007","volume":"3","author":[{"given":"Jan Hendrik","family":"Hausmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,8,1]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"David A, M\u00f6ller MO, Yi W (2002) Formal verification of UML statecharts with real-time extensions. In: Proc. 5th International Conference on Fundamental Approaches to Software Engineering (FASE 2002), Lecture Notes in Computer Science, vol 2306. http:\/\/www.springer.de\/comp\/lncs. Springer, pp 218\u2013232","DOI":"10.1007\/3-540-45923-5_15"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"Engels G, Hausmann JH, Heckel R, Sauer S (2000) Dynamic Meta Modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans A, Kent S, Selic B (eds) Proc. UML 2000, York, UK, Lecture Notes in Computer Science, vol 1939. http:\/\/www.springer.de\/comp\/lncs. Springer-Verlag, pp 323\u2013337","DOI":"10.1007\/3-540-40011-7_23"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig H, Pfender M, Schneider HJ (1973) Graph grammars: An algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory. IEEE, pp 167\u2013180","DOI":"10.1109\/SWAT.1973.11"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Engels G, Sauer S (2002) Object-oriented modeling of multimedia applications. In: Chang SK (ed) Handbook of Software Engineering and Knowledge Engineering, vol 2. World Scientific, Singapore, pp 21\u201352","DOI":"10.1142\/9789812389701_0002"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Firley T, Huhn M, Diethers K, Gehrke T, Goltz U (1999) Timed sequence diagrams and tool-based analysis \u2013 A case study. In: France R, Rumpe B (eds) Proc. UML \u201999, Lecture Notes in Computer Science, vol 1723. Springer-Verlag, pp 645\u2013660","DOI":"10.1007\/3-540-46852-8_45"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Gyapay S, Heckel R, Varro D (2002) Graph transformation with time: Causality and logical clocks. In: Corradini A, Ehrig H, Kreowski H-J, Rozenberg G (eds) Proc. 1st International Conference on Graph Transformation (ICGT 02), Barcelona, Spain, Lecture Notes in Computer Science, vol 2505. Springer-Verlag, pp 120\u2013134","DOI":"10.1007\/3-540-45832-8_11"},{"key":"45_CR7","unstructured":"Gyapay S, Heckel R, Varro D (2003) Graph transformation with time In: Fundamenta Informaticae 58(1):1\u201322"},{"key":"45_CR8","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"Ghezzi","year":"1991","unstructured":"Ghezzi C, Mandrioli D, Morasca, Pezz\u00e8, S (1991) A unified high-level Petri net formalism for time-critical systems. IEEE Transactions on Software Engineering 17(2):160\u2013172","journal-title":"IEEE Transactions on Software Engineering"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Hausmann JH, Heckel R, Sauer S (2001) Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams. In: Proc. IEEE Symposia on Human-Centric Computing Languages and Environments (HCC\u201901), pp 80\u201387","DOI":"10.1109\/HCC.2001.995242"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Hausmann JH, Heckel R, Sauer S (2002) Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. In: Bottoni P, Minas M (eds) Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2002), Barcelona, Spain, Electronic Notes in Theoretical Computer Science 72(3). http:\/\/www.elsevier.nl\/locate\/entcs. Elsevier Science","DOI":"10.1016\/S1571-0661(04)80617-0"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Heckel R, Wagner A (1995) Ensuring consistency of conditional graph grammars \u2013 A constructive approach. In: Proc. of SEGRAGRA\u201995 \u201cGraph Rewriting and Computation\u201d, Electronic Notes in Theoretical Computer Science, vol 2. http:\/\/www.elsevier.nl\/locate\/entcs. Elsevier Science","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"45_CR12","unstructured":"Kreowski H-J (1977) Manipulation von Graphmanipulationen. PhD thesis, Technical University of Berlin, Department of Computer Science"},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"K\u00fcster JM, Stroop J (2001) Consistent design of embedded real-time systems with UML-RT. In: Proc. IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), pp 31\u201340","DOI":"10.1109\/ISORC.2001.922815"},{"key":"45_CR14","doi-asserted-by":"crossref","unstructured":"Li X, Lilius J (1999) Timing analysis of UML sequence diagrams. In: France R, Rumpe B (eds) Proc. UML \u201999, Lecture Notes in Computer Science 1723. Springer, pp 661\u2013674","DOI":"10.1007\/3-540-46852-8_46"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Guldstrand Larsen K, Pettersson P, Yi W (1997) UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1(1\u20132):134\u2013152","DOI":"10.1007\/s100090050010"},{"key":"45_CR16","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MMUL.1996.556539","volume":"3","author":"M","year":"1996","unstructured":"M\u00fchlh\u00e4user M, Gecsei J (1996) Services, frameworks, paradigms for distributed multimedia applications. IEEE Multimedia 3(3):48\u201361","journal-title":"IEEE Multimedia"},{"key":"45_CR17","unstructured":"Object Management Group (2002) UML Profile for Schedulability, Performance, and Time, OMG adopted specification"},{"key":"45_CR18","unstructured":"Object Management Group (2003) OMG Unified Modeling Language Specification, version 1.5"},{"key":"45_CR19","unstructured":"Petriu DC, Shen H (2002) Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: Computer Performance Evaluation, Modelling Techniques and Tools (Proceedings of TOOLS 2002), Lecture Notes in Computer Science, vol 2324. Springer-Verlag, pp 159\u2013177"},{"key":"45_CR20","doi-asserted-by":"crossref","unstructured":"Sauer S, Engels G (2001) UML-based behavior specification of interactive multimedia applications. In: Proc. IEEE Symposia on Human-Centric Computing Languages and Environments (HCC\u201901), pp 248\u2013255","DOI":"10.1109\/HCC.2001.995271"},{"key":"45_CR21","unstructured":"Sch\u00fcrr A, Winter AJ, Z\u00fcndorf A (1997) PROGRES: Language and environment. In: Ehrig H, Engels G, Kreowski H-J, Rozenberg G (eds) Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools. World Scientific, Singapore, pp 487\u2013550"},{"key":"45_CR22","unstructured":"Taentzer G (1999) AGG: A tool environment for algebraic graph transformation. In: Proc. International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), pp 481\u2013488"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0045-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-003-0045-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0045-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0045-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T21:10:34Z","timestamp":1585689034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-003-0045-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["45"],"URL":"https:\/\/doi.org\/10.1007\/s10270-003-0045-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}