The paper concerns the concept of refinement as a commonly used design practice in the software development process. The refinement relationship is formulated and formally expressed for UML collaborations. Collaborations are suitable for presenting the proposed approach as they represent both static and dynamic aspects of a modeled system or its part, for example, a use case. Our approach to refinement is based on the rule of preserving the observable behavior of a modeled system. The introduced notion of sub-collaborations allows us to refine collaboration diagrams in a systematic way.
@article{bwmeta1.element.bwnjournal-article-amcv16i1p155bwm,
author = {Hnatkowska, Bogumila and Huzar, Zbigniew and Tuzinkiewicz, Lech},
title = {Refinement of UML collaborations},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {16},
year = {2006},
pages = {155-164},
zbl = {1334.68044},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv16i1p155bwm}
}
Hnatkowska, Bogumila; Huzar, Zbigniew; Tuzinkiewicz, Lech. Refinement of UML collaborations. International Journal of Applied Mathematics and Computer Science, Tome 16 (2006) pp. 155-164. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv16i1p155bwm/
[000] Boiten E. and Bujorianu M. (2003): Exploring UML refinement through unification, In: Critcal Systems Development with UML, Proc. UML 03, (J. Jurjens, B. Rumpe, R. France, and E.B. Fernandez, Eds.). - Technische Universitat Munchen, No. TUM-I0323, pp. 47-62.
[001] Cengarle M.V. and Knapp A. (2004): UML 2.0 interactions: Semantics and refinement, In: Critical Systems Development with UML, Proc. CSDUML'04 (J. Jurjens, E.B. Fernandez, R. France and B. Rumpe, Eds.). - Technische Universitat Munchen, pp. 85-99.
[002] Clark T. (2000): Object-oriented refinement and proof using behaviourfunctions. - Proc. 3rd Workshop Rigorous Object-Oriented Methods, York, electronic edition available at: http://ewic.bcs.org/conferences2000/objectmethods/papers/paper2.htm.
[003] Egyed A. (2002): Automated abstraction of class diagrams. - ACM Trans. Soft. Eng. Meth., Vol. 11, No. 4, pp. 449-491.
[004] Fowler M. and Scott K. (2000): UML Distilled: A Brief Guide to the Standard Object Modeling Language. - Reading, Massachusetts, Addison-Wesley.
[005] Fowler M., Beck K., Brant J., Opdyke W. and Roberts D. (1999): Refactoring: Improving the Design of Existing Code. - Reading, Massachusetts, Addison-Wesley.
[006] Harel D. and Politi M. (1998): Modeling Reactive Systems with Statecharts: The Statemate Approach. - New York: McGraw-Hill.
[007] Hnatkowska B., Huzar Z., Kuzniarz L. and Tuzinkiewicz L. (2003): Refinement relationship between collaborations. - Proc. 2nd Workshop Consistency Problems in UML-based Software Development (in conjunction with UML03), San Francisco, pp. 51-57.
[008] Hnatkowska B., Huzar Z. and Tuzinkiewicz L. (2004a): Collaboration and class diagram consistency. - Found. Comput. Dec. Sci., Vol. 29, No. 1-2, pp. 75-89.
[009] Hnatkowska B., Huzar Z. and Tuzinkiewicz L. (2004b): Structure refinementof class diagrams. - Proc. Conf. Information Systems Implementation and Modelling, Roznov pod Radhostem, Czech Republik, pp. 37-44.
[010] Hnatkowska B., Huzar Z. and Tuzinkiewicz L. (2004c): On understanding of refinement relationship. - Proc. 3rd Workshop Consistency Problems in UML-based Software Development (in conjunction with UML04), Lisbon, Portugal, pp. 11-22. | Zbl 1334.68044
[011] Hubert R. (2001): Convergent Architecture. Building Model-Driven J2EE Systems with UML. - New York: Wiley.
[012] Jacobson I., Booch G. and Rumbaugh J. (1999): The Unified Software Development Process. - Reading, Massachusetts: Addison-Wesley.
[013] Katara M. and Mikkonen T. (2002): Refinements and aspects in UML. -Proc. Workshop Aspect-Oriented Modeling (in Conjunction with UML02), Dresden, Germany, electronic edition available at: http://lgl.epfl.ch/workshops/uml2002/papers/katara.pdf.
[014] Knapp A. and Merz S. (2002): Model checking and code generation for UML state machnines and collaborations. - Proc. 5th Workshop Tools for System Design and Verification, Institut fur Informatik, Universitat Augsburg, pp. 59-64.
[015] Knapp A., Merz S. and Rauch Ch. (2002): Model checking timed UML state machines and collaborations. - Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems, Berlin, Germany, pp. 395-416.
[016] Kruchten P. (1999): The Rational Unified Process. An Introduction. -Reading, Massachusetts: Addison-Wesley, Longman.
[017] Lano K. and Bicarregui J. (1999): Semantics and transformations for UML models.- Proc. 1st Int. Workshop Unified Modeling Language, (in conjunction with UML'98: Beyond the Notation), Mulhouse, France, pp. 107-119.
[018] Liu Z., Li X, Liu J. and Jifeng H. (2004a): Integrating and Refining UML Models. - UNUIIST Report, No. 295.
[019] Liu Z., Jifeng H., Li X. and Chen Y. (2004b): Consistency and Refinementof UML Models. - Proc. 3rd Int. Workshop Consistency Problems in UML-based Software Development (in conjunction with UML04), Lisbon, Portugal, pp. 23-40.
[020] Manassis E. (2004): Practical Software Engineering. Analysis and Design for. NET Platform. - Boston: Addison-Wesley.
[021] OMG (2003): OMG Unified Modeling Language: Superstructure, Version 2.0. - Final Adopted Specification.
[022] Pratt V. (1986): Modelling concurrency with partial orders. - Int. J. Parallel Program., Vol. 15, No. 1, pp. 33-71. | Zbl 0622.68034
[023] Pons C. and Kutche R.D. (2004): Traceability across refinement steps in UML Modelling. - Proc. of 3rd Workshop Software Model Engineering, WiSME 2004, Satellite Workshop at the 7-th Int. Conf. UML, Lisbon, Portugal, available at: http://www.metamodel.con/wisme-2004/present/19pdf
[024] Pons C., Giandini R. and Baum G. (2000): Dependency relations between models in the Unified Process. - Proc. IEEE Int. Workshop Software Specification and Design IWSSD, San Diego, CA, USA, pp. 149-157.
[025] Rumbaugh J., Jacobson I. and Booch G. (2004): The Unified Modeling Language. Reference Manual, 2nd Ed. - Reading, Massachusetts: Addison Wesley.
[026] Souza D.F.D. and Wills A.C. (1999): Objects, Components and Frameworks with UML - The Catalysis Approach. - Reading, Massachusetts: Addison-Wesley, Longman.
[027] Sunye G., Pollet D., Traon Y. and Fezequel J.(2001): Refactoring UMLModels, In: Modeling Languages, Concepts, and Tools, Proc. UML01 (M. Gogolla, C. Kobryn, Eds.). - Berlin: Springer, pp. 134-148.