Koncepcja architektury sterowanej regułami spójności modeli (CMDA) na przykładzie systemu e-IRZ dla ARiMR

• Autorzy: Stanisław Jerzy Niepostyn

Warianty tytułu

Consistency Model Driven Architecture - the consistency rules of UML models in software architecture

• Języki publikacji: PL

Abstrakty

Utworzenie jednego, prostego i zrozumiałego diagramu opisującego wszystkie aspekty projektowanego oprogramowania nie jest możliwe. Właściwym rozwiązaniem okazało się przedstawienie architektury oprogramowania za pomocą powiązanych modeli opisujących wybrane aspekty systemu informatycznego. Przedstawianie tego samego systemu z różnych perspektyw może jednak prowadzić do powstania niespójności pomiędzy modelami. Do budowy modeli opisujących oprogramowanie przyjęto powszechne stosowanie języka UML (Unified Modeling Language). Z użyciem UML za pomocą różnorodnych diagramów można opisać system informatyczny z różnych perspektyw. Semantyka UML jest opisana w języku naturalnym i nie zawiera cech języka formalnego, co znacznie ogranicza możliwości kontroli spójności i kompletności diagramów UML, jak również opisu całego systemu informatycznego zawartego w tych diagramach. Uzyskanie takiej spójności opisu wymaga kontroli spójności modeli przedstawionych na diagramach UML. Powyższe braki standardu UML powodują (fragment tekstu)

EN

The CMDA concept supports the design of an IT system from a top level abstract context model diagram towards implementable models that enable us to generate target software based on rules of consistency between the elements of specific models. The design regime presented leads to the derivation of a set of chosen and consistent models that fully and completely describes the software architecture. The CMDA concept has already been positively validated in several industry projects, among others, for example, the design of the Animals Identification and Registration System (e-IRZ), and the Business Process Management platform, both for the Agency for Restructuring and Modernisation of Agriculture. (original abstract)

Słowa kluczowe

PL

Projektowanie systemów informatycznych; Systemy informatyczne; Język UML; Oprogramowanie

EN

Information system design; Computer system; Unified Modeling Language (UML); Software

• Czasopismo: Roczniki Kolegium Analiz Ekonomicznych / Szkoła Główna Handlowa
• Rocznik: 2016
• Numer: nr 42
• Strony: 155--167

Twórcy

autor

Stanisław Jerzy Niepostyn

• Politechnika Warszawska

Bibliografia

• Berardi D., Cali A., Calvanese D., Di Giacomo G., Reasoning on UML class diagrams, "Artificial Intelligence Journal" 2005, vol. 168, issue 1, October, s. 70-118.
• Chanda J., Kanjilal A., Sengupta S., Bhattacharya S., Traceability of Requirements and Consistency Verification of UML UseCase, Activity and Class diagram: A Formal Approach, International Conference on Methods and Models in Computer Science, 2009.
• Egyed A. F., Heterogeneous View Integration and its Automation, PhD diss. in University of Southern California, 2000.
• Gero J. S., Design prototypes: a knowledge representation schema for design, "AI Magazine" 1990, vol. 11 (4), s. 26-36.
• Ha I., Kang B., Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram, "Lecture Notes of Computer Science" 2008, vol. 5326, s. 436-443.
• Hausmann J., Heckel R., Taentzer G., Detection of Conflicting Functional Requirementsn a Use Case-Driven Approach, Proceedings of International Conference on Software Engineering, 2002.
• Ibrahim N., Ibrahim R., Saringat M. Z., Mansor D., Herawan T., Use case driven based rules in ensuring consistency of UML model, "AWERProcedia Information Technology & Computer Science" 2012, vol. 1, s. 1485-1491.
• Jurack S., Lambers L., Mehner K., Taentzer G., Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams, Model Driven Engineering Languages and Systems, "Lecture Notes in Computer Science" 2008, vol. 5301, s. 341-355.
• Kruchten P., Architectural Blueprints - The "4+1" View Model of Software Architecture, "IEEE Software" 1995, vol. 12 (6), November, s. 42-50.
• Sapna P. G., Mohanty H., Ensuring Consistency in Relational Repository of UML Models, 10th International Conference on Information Technology, 2007.
• Spanoudakis G., Zisman A., Inconsistency management in software engineering: survey and open research issues, w: Handbook of Software Engineering and Knowledge Engineering, red. S. K. Chang, World Scientific Publishing Co., Singapore 2001, s. 329-380.
• http://www.arimr.gov.pl/o-arimr/przetargi/przetargi/artykuly/dzp-2618-12015.html (data odczytu: 22.11.2015).
• http://www.omg.org (data odczytu: 22.11.2015).