Refinement of UML collaborations

Bogumila Hnatkowska; Zbigniew Huzar; Lech Tuzinkiewicz

International Journal of Applied Mathematics and Computer Science (2006)

  • Volume: 16, Issue: 1, page 155-164
  • ISSN: 1641-876X

Abstract

top
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.

How to cite

top

Hnatkowska, Bogumila, Huzar, Zbigniew, and Tuzinkiewicz, Lech. "Refinement of UML collaborations." International Journal of Applied Mathematics and Computer Science 16.1 (2006): 155-164. <http://eudml.org/doc/207773>.

@article{Hnatkowska2006,
abstract = {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.},
author = {Hnatkowska, Bogumila, Huzar, Zbigniew, Tuzinkiewicz, Lech},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {refinement; collaborations; UML},
language = {eng},
number = {1},
pages = {155-164},
title = {Refinement of UML collaborations},
url = {http://eudml.org/doc/207773},
volume = {16},
year = {2006},
}

TY - JOUR
AU - Hnatkowska, Bogumila
AU - Huzar, Zbigniew
AU - Tuzinkiewicz, Lech
TI - Refinement of UML collaborations
JO - International Journal of Applied Mathematics and Computer Science
PY - 2006
VL - 16
IS - 1
SP - 155
EP - 164
AB - 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.
LA - eng
KW - refinement; collaborations; UML
UR - http://eudml.org/doc/207773
ER -

References

top
  1. 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. 
  2. 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. 
  3. 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. 
  4. Egyed A. (2002): Automated abstraction of class diagrams. - ACM Trans. Soft. Eng. Meth., Vol. 11, No. 4, pp. 449-491. 
  5. Fowler M. and Scott K. (2000): UML Distilled: A Brief Guide to the Standard Object Modeling Language. - Reading, Massachusetts, Addison-Wesley. 
  6. Fowler M., Beck K., Brant J., Opdyke W. and Roberts D. (1999): Refactoring: Improving the Design of Existing Code. - Reading, Massachusetts, Addison-Wesley. 
  7. Harel D. and Politi M. (1998): Modeling Reactive Systems with Statecharts: The Statemate Approach. - New York: McGraw-Hill. 
  8. 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. 
  9. 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. 
  10. 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. 
  11. 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. Zbl1334.68044
  12. Hubert R. (2001): Convergent Architecture. Building Model-Driven J2EE Systems with UML. - New York: Wiley. 
  13. Jacobson I., Booch G. and Rumbaugh J. (1999): The Unified Software Development Process. - Reading, Massachusetts: Addison-Wesley. 
  14. 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. 
  15. 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. 
  16. 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. 
  17. Kruchten P. (1999): The Rational Unified Process. An Introduction. -Reading, Massachusetts: Addison-Wesley, Longman. 
  18. 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. 
  19. Liu Z., Li X, Liu J. and Jifeng H. (2004a): Integrating and Refining UML Models. - UNUIIST Report, No. 295. 
  20. 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. 
  21. Manassis E. (2004): Practical Software Engineering. Analysis and Design for. NET Platform. - Boston: Addison-Wesley. 
  22. OMG (2003): OMG Unified Modeling Language: Superstructure, Version 2.0. - Final Adopted Specification. 
  23. Pratt V. (1986): Modelling concurrency with partial orders. - Int. J. Parallel Program., Vol. 15, No. 1, pp. 33-71. Zbl0622.68034
  24. 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 
  25. 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. 
  26. Rumbaugh J., Jacobson I. and Booch G. (2004): The Unified Modeling Language. Reference Manual, 2nd Ed. - Reading, Massachusetts: Addison Wesley. 
  27. Souza D.F.D. and Wills A.C. (1999): Objects, Components and Frameworks with UML - The Catalysis Approach. - Reading, Massachusetts: Addison-Wesley, Longman. 
  28. 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. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.