{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T09:30:38Z","timestamp":1709371838141},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,10,2]],"date-time":"2011-10-02T00:00:00Z","timestamp":1317513600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11334-011-0163-2","type":"journal-article","created":{"date-parts":[[2011,10,1]],"date-time":"2011-10-01T09:15:47Z","timestamp":1317460547000},"page":"257-264","source":"Crossref","is-referenced-by-count":8,"title":["UML\/SysML semantic tunings"],"prefix":"10.1007","volume":"7","author":[{"given":"Ileana","family":"Ober","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulia","family":"Dragomir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"El Arbi","family":"Aboussoror","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,2]]},"reference":[{"key":"163_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1504\/IJES.2006.014851","volume":"2","author":"K Balasubramanian","year":"2006","unstructured":"Balasubramanian K, Krishna AS, Turkay E, Balasubramanian J, Parsons J, Gokhale AS, Schmidt DC: Applying model-driven development to distributed real-time and embedded avionics systems. Int J Embed Syst 2, 142\u2013155 (2006)","journal-title":"Int J Embed Syst"},{"issue":"10","key":"163_CR2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.5381\/jot.2004.3.10.c5","volume":"3","author":"C Bock","year":"2004","unstructured":"Bock C: UML 2 composition model. J Object Technol 3(10), 47\u201374 (2004)","journal-title":"J Object Technol"},{"key":"163_CR3","doi-asserted-by":"crossref","unstructured":"Bozga M, Graf S, Ober I, Ober I, Sifakis J (2004) The IF toolset. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems. In: International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13\u201318, 2004, Lecture notes in computer science, vol 3185. Springer, Berlin, pp 237\u2013267","DOI":"10.1007\/978-3-540-30080-9_8"},{"issue":"11","key":"163_CR4","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"EM Clarke","year":"2009","unstructured":"Clarke EM, Emerson EA, Sifakis J: Model checking: algorithmic verification and debugging. turing lecture from the winners of the 2007 ACM A.M. Turing Award. Commun ACM 52(11), 74\u201384 (2009)","journal-title":"Commun ACM"},{"key":"163_CR5","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled DA: Model checking. MIT Press, Cambridge (1999)"},{"key":"163_CR6","doi-asserted-by":"crossref","unstructured":"Cuccuru A, G\u00e9rard S, Radermacher A (2008) Meaningful composite structures. In: Czarnecki K, Ober I, Bruel J-M, Uhl A, V\u00f6lter M (eds) MoDELS. Lecture notes in computer science, vol 5301. Springer, Berlin, pp 828\u2013842","DOI":"10.1007\/978-3-540-87875-9_57"},{"key":"163_CR7","first-page":"437","volume-title":"CAV. Lecture notes in computer science, vol 1102.","author":"J Fernandez","year":"1996","unstructured":"Fernandez J, Garavel H, Kerbrat A, Mounier L, Mateescu R, Sighireanu M: CADP\u2014a protocol validation and verification toolbox. In: Alur, R, Henzinger, TA (eds) CAV. Lecture notes in computer science, vol 1102., pp. 437\u2013440. Springer, Berlin (1996)"},{"issue":"9","key":"163_CR8","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/1378727.1378742","volume":"51","author":"M Hinchey","year":"2008","unstructured":"Hinchey M, Jackson M, Cousot P, Cook B, Bowen JP, Margaria T: Software engineering and formal methods. Commun ACM 51(9), 54\u201359 (2008)","journal-title":"Commun ACM"},{"key":"163_CR9","unstructured":"Ober I., Dragomir I (2010) OMEGA2: a new version of the profile and the tools. In: Calinescu R, Paige RF, Kwiatkowska MZ (eds) ICECCS. IEEE Computer Society, Washington, pp 373\u2013378"},{"key":"163_CR10","first-page":"418","volume-title":"SOFSEM Lecture notes in computer science, vol 6543","author":"I. Ober","year":"2011","unstructured":"Ober I., Dragomir I: Unambiguous UML Composite Structures: The OMEGA2 experience. In: Cern\u00e1, I, Gyim\u00f3thy, T, Hromkovic, J, Jeffery, KG, Kr\u00e1lovic, R, Vukolic, M, Wolf, S (eds) SOFSEM Lecture notes in computer science, vol 6543, pp. 418\u2013430. Springer, Berlin (2011)"},{"key":"163_CR11","doi-asserted-by":"crossref","unstructured":"Ober I, Graf S, Lesens D (2006) Modeling and validation of a software architecture for the Ariane-5 Launcher. In: Gorrieri R, Wehrheim H (eds) Formal methods for open object-based distributed systems. In: Proceedings of the 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14\u201316, 2006, Lecture notes in computer science, vol 4037. Springer, Berlin, pp 48\u201362","DOI":"10.1007\/11768869_6"},{"issue":"2","key":"163_CR12","doi-asserted-by":"crossref","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 8(2), 128\u2013145 (2006)","journal-title":"STTT"},{"issue":"3","key":"163_CR13","first-page":"301","volume":"4","author":"I Ober","year":"2008","unstructured":"Ober I, Graf S, Yushtein Y, Ober I: Timing analysis and validation with UML: the case of the embedded MARS bus manager. ISSE 4(3), 301\u2013308 (2008)","journal-title":"ISSE"},{"key":"163_CR14","unstructured":"OMG (2008) Object Management Group\u2014systems modeling language (SysML), v1.1. http:\/\/www.omg.org\/spec\/SysML\/1.1\/"},{"key":"163_CR15","unstructured":"OMG (2009) Object Management Group\u2014unified modeling language (version 2.2). http:\/\/www.omg.org\/spec\/UML\/2.2"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0163-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0163-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0163-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T21:36:09Z","timestamp":1560720969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0163-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,2]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["163"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0163-2","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,2]]}}}