{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:09:29Z","timestamp":1775052569722,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540205371","type":"print"},{"value":"9783540400202","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_3","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"56-81","source":"Crossref","is-referenced-by-count":9,"title":["An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint"],"prefix":"10.1007","author":[{"given":"E.","family":"Astesiano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Reggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Consistency Problems in UML-based Software Development: Workshop Materials. In: Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z. (eds.) Consistency Problems in UML-based Software Development: Workshop Materials, Research Report 2002-06 (2002), Available at http:\/\/www.ipd.bth.se\/uml2002\/RR-2002-06.pdf"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl: the Common Algebraic Specification Language. T.C.S.\u00a0286(2) (2002)","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"3_CR3","volume-title":"IFIP WG 1.3 Book on Algebraic Foundations of System Specification","year":"1999","unstructured":"Astesiano, E., Krieg-Br\u00fcckner, B., Kreowski, H.-J. (eds.): IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer, Heidelberg (1999)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Reggio, G.: Formalism and Method. T.C.S.\u00a0236(1,2) (2000)","DOI":"10.1016\/S0304-3975(99)00205-4"},{"key":"3_CR5","volume-title":"Proc. SEKE 2002","author":"E. Astesiano","year":"2002","unstructured":"Astesiano, E., Reggio, G.: Knowledge Structuring and Representation in Requirement Specification. In: Proc. SEKE 2002. ACM Press, New York (2002), Available at ftp:\/\/ftp.disi.unige.it\/person\/ReggioG\/AstesianoReggio02a.pdf"},{"key":"3_CR6","unstructured":"Astesiano, E., Reggio, G.: Tight Structuring for Precise UML-based Requirement Specifications: Complete Version. Technical Report DISI\u2013TR\u201303\u201306, DISI, Universit\u00e0 di Genova, Italy (2003), Available at ftp:\/\/ftp.disi.unige.it\/person\/ReggioG\/AstesianoReggio03c.pdf"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pezz\u00e8, M.: Improving UML with Petri Nets. ENTCS\u00a044(4) (2001)","DOI":"10.1016\/S1571-0661(04)80947-2"},{"key":"#cr-split#-3_CR8.1","unstructured":"Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P., Sannella, D., Tarlecki, A.: Formal Methods 1999 - Casl (1999);"},{"key":"#cr-split#-3_CR8.2","unstructured":"The Common Algebraic Specification Language - Semantics, Available on compact disc published by Springer- Verlag"},{"key":"3_CR9","unstructured":"Bhaduri, P., Venkatesh, R.: Formal Consistency of Models in Multi-View Modelling. In: [1]"},{"key":"3_CR10","unstructured":"Bodeveix, J.-P., Millan, T., Percebois, C., Le Camus, C., Bazes, P., Ferraud, L.: Extending OCL for Verifying UML Model Consistency. In: [1]"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-45800-X_24","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"T. Clark","year":"2002","unstructured":"Clark, T., Evans, A., Kent, S.: A Metamodel for Package Extension with Renaming. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, p. 305. Springer, Heidelberg (2002)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-49020-3_6","volume-title":"Fundamental Approaches to Software Engineering","author":"E. Coscia","year":"1999","unstructured":"Coscia, E., Reggio, G.: JTN: A Java-targeted Graphic Formal Notation for Reactive and Concurrent Systems. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol.\u00a01577, pp. 77\u201397. Springer, Heidelberg (1999)"},{"key":"3_CR13","unstructured":"Davies, J., Crichton, C.: Concurrency and Refinement in the UML. ENTCS\u00a070(3) (2002)"},{"key":"3_CR14","unstructured":"Derrick, J., Akehurst, D., Boiten, E.: A Framework for UML Consistency. In: [1]"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-10856-4_93","volume-title":"Mathematical Foundations of Computer Science 1981","author":"H.D. Ehrich","year":"1981","unstructured":"Ehrich, H.D.: On the Realization and Implementation. In: Gruska, J., Chytil, M.P. (eds.) MFCS 1981. LNCS, vol.\u00a0118, pp. 271\u2013280. Springer, Heidelberg (1981)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.J., Mahr, B., Padawitz, P.: Algebraic Implementation of Abstract Data Types. T.C.S.\u00a020 (1982)","DOI":"10.1016\/S0304-3975(82)80001-7"},{"key":"3_CR17","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Testing the Consistency of Dynamic UML Diagrams. In: Proceedings of IDPT 2002 (2002)"},{"key":"3_CR18","unstructured":"Engels, G., Kuester, J.M., Groenewegen, L.: Consistent Interaction of Software Components. In: Proceedings of IDPT 2002 (2002)"},{"key":"3_CR19","volume-title":"Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9)","author":"G. Engels","year":"2001","unstructured":"Engels, G., Kuster, J.M., Groenewegen, L., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Gruhn, V. (ed.) Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9). ACM Press, New York (2001)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Engels, G., Kuster, J.M., Heckel, R.: Towards Consistency-Preserving Model Evolution. In: Proceedings ICSE Workshop on Model Evolution, Florida, USA (May 2002)","DOI":"10.1145\/512035.512066"},{"key":"3_CR21","series-title":"Object Technology Series","volume-title":"UML Distilled:","author":"M. Fowler","year":"2001","unstructured":"Fowler, M., Scott, K.: UML Distilled: 2nd edn. Object Technology Series. Addison-Wesley, Reading (2001)","edition":"2"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-48224-5_4","volume-title":"Automata, Languages and Programming","author":"M. Grosse-Rhode","year":"2001","unstructured":"Grosse-Rhode, M.: Integrating Semantics for Object-Oriented System Models. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, p. 40. Springer, Heidelberg (2001)"},{"key":"3_CR23","unstructured":"Gryce, C., Finkelstein, A., Nentwich, C.: Lightweight Checking for UML Based Software Development. In: [1]"},{"key":"3_CR24","unstructured":"Hnatkowska, B., Huzar, Z., Kuzniarz, L., Tuzinkiewicz, L.: A Systematic Approach to Consistency within UML Based Software Development Process. In: [1]"},{"key":"3_CR25","series-title":"IFIP Conference Proceedings","volume-title":"FMOODS 2002","author":"J. Jurjens","year":"2002","unstructured":"Jurjens, J.: Formal Semantics for Interacting UML subsystems. In: Jacobs, B., Rensink, A. (eds.) FMOODS 2002. IFIP Conference Proceedings, vol.\u00a0209. Kluwer, Dordrecht (2002)"},{"key":"3_CR26","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: Formalising Inter-model Consistency of the UML. In: [1]"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/3-540-46852-8_46","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"X. Li","year":"1999","unstructured":"Li, X., Lillius, J.: Timing Analysis of UML Sequence Diagram. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 661\u2013674. Springer, Heidelberg (1999)"},{"key":"3_CR28","volume-title":"Proc. SEKE 2003","author":"V. Mascardi","year":"2003","unstructured":"Mascardi, V., Reggio, G., Astesiano, E., Martelli, M.: From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. In: Proc. SEKE 2003. ACM Press, New York (2003) (to appear)"},{"key":"3_CR29","unstructured":"OMG Architecture Board MDA Drafting Team. Model Driven Architecture (MDA) (2001), Available at http:\/\/cgi.omg.org\/docs\/ormsc\/01-07-01.pdf"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"P.D. Mosses","year":"1997","unstructured":"Mosses, P.D.: CoFI: The Common Framework Initiative for Algebraic Specification and Development. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214. Springer, Heidelberg (1997)"},{"key":"3_CR31","unstructured":"Rational. Rational Unified Process\u00a9 for System Engineering SE 1.0 (2001)"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-46428-X_10","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2000","unstructured":"Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML Active Classes and Associated State Machines \u2013 A Lightweight Formal Approach. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, p. 127. Springer, Heidelberg (2000)"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-45314-8_13","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2001","unstructured":"Reggio, G., Cerioli, M., Astesiano, E.: Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, p. 171. Springer, Heidelberg (2001)"},{"key":"3_CR34","series-title":"Object Technology Series","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Object Technology Series. Addison-Wesley, Reading (1999)"},{"key":"3_CR35","volume-title":"Proc. of ECBS 2003","author":"B. Schatz","year":"2003","unstructured":"Schatz, B., Braun, P., Huber, F., Wisspeintner, A.: Consistency in Model-Based Development. In: Proc. of 3.ECBS 200 IEEE Computer Society, Los Alamitos (2003)"},{"key":"3_CR36","unstructured":"Sourroille, J.L., Caplat, G.: Checking UML Model Consistency. In: [1]"},{"key":"3_CR37","unstructured":"UML Revision Task Force. OMG UML Specification 1.3 (2000), Available at http:\/\/www.omg.org\/docs\/formal\/00-03-01.pdf"},{"key":"3_CR38","volume-title":"Handbook of Theoret. Comput. Sci.","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic Specifications. In: van Leeuwen, J. (ed.) Handbook of Theoret. Comput. Sci., vol.\u00a0B. Elsevier, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:45Z","timestamp":1559199285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}