{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:15:03Z","timestamp":1761488103203,"version":"3.35.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,26]],"date-time":"2008-08-26T00:00:00Z","timestamp":1219708800000},"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":[[2008,10]]},"DOI":"10.1007\/s11334-008-0065-0","type":"journal-article","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T06:07:39Z","timestamp":1219644459000},"page":"293-300","source":"Crossref","is-referenced-by-count":19,"title":["UML behavioral consistency checking using instantiable Petri nets"],"prefix":"10.1007","volume":"4","author":[{"given":"Yann","family":"Thierry-Mieg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lom-Messan","family":"Hillah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,8,26]]},"reference":[{"key":"65_CR1","doi-asserted-by":"crossref","unstructured":"Broy M, Crane M, Dingel J, Hartman A, Rumpe B, Selic B (2007) 2nd UML 2 Semantics Symposium: Formal Semantics for UML. Models Softw Eng 318\u2013323","DOI":"10.1007\/978-3-540-69489-2_39"},{"key":"65_CR2","doi-asserted-by":"crossref","unstructured":"Clarke EM, Allen Emerson E, Sifakis J (2007) Turing award for their original and continuing research on model checking","DOI":"10.1145\/1283920.1962298"},{"issue":"1","key":"65_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s10703-006-0033-y","volume":"31","author":"G Ciardo","year":"2007","unstructured":"Ciardo G, L\u00fcttgen G, Miner AS (2007) Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst Des 31(1): 63\u2013100","journal-title":"Formal Methods Syst Des"},{"key":"65_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/11767589_2","volume-title":"27th ICATPN\u2014 Petri Nets and other models of concurrency, vol 4024","author":"J Campos","year":"2006","unstructured":"Campos J, Merseguer J (2006) On the integration of uml and petri nets in software development. In: Donatelli S, Thiagarajan PS (eds) 27th ICATPN\u2014 Petri Nets and other models of concurrency, vol 4024. Springer, Berlin, pp 19\u201336"},{"key":"65_CR5","doi-asserted-by":"crossref","unstructured":"Donatelli S, Franceschinis G (1996) The psr methodology: Integrating hardware and software models. In: Proceedings of the 17th international conference on application and theory of petri nets. Springer, London, pp 133\u2013152","DOI":"10.1007\/3-540-61363-3_8"},{"key":"65_CR6","doi-asserted-by":"crossref","unstructured":"Damm W, Hermanns H (eds) (2007) In: Computer aided verification, 19th international conference, CAV 2007, Berlin, Germany, July 3\u20137, 2007, Proceedings, vol 4590 of LNCS. Springer, Berlin","DOI":"10.1007\/978-3-540-73368-3"},{"key":"65_CR7","first-page":"272","volume-title":"4th international conference on the unified modeling language, modeling languages, concepts and tools, vol 2185","author":"G Engels","year":"2001","unstructured":"Engels G, Heckel R, K\u00fcster JM (2001) Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla M, Kobryn C (eds) 4th international conference on the unified modeling language, modeling languages, concepts and tools, vol 2185. Springer, London, pp 272\u2013286"},{"issue":"1","key":"65_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R Eshuis","year":"2006","unstructured":"Eshuis R (2006) Symbolic model checking of uml activity diagrams. ACM Trans Softw Eng Methodol 15(1): 1\u201338","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"65_CR9","doi-asserted-by":"crossref","unstructured":"Gupta A, McMillan K, Fu Z (2007) Automated assumption generation for compositional verification. Comput Aided Verif 420\u2013432","DOI":"10.1007\/978-3-540-73368-3_45"},{"key":"65_CR10","doi-asserted-by":"crossref","unstructured":"Hamez A, Hillah L, Kordon F, Linard A, Paviot-Adet E, Renault X, Thierry-Mieg Y (2006) New features in cpn-ami 3: focusing on the analysis of complex distributed systems. In: ACSD. IEEE Computer Society, pp 273\u2013275","DOI":"10.1109\/ACSD.2006.15"},{"issue":"4","key":"65_CR11","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/s10515-006-0272-6","volume":"13","author":"Z Hu","year":"2006","unstructured":"Hu Z, Shatz SM (2006) Explicit modeling of semantics associated with composite states in UML statecharts. Autom Softw Eng 13(4): 423\u2013467","journal-title":"Autom Softw Eng"},{"issue":"3","key":"65_CR12","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1147\/sj.453.0451","volume":"45","author":"B Hailpern","year":"2006","unstructured":"Hailpern B, Tarr P (2006) Model-driven development: The good, the bad and the ugly. IBM Syst J 45(3): 451","journal-title":"IBM Syst J"},{"key":"65_CR13","volume-title":"Communicating and mobile systems: the Pi-Calculus","author":"R Milner","year":"1999","unstructured":"Milner R (1999) Communicating and mobile systems: the Pi-Calculus. Cambridge University Press, Cambridge"},{"key":"65_CR14","unstructured":"Murata T (1989) Petri nets: Properties, analysis and applications. In: Proceedings of the IEEE. NewsletterInfo: 33Published as proceedings of the IEEE, vol 77, number 4. pp 541\u2013580"},{"key":"65_CR15","unstructured":"OMG. Unified Modeling Language: Superstructure - Version 2.1.2 formal\/07-11-02. OMG, November 2007"},{"key":"65_CR16","doi-asserted-by":"crossref","unstructured":"Yao S, Shatz SM (2006) Consistency checking of UML dynamic models based on petri net techniques. In: CIC \u201906: Proceedings of the 15th international conference on computing. IEEE Computer Society, Washington, DC, pp 289\u2013297","DOI":"10.1109\/CIC.2006.32"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0065-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-008-0065-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0065-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T17:22:18Z","timestamp":1738344138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-008-0065-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,26]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["65"],"URL":"https:\/\/doi.org\/10.1007\/s11334-008-0065-0","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2008,8,26]]}}}