{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:08:24Z","timestamp":1725574104850},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183805"},{"type":"electronic","value":"9783642183812"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-18381-2_35","type":"book-chapter","created":{"date-parts":[[2011,1,4]],"date-time":"2011-01-04T16:01:51Z","timestamp":1294156911000},"page":"418-430","source":"Crossref","is-referenced-by-count":4,"title":["Unambiguous UML Composite Structures: The OMEGA2 Experience"],"prefix":"10.1007","author":[{"given":"Iulian","family":"Ober","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulia","family":"Dragomir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 237\u2013267. Springer, Heidelberg (2004)"},{"key":"35_CR2","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"35_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/978-3-540-87875-9_57","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Cuccuru","year":"2008","unstructured":"Cuccuru, A., G\u00e9rard, S., Radermacher, A.: Meaningful composite structures. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 828\u2013842. Springer, Heidelberg (2008)"},{"issue":"1-3","key":"35_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.scico.2004.05.012","volume":"55","author":"W. Damm","year":"2005","unstructured":"Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program.\u00a055(1-3), 81\u2013115 (2005)","journal-title":"Sci. Comput. Program."},{"key":"35_CR5","unstructured":"Dragomir, I., Ober, I.: Well-formedness and typing rules for UML composite structures (November 2010), http:\/\/arxiv.org\/abs\/1010.6155"},{"issue":"2","key":"35_CR6","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10270-006-0043-7","volume":"7","author":"J. Hooman","year":"2008","unstructured":"Hooman, J., Kugler, H., Ober, I., Votintseva, A., Yushtein, Y.: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling\u00a07(2), 131\u2013155 (2008)","journal-title":"Software and System Modeling"},{"key":"35_CR7","unstructured":"IBM. Rational rhapsody v7.5. reference manuals, http:\/\/www.ibm.com\/developerworks\/rational\/"},{"key":"35_CR8","unstructured":"ITU-T. Languages for telecommunications applications \u2013 Specification and Description Language (SDL). ITU-T Revised Recommendation Z.100 (1999)"},{"key":"35_CR9","unstructured":"Topcased. Topcased toolset, http:\/\/www.topcased.org"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Nipkow, T., von Oheimb, D.: Java light is type-safe - definitely. In: POPL, pp. 161\u2013170 (1998)","DOI":"10.1145\/268946.268960"},{"key":"35_CR11","first-page":"373","volume-title":"14th IEEE International Conference on Engineering of Complex Computer Systems, UML & AADL track","author":"I. Ober","year":"2010","unstructured":"Ober, I., Dragomir, I.: OMEGA2: A new version of the profile and the tools. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, UML & AADL track, pp. 373\u2013378. IEEE, Los Alamitos (2010)"},{"issue":"2","key":"35_CR12","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-005-0205-x","volume":"8","author":"I. Ober","year":"2006","unstructured":"Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT\u00a08(2), 128\u2013145 (2006)","journal-title":"STTT"},{"key":"35_CR13","unstructured":"Oliver, I., Luukkala, V.: On UML\u2019s Composite Structure Diagram. In: 5th Workshop on System Analysis and Modelling (SAM) (June 2006)"},{"key":"35_CR14","unstructured":"Object Management Group \u2013 Systems Modeling Language (SysML), v1.1.(2008), http:\/\/www.omg.org\/spec\/SysML\/1.1\/"},{"key":"35_CR15","unstructured":"Object Management Group \u2013 UML profile for modeling and analysis of real-time and embedded systems (MARTE) (June 2008), http:\/\/www.omgmarte.org\/Documents\/Specifications\/08-06-09.pdf"},{"key":"35_CR16","unstructured":"Object Management Group \u2013 Unified Modeling Language (version 2.2) (February 2009), http:\/\/www.omg.org\/spec\/UML\/2.2"},{"key":"35_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow). In: Isabelle. LNCS, vol.\u00a0828, Springer, Heidelberg (1994)"},{"key":"35_CR18","unstructured":"SAE. Architecture analysis and design language (AADL) (November 2004), http:\/\/www.sae.org\/technical\/standards\/AS5506\/1"},{"key":"35_CR19","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley Professional Computing, John Wiley (1994)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2011: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18381-2_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T15:02:49Z","timestamp":1559919769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18381-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183805","9783642183812"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18381-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}