Abstract
Static structure, processes and other aspect models give the details of different concerns of information system (IS). This is one of the reasons of model consistency conflicts. Consistency issue is very important for IS design, model transformation and, finally, code generation tasks. In order to improve ensuring consistency of IS model, expressed in UML, in design phase, the method of checking consistency of IS model is proposed. The method is based on rules among different aspect models and one aspect model defined for metamodel.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Berkenkötter K (2008) Reliable UML models and profiles. Electron Notes Theor Comput Sci (ENTCS) 217:203–220
Boger M, Graham E, Köster M (2006) Poseidon for UML: user guide. URL: http://cs.adelaide.edu.au/docs/PoseidonUsersGuide.pdf. 13 Apr 2011
Chen Z, Motet G (2009) A language-theoretic view on guidelines and consistency rules of UML. In: Model-driven architecture foundations and applications: LNCS 5562. Springer, Berlin, pp 66–81
Dubauskaitė R, Vasilecas O (2009a) Ensuring models consistency in the OMT, Booch, and OOSE object-oriented methods, information sciences, Lithuania, vol 50. Vilnius University Publishing House, Vilnius, pp 160–167. (CEEOL)
Dubauskaitė R, Vasilecas O (2009b) UML taisyklių modelių darnos tikrinimo galimybės, naudojant MagicDraw UML ir PowerDesigner įrankius (Checking consistency of UML models using MagicDraw UML and PowerDesigner Tools). Informatika: 12-osios Lietuvos jaunųjų mokslininkų konferencijos “Mokslas – Lietuvos ateitis” pranešimų rinkinys (Proceedings of the 12th conference of Lithuanian‘s researchers) (in press)
Egyed A (2007) Fixing inconsistencies in UML design models. In: Proceedings of the 29th international conference on software engineering (ICSE), Minneapolis, USA. IEEE Computer Society, New York, pp 292–301
IBM (2010) Rational Software Architect – what’s new in the 8.0 releases. URL: http://www.ibm.com/developerworks/wikis/display/RSA/RSA+v8+-+What%27s+new. 19 Apr 2011
IBM (2011a) Validating UML models and diagrams [disc]. In: Rational Software Architect 8.0.2 help system
IBM (2011b). Identifying validation rules for UML models [disc]. In: Rational Software Architect 8.0.2 help system
Lucas FJ, Molina F, Toval A (2009) A systematic review of UML model consistency management. Inf Softw Technol 51:1631–1645
MagicDraw (2008a). MagicDraw architecture made simple: user’s manual [disc]. In: MagicDraw UML 15.0 help system
MagicDraw (2008b) MagicDraw architecture made simple: OPEN API user’s guide [diskas]. iš MagicDraw UML 15.0 vartotojų vadovai
Miic D (2005) Authoring UML profiles using Rational Software Architect and Rational Software Modeler: technical documentation. URL: http://www.ibm.com/developerworks/rational/library/05/0906_dusko/. 19 Apr 2011
Mokhati F, Gagnon P, Badri M (2007) Verifying UML diagrams with model checking: a rewriting logic based approach. In: Proceedings of the seventh international conference on quality software, USA, pp 356–362
OMG (2007b) OMG Unified Modeling Language (OMG UML), superstructure, v2.1.2, OMG document: formal/2007-11-04. Available at http://www.omg.org/docs/formal/07-11-02.pdf. Last visit 4 Jan 2009
Pakalnickiene E, Nemuraite L (2007) Checking of conceptual models with integrity constraints. Inf Technol Control 36(3):285–294
Rozanski N, Woods E (2005) Software system architecture. Addison-Wesley, London, p 546
Shen W, Compton K, Huggins J (2002) A toolset for supporting UML static and dynamic model checking. In: Proceedings of the 26th international computer software and applications conference (COMPSAC 2002), prolonging software life: development and redevelopment, Oxford, England. IEEE Computer Society, Washington, DC, pp 147–152
Silingas D, Butleris R (2009) Towards implementing a framework modelling software requirements in MagicDraw UML. Inf Technol Control 38(2):153–164
Sybase (2008) Customizing and extending power designer [disc]. PowerDesigner 15.0: help system
Van Der Straeten R, Simmonds J, Mens T, Jonckers V (2003) Using description logic to maintain consistency between UML models. In: UML 2003: LNCS 2863. Springer, Berlin/Heidelberg, pp 326–340
Vasilecas O, Dubauskaitė R, Rupnik R (2011) Consistency checking of UML business model. Technol Econ Dev Econ 17(1):133–150
Vavpotič D, Bajec M (2009) An approach for concurrent evaluation of technical and social aspects of software development methodologies. Inf Softw Technol 51(2):528–545
VeTIS (2009) Business rules solutions for information systems development. Project reg. No. B-07042, Lithuanian State Science and Studies Foundation
Zwanziger A, Holliday C, Herden S, McMackin T (2011) Use the topology editor in Rational Software Architect to add a custom validator: tutorial. URL: http://public.dhe.ibm.com/software/dw/rational/pdf/use-the-topology-editor-in-rational-software-architect-to-add-a-custom-validator.pdf. 19 Apr 2011
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media New York
About this paper
Cite this paper
Dubauskaite, R., Vasilecas, O. (2013). Tool Support for Checking Consistency of UML Model. In: Pooley, R., Coady, J., Schneider, C., Linger, H., Barry, C., Lang, M. (eds) Information Systems Development. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-4951-5_33
Download citation
DOI: https://doi.org/10.1007/978-1-4614-4951-5_33
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-4950-8
Online ISBN: 978-1-4614-4951-5
eBook Packages: Computer ScienceComputer Science (R0)