Abstract
The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system components under development at different levels of abstraction and from different viewpoints. Currently, consistency of object-oriented models expressed in the UML is not defined in the UML language specification. This allows the construction of inconsistent UML models. Defining consistency of UML models is complicated by the fact that UML models are applied differently, depending on the application domain and development process. As a consequence, a form of consistency management is required that allows the software engineer to define, establish and manage consistency, tailored specifically to the development context. In recent years, we have developed a general methodology and tool support to overcome this problem. The methodology is based on a thorough study of the notion of consistency and has led to a generic definition of the notion of consistency. Our methodology itself aims at a step-wise systematic construction of a consistency management process, by providing a number of activities to be performed by the software engineer. It is complemented by a tool called Consistency Workbench which supports the software engineer in performing the methodology. In this paper, we provide an overview and summary of our approach.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Boger, M., Sturm, T., Schildhauer, E., Graham, E.: Poseidon for UML Users Guide. Gentleware AG (2003), Available under, http://www.gentleware.com
Boiten, E., Bowman, H., Derrick, J., Linington, P., Steen, M.: Viewpoint Consistency in ODP. Computer Networks 34(3), 503–537 (2000)
Boiten, E., Bowman, H., Derrick, J., Steen, M.: Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, pp. 644–664. Springer, Heidelberg (1997)
Cheng, B., Campbell, L., Wang, E.: Enabling Automated Analysis Through the Formalization of Object-Oriented Modeling Diagrams. In: Proceedings of IEEE International Conference on Dependable Systems and Networks, pp. 433–442. IEEE Computer Society, Los Alamitos (2000)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Egyed, A.: Heterogenous View Integration and its Automation. Dissertation, University of Southern California (2000)
Engels, G., Groenewegen, L.: Object-Oriented Modeling: A Roadmap. In: Finkelstein, A. (ed.) Future Of Software Engineering 2000, pp. 105–116. ACM, New York (2000)
Engels, G., Heckel, R., Küster, J.M.: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 272–287. Springer, Heidelberg (2001)
Engels, G., Heckel, R., Küster, J.M.: The Consistency Workbench - A Tool for Consistency Management in UML-based Development. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 356–359. Springer, Heidelberg (2003)
Engels, G., Küster, J.M., Groenewegen, L.: Consistent Interaction of Software Components. In: Proceedings of Sixth International Conference on Integrated Design and Process Technology, IDPT 2002 (2002)
Engels, G., Küster, J.M., Groenewegen, L.: Consistent Interaction of Software Components. Transactions of the SDPS: Journal of Integrated Design and Process Science 6(4), 2–22 (2002)
Engels, G., Küster, 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), pp. 186–195. ACM Press, New York (2001)
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multi-Perspective Specifications. In: Sommerville, I., Paul, M. (eds.) ESEC 1993. LNCS, vol. 717, pp. 84–99. Springer, Heidelberg (1993)
Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual (1997)
Fradet, P., Le Métayer, D., Périn, M.: Consistency checking for multiple view software architectures. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol. 1687, pp. 410–428. Springer, Heidelberg (1999)
Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs (1991)
Ghezzi, C., Nuseibeh, B.A.: Special Issue on Managing Inconsistency in Software Development (2). IEEE Transactions on Software Engineering 25(11) (November 1999)
Grosse-Rhode, M.: Integrating Semantics for Object-Oriented System Models. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 40–60. Springer, Heidelberg (2001)
Heckel, R., Küster, J.M., Taentzer, G.: Towards Automatic Translation of UML Models into Semantic Domains. In: Kreowski, H.-J., Knirsch, P. (eds.) Proceedings of the Appligraph Workshop on Applied Graph Transformation, March 2002, pp. 11–22 (2002)
Hiemer, J.-J.: Statecharts in CSP: Ein Prozessmodell in CSP zur Analyse von STATEMATE-Statecharts. DrKovac, Hamburg (1999)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Küster, J.M.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (March 2004)
Küster, J.M., Heckel, R., Engels, G.: Defining and Validating Transformations of UML Models. In: Hosking, J., Cox, P. (eds.) IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), Auckland, New Zealand, October 28 - 31, pp. 145–152. IEEE Computer Society, Los Alamitos (2003)
Li, X., Lilius, J.: Timing Analysis of UML Sequence Diagrams. In: France, R., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 661–674. Springer, Heidelberg (1999)
Moreira, A., Clark, R.: Combining Object-Oriented Modeling and Formal Description Techniques. In: Tokoro, M., Pareschi, R. (eds.) ECOOP 1994. LNCS, vol. 821, pp. 344–364. Springer, Heidelberg (1994)
Nuseibeh, B., Easterbrook, S., Russo, A.: Making Inconsistency Respectable in Software Development. Journal of Systems and Software 58(2), 171–180 (2001)
Object Management Group (OMG). OMG Unified Modeling Language Specification, Version 1.5. OMG document formal/03-03-01 (March 2003)
Tarr, P., Clarke, L.A.: Consistency Management for Complex Applications. Technical report, Technical Report 97-46, Computer Science Department, University of Massachusetts at Amherst (1997)
Varró, D., Varró, G., Pataricza, A.: Designing the Automatic Transformation of Visual Languages. Science of Computer Programming 44(2), 205–227 (2002)
Whittle, J.: Transformations and Software Modeling Languages: Automating Transformations in UML. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 227–242. Springer, Heidelberg (2002)
Zave, P., Jackson, M.: Conjunction as Composition. ACM Transactions on Software Engineering and Methodology 2(4), 379–411 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Küster, J.M., Engels, G. (2004). Consistency Management within Model-Based Object-Oriented Development of Components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2003. Lecture Notes in Computer Science, vol 3188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30101-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-30101-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22942-1
Online ISBN: 978-3-540-30101-1
eBook Packages: Springer Book Archive