{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T02:10:15Z","timestamp":1739844615669,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116582"},{"type":"electronic","value":"9783642116599"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-11659-9_22","type":"book-chapter","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T07:50:23Z","timestamp":1265615423000},"page":"194-205","source":"Crossref","is-referenced-by-count":11,"title":["UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams"],"prefix":"10.1007","author":[{"given":"Jayeeta","family":"Chanda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ananya","family":"Kanjilal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabnam","family":"Sengupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/3-540-48050-1_54","volume-title":"Foundations of Intelligent Systems","author":"A. Cal\u00ec","year":"2002","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: A Formal Framework for Reasoning on UML Class Diagrams. In: Hacid, M.-S., Ra\u015b, Z.W., Zighed, D.A., Kodratoff, Y. (eds.) ISMIS 2002. LNCS (LNAI), vol.\u00a02366, pp. 503\u2013513. Springer, Heidelberg (2002)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Pascal Andre, Annya Romanczuk, Jean-Claude Royer. Checking the Consistency of UML Class Diagrams Using Larch Prover, Rigorous Object Oriented Method, ROOM (2000)","DOI":"10.14236\/ewic\/ROOM2000.1"},{"key":"22_CR3","unstructured":"Jansamak, S., Surarerks, A.: Formalization of UML Statechart Models Using Concurrent Regular Expressions. In: 27th Australasian Computer Science Conference, the University of Otago, Dunedin, NZ (January 2004)"},{"key":"22_CR4","unstructured":"Meng, S., Naixiao, Z., Aichernig, B.K.: The Formal Foundations in RSL for UML Statechart Diagram, Technical Report 299. UNU\/IIST (July 2004)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Liu, S., Shin, M.E.: Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. In: 6th IEEE International Conference on Complex Computer Systems (ICECCS 2000), Tokyo, Japan, September 11-15, p. 61 (2000)","DOI":"10.1109\/ICECCS.2000.873928"},{"key":"22_CR6","unstructured":"He, X.: Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. In: The Twenty-Fourth Annual International Computer Software and Applications Conference, Taipei, Taiwan, October 25-28, p. 217 (2000)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Li, X., Liu, Z., Jifeng, H.: A Formal Semantics of UML Sequence Diagram. In: Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, April 13-16, p. 168 (2004)","DOI":"10.1109\/ASWEC.2004.1290469"},{"key":"22_CR8","unstructured":"Hausmann, J.H., Heckel, R., Sauer, S.: Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. In: IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa, Italy, September 5-7 (2001)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit\u00a030(7) (July 2004)","DOI":"10.1109\/TSE.2004.34"},{"key":"22_CR10","unstructured":"Dong, Y., Sheng, Z.S.: Using p - calculus to Formalize UML Activity Diagram. In: 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2003), Huntsville, Alabama, April 7-10 (2003)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Virani, H.S., Niu, A.J.: Formalize UML 2 Sequence Diagrams. In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, December 3-5, pp. 437\u2013440 (2008)","DOI":"10.1109\/HASE.2008.51"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Xu, D., Philbert, N., Liu, Z., Liu, W.: Towards Formalizing UML Activity Diagrams in CSP. In: International Symposium on Computer Science and Computational Technology, ISCSCT 2008, December 20-22, vol.\u00a02, pp. 450\u2013453 (2008)","DOI":"10.1109\/ISCSCT.2008.379"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Mostafa, A.M., Ismail, M.A., El-Bolok, H., Saad, E.M.: Toward a Formalization of UML2.0 Metamodel using Z Specifications. In: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing, SNPD 2007, July 30-August 1 2007, vol.\u00a01, pp. 694\u2013701 (2007)","DOI":"10.1109\/SNPD.2007.508"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Ali, T., Nauman, M., Alam, M.: An Accessible Formal Specification of the UML and OCL Meta-Model in Isabelle\/HOL. In: IEEE International Multitopic Conference, INMIC 2007, December 28-30, pp. 1\u20136 (2007)","DOI":"10.1109\/INMIC.2007.4557693"},{"issue":"1","key":"22_CR15","first-page":"83","volume":"33","author":"S. Sengupta","year":"2008","unstructured":"Sengupta, S., Bhattacharya, S.: Formalization of Functional Requirements of Software Development Process. Journal of Foundations of Computing and Decision Sciences (FCDS)\u00a033(1), 83\u2013115 (2008)","journal-title":"Journal of Foundations of Computing and Decision Sciences (FCDS)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11659-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T01:45:48Z","timestamp":1739843148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11659-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116582","9783642116599"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11659-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}