Spójność modeli komputerowych w inżynierii oprogramowania i inżynierii biznesu : modele UML

• Autorzy: Kaczmarczyk, A. , Kacprzak, M.

Warianty tytułu

EN

Consistency of computer models in softwere and business engineering : UML models

• Języki publikacji: PL

Abstrakty

PL

W artykule są omawiane różne aspekty spójności modeli wyrażonych w języku UML, w szczególności w zastosowaniu do modelowo-zorientowanej inżynierii oprogramowania: rodzaje niespójności, źródła, sposoby badania oraz używane formalizmy i narzędzia, formułowanie reguł spójności. Zapowiedziany jest komplementarny artykuł o spójności modeli IDEF używanych w inżynierii biznesu.

EN

In the article of reviewing character, different aspects of consistency of models expressed in the UML language, particularly applied in model-driven software engineering are discussed: inconsistency kinds, sources, ways of examination with formalisms and tools used, consistency rules formulation. Complementary article on consistency of IDEF models used in business engineering is announced.

Słowa kluczowe

PL

spójność modeli komputerowych; inżynieria oprogramowania; inżynieria biznesu; język UML

EN

consistency of computer models; software engineering; business engineering; UML language

• Czasopismo: Elektronika : konstrukcje, technologie, zastosowania
• Rocznik: 2008
• Tom: Vol. 49, nr 9
• Strony: 149-153
• Opis fizyczny: Bibliogr. 42 poz., tab.

Twórcy

autor

Kaczmarczyk, A.

autor

Kacprzak, M.

• Instytut Maszyn Matematycznych, Warszawa

Bibliografia

• [1] MDA Guide Version 1.0.1 Document Number: omg/2003-06-01; http://www.omq.org/mda/
• [2] UML Version 2.1.2 November 2007; http://www.omq.org/spec/UML/2.1.2/
• [3] UML 2002 International Conference. Workshop on Consistency Problems in UML-based Software Development.
• [4] UML 2003 International Conference. Workshop on Consistency Problems in UML-based Software Development II. San Francisco, USA, October 20, 2003.
• [5] UML 2004 International Conference. Third International Workshop, Consistency Problems in UML-based Software Development III - Understanding and Usage of Dependency Relationships. Lisbon, Portugal, October 11, 2004.
• [6] Kostrzewa M.: Exploration and Refinement of the UML Dependency Concepts. International UML Workshop, 2004.
• [7] Malgouyres H., Motet G.: A UML Model Consistency Verification Approach Based on Metamodeling Formalization. Proceedings of the 2006 ACM symposium on Applied computing 2006, Dijon, France.
• [8] Malgouyres H. et al.: UML 2.0 Consistency Rules, March 2005. http://www.lesia.insa-toulouse.fr/UML.
• [9] Breu R. et al.: Towards a Formalization of the Unified Modeling Language. Proceedings of ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyvaskyla, Finland, June 1997.
• [10] Sourrouille J. L., Caplat G.: A Pragmatic View on Consistency Checking of UML Models. International UML Workshop, 2003.
• [11] OMG Unified Modeling Language Specification. March 2003 Version 1.5.
• [12] Bodeveix J-P. et al.: Extending OCL for veryfying UML models consistency. International UML Workshop, 2002.
• [13] ISO/IEC. Information Processing Systems - Open Systems Interconnection: LOTOS, a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS 8807, February 1989.
• [14] Spivey J.M.: The Z Notation: A Reference Manuał, Prentice Hali International (UK) Ltd, 1992.
• [15] ISO/IEC 13568 Information technology - Z formal specification notation - Syntax, type system and semantics. First edition 2002-07-01.
• [16] ISO 10746-1 to 4/ ODP Reference Model Part I to IV 1994.
• [17] ITU Z. 109: SDL Combined with UML, 1999.
• [18] ITU Z. 100: Specification and Description Language (SDL), 2000.
• [19] Booch G. et al.: The Unified Software Development Process, Addison Wesley Professional, 1999.
• [20] Hoare C. A. R.: Communicating Sequential Processes. Prentice Hali International, 1985.
• [21] Abrial J. R.: The B Book-Assigning Programs to Meanings, 1996.
• [22] Baader F. et al.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
• [23] Bruel J. M. et al..: Defining Precise Semantics for UML. ECOOP 2000 Workshop.
• [24] Hnatkowska B., Walkowiak A.: Consistency Checking of USDP Models. International UML Workshop, 2004.
• [25] Zhiming Liu et al.: Consistency and Refinement of UML Models UML 2.0. International UML Workshop, 2004.
• [26] Gomaa H., Wijesekera D.: Consistency in Multiple-View UML Models: A Case Study. International UML Workshop, 2003.
• [27] Bhaduri P., Venkatesh R.: Formal Consistency of Models in Multi View Modelling. International UML Workshop, 2002.
• [28] Lano K., Clark D., Androutsopoulos K.: Formalising Inter-model Consistency of the UML. International UML Workshop, 2002.
• [29] Choi Y., Bunse Ch.: Behavioral Consistency Checking for Component-based Software Development Using the KobrA Approach. International UML Workshop, 2004.
• [30] Wirsing M.: Algebraic Specifications. In J. Van Leeuwen J., ed.: Handbook of Theoret. Comput. Sci., volume B. Elsevier, 1990.
• [31] Astesiano E. et al. (ed): IFIP WG 1.3 Book on Algebraic Foundations of System specification. Springer Verlag, 1999.
• [32] Rasch H., Wehrheim H.: Consistency between UML Classes and Associated State Machines. International UML Workshop, 2002.
• [33] Haesen R., Snoeck M.: Implementing Consistency Management Techniques for Conceptual Modeling. International UML Workshop, 2004.
• [34] Walkowiak A.: Models consistency in USDP methodology. Master Thesis, Wrocław University of Technology, Computer Science and Management Faculty, July 2004.
• [35] Sourrouille J. L., Caplat G.: Checking UML Model Consistency. International UML Workshop, 2002.
• [36] Marcano R., Levy N.: Using B formal specifications for analysis and verification of UML/OCL models. International UML Workshop, 2002.
• [37] WenQian Liu et al.: Rule based detection of inconsistency in UML models. International UML Workshop, 2002.
• [38] Nentwich Ch. et al.: Checking Distributed Software Engineering Content. Department of Computer Science, University College London. 2001. http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/xlinkituml.pdf
• [39] Gryce C. et al.: Lightweight Checking for UML Based Software Development. International UML Workshop, 2002.
• [40] Wagner R. et al.: A Plug-In for Flexible and Incremental Consistency Management. International UML Workshop, 2003.
• [41] Holzmann G. J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Publishing Company, 2003.
• [42] Ammour S. et al.: lmproving Pattern Support in UML CASE Tools. International UML Workshop, 2004.