Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2006 | 16 | 1 | 155-164

Tytuł artykułu

Refinement of UML collaborations

Treść / Zawartość

Warianty tytułu

Języki publikacji

EN

Abstrakty

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

Słowa kluczowe

Rocznik

Tom

16

Numer

1

Strony

155-164

Opis fizyczny

Daty

wydano
2006
otrzymano
2005-02-24
poprawiono
2005-10-27

Twórcy

  • Institute of Applied Informatics, Wrocław University of Technology, ul. Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland
  • Institute of Applied Informatics, Wrocław University of Technology, ul. Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland
  • Institute of Applied Informatics, Wrocław University of Technology, ul. Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland

Bibliografia

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

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-amcv16i1p155bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.