{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:59:01Z","timestamp":1729652341077,"version":"3.28.0"},"reference-count":65,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/indin.2013.6622972","type":"proceedings-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T17:49:48Z","timestamp":1382032188000},"page":"716-721","source":"Crossref","is-referenced-by-count":2,"title":["Graphical modelling meets formal methods"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Gulan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Johr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Kretschmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Rieger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Ditze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416788"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.35048"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80466-9"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.33"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050177"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.7"},{"key":"43","first-page":"561","article-title":"Relation between uml2 activity diagrams and csp algebra","author":"scuglik","year":"2005","journal-title":"SMO'05 WSEAS"},{"key":"42","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-40911-4_6","article-title":"Activity graphs and processes","author":"bolton","year":"2000","journal-title":"Integrated Formal Methods (IFM'00) Ser LNCS"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921561"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"26","first-page":"430","article-title":"Formalising UML state machines for model checking","author":"lilius","year":"1999","journal-title":"The Unified Modeling Language Beyond the Standard (UML'99) Ser LNCS"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802301"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2008.194"},{"key":"29","first-page":"441","article-title":"PRISM: A tool for automatic verification of probabilistic systems","author":"hinton","year":"2006","journal-title":"TACAS Ser LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46589-8_3"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"key":"7","first-page":"52","article-title":"29 New unclarities in the semantics of uml 2.0 state machines","author":"fecher","year":"2005","journal-title":"ICFEM '05 Ser LNCS"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.46"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"journal-title":"Semantics of Exceptions in UML 2 0 Activities","year":"2004","author":"storrle","key":"32"},{"journal-title":"Modeling languages Syntax semantics and all that stuff part i The basic stuff","year":"2000","author":"harel","key":"4"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.046"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0207-y"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0054-z"},{"key":"59","first-page":"162","article-title":"Formalizing UML behavioral diagrams with B","author":"ledang","year":"2001","journal-title":"The Tenth OOPSLA Workshop on Behavioral Semantics Back to Basics"},{"key":"58","first-page":"343","article-title":"Specification language","author":"abrial","year":"1980","journal-title":"On the Construction of Programs"},{"key":"57","article-title":"Generating Object-Z specifications from use cases","author":"moreira","year":"1999","journal-title":"Int Conference on Enterprise Information Systems Citeseer"},{"key":"56","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_37"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"19"},{"key":"55","first-page":"115","article-title":"Formal analysis of use case diagrams","volume":"11","author":"klimek","year":"2010","journal-title":"Computer Science"},{"key":"17","first-page":"325","article-title":"The rhapsody semantics of statecharts","author":"harel","year":"2004","journal-title":"INT 2004 Ser LNCS"},{"key":"18","first-page":"138","article-title":"Towards formalizing uml state diagrams in csp","author":"ng","year":"2003","journal-title":"2nd IEEE International Conference on Software Engineering and Formal Methods"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.5.811"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"11","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"clarke","year":"1981","journal-title":"Computer Science Department Tech Rep Paper 458"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11494-7_22"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2237796.2237819"},{"year":"0","key":"20"},{"key":"64","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.2.a2"},{"key":"65","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"62","first-page":"203","article-title":"Execution of a requirement model in software development","author":"shen","year":"2004","journal-title":"ISCA 13th Int Conference on Intelligent and Adaptive Systems and Software Engineering"},{"journal-title":"Introducing AsmL A Tutorial for the Abstract State Machine Language","year":"2001","author":"group","key":"63"},{"key":"60","doi-asserted-by":"publisher","DOI":"10.1109\/SCESM.2007.1"},{"key":"61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39893-6_6"},{"key":"49","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10270-010-0157-9","article-title":"The many meanings of uml 2 sequence diagrams: A survey","volume":"10","author":"micskei","year":"2011","journal-title":"Software &Systems Modeling"},{"journal-title":"UML 2 0 Sequence Diagrams' Semantics","year":"2008","author":"micskei","key":"48"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_18"},{"key":"44","first-page":"153","author":"debbabi","year":"2010","journal-title":"Probabilistic Model Checking of SysML Activity Diagrams"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"year":"0","key":"46"},{"key":"10","first-page":"181","article-title":"On the semantic foundations of Standard UML 2.0","author":"selic","year":"2004","journal-title":"SFM-RT Ser LNCS"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2008.42"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2012.050132"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1145\/38807.38824"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02457-3_3"},{"key":"50","first-page":"237","article-title":"Some rules to transform sequence diagrams into coloured petri nets","author":"ribeiro","year":"2006","journal-title":"Proc 5th Workshop Tutorial Pract Use Coloured Petri Nets CPN Tools"}],"event":{"name":"2013 IEEE 11th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2013,7,29]]},"location":"Bochum, Germany","end":{"date-parts":[[2013,7,31]]}},"container-title":["2013 11th IEEE International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6599026\/6622844\/06622972.pdf?arnumber=6622972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T20:06:14Z","timestamp":1498075574000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6622972\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":65,"URL":"https:\/\/doi.org\/10.1109\/indin.2013.6622972","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}