Simmonds, J.: Consistency maintenance of UML models with description logics. Unified Modeling Language specification version 1.5. MacGregor, R.: Inside the loom description classifier. Grundy, J.C., Hosking, J.G., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. 6th International Conference on the Unified Modeling Language (2003) Gorp, P.V., Stenten, H., Mens, T., Demeyer, S.: A UML extension for automating source-consistent design improvements based on refactoring contracts. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Languages and Systems. Addison-Wesley, Reading (1999)įradet, P., Le Métayer, D., Périn, M.: Consistency checking for multiple view software architectures. Springer, Heidelberg (1993)įowler, M.: Refactoring: Improving the Design of Existing Programs. In: European Software Engineering Conference. Springer, Heidelberg (2002)įinkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. In: Jézéquel, J.-M., Hussmann, H., Cook, S. Springer, Heidelberg (2001)Įngels, G., Heckel, R., Küster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA, USA (June 2002)Įngels, G., Heckel, R., Küster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. 77–86 (2000)Įngels, G., Hausmann, J., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. (eds.) ETAPS 2000 workshop on graph transformation systems, March 2000, pp. of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development, PMD 2001 (2001)Įhrig, H., Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. (eds.) Consistency Problems in UML-based Software Development, Workshop UML 2002, Technical Report (2002)Ĭalí, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Kuzniarz, L., Reggio, G., Sourrouille, J., Huzar, Z. Journal of Object-Oriented Programming, JOOP (2001)īodeveix, J.-P., Millan, T., Percebois, C., Camus, C.L., Bazes, P., Ferraud, L.: Extending OCL for verifying UML model consistency. Cambridge University Press, Cambridge (2003)īëzivin, J., Ploquin, N.: Tooling the MDA framework: a new software maintenance and evolution scheme proposal. 5th Workshop Models, Environments and Tools for Requirements Engineering (MENHIR), Universidad de Granada, Spain (2000)īaader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. This process is experimental and the keywords may be updated as the learning algorithm improves.Īlemán, J., Toval, A., Hoyos, J.: Rigorously transforming UML class diagrams. These keywords were added by machine and not by the authors. By means of a number of concrete experiments in Loom, we show the feasibility of using this formalism for the purpose of maintaining consistency between (evolving) UML models. DL has the important property of being a decidable fragment of first-order predicate logic. To achieve the detection and resolution of consistency conflicts, the use of description logic (DL) is presented. To solve this problem, an extension of the UML metamodel enabling support for consistency maintenance and a classification of inconsistency problems is proposed. State-of-the-art UML CASE tools provide poor support for consistency maintenance. Moreover, through evolution those diagrams get modified leading to possible inconsistency between different versions of the diagrams. There is an inherent need to preserve consistency between these diagrams. A software design is often modelled as a collection of UML diagrams.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |