{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:53:28Z","timestamp":1725540808101},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106187"},{"type":"electronic","value":"9783642106194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10619-4_10","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T05:01:57Z","timestamp":1258347717000},"page":"78-85","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams"],"prefix":"10.1007","author":[{"given":"Youcef","family":"Hammal","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"10_CR2","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: Proc. of Integrated Design and Process Technology (2002)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11562436_5","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"Y. Hammal","year":"2005","unstructured":"Hammal, Y.: A formal Semantics of UML State Charts by means of Timed Petri nets. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 38\u201352. Springer, Heidelberg (2005)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/11888116_20","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"Y. Hammal","year":"2006","unstructured":"Hammal, Y.: Branching Time Semantics for UML 2.0 Sequence Diagrams. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 259\u2013274. Springer, Heidelberg (2006)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Kotb, Y., Katayama, T.: Consistency checking of UML model diagrams using the XML semantics approach. In: Proc. of Intl. World Wide Web Conference, Japan, pp. 982\u2013983 (2005)","DOI":"10.1145\/1062745.1062829"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/11589976_20","volume-title":"Integrated Formal Methods","author":"V.S.W. Lam","year":"2005","unstructured":"Lam, V.S.W., Padget, J.: Consistency checking of sequence diagrams and statechart diagrams using the \u03c0-Calculus. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 347\u2013365. Springer, Heidelberg (2005)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Litvak, B., Tyszberowicz, S., Yehudai, A.: Behavioral Consistency Validation of UML Diagrams. In: Proc. of the 1st Intl. Conference SEFM 2003, p. 118 (2003)","DOI":"10.1109\/SEFM.2003.1236213"},{"key":"10_CR8","unstructured":"Object Management Group, Inc. (OMG): Unified Modeling Language: Superstructure version 2.0, Final Adopted Specification (2004) \n                  \n                    http:\/\/www.omg.org"},{"key":"10_CR9","unstructured":"Object Management Group, Inc. (OMG): UML Profile for Schedulability, Performance, and Time Specifi-cation (September 2003), Version 1.0, \n                  \n                    http:\/\/www.omg.org"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R. Straeten Van Der","year":"2003","unstructured":"Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 326\u2013340. Springer, Heidelberg (2003)"}],"container-title":["Communications in Computer and Information Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10619-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:36:25Z","timestamp":1619782585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10619-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106187","9783642106194"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10619-4_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}