Defining well-formedness constraints with OCL

Normantas, Kęstutis; Vasilecas, Olegas; Sosunovas, Sergejus

Use this URL to cite this publication: https://hdl.handle.net/20.500.14911/124816

Defining well-formedness constraints with OCL

Details

Publication Type (CRIS)

Straipsnis konferencijos medžiagoje Web of Science duomenų bazėje / Article in conference proceedings in Web of Science database (P1a1)

Publication Type (eLABa)

Straipsnis konferencijos darbų leidinyje Web of Science DB / Article in conference proceedings Web of Science DB (P1a)

Author(s)

Author	Affiliation
Normantas, Kęstutis	Informacinių sistemų katedra / Department of Information Systems (1046)
Vasilecas, Olegas	Informacinių sistemų katedra / Department of Information Systems (1046)
Sosunovas, Sergejus	Taikomosios informatikos institutas / Institute of Applied Computer Science (1056)

Title

Defining well-formedness constraints with OCL

[en]

Kęstutis Normantas, Olegas Vasilecas, Sergejus Sosunovas

Is part of

Information technologies'2009 : proceedings of the 15th international conference on Information and Software Technologies, IT 2009. Kaunas, Lithuania, April 23-24, 2009 / Kaunas University of Technology

Published In

Year	Start Page	End Page
2009	355	364

Publisher

Kaunas : Technologija

Referenced in Database(s)(DBs)

Conference Proceedings Citation Index - Science (Web of Science)

Extent

p. 355-364

URI

URI	Access Rights
https://hdl.handle.net/20.500.14911/124816
Straipsnis	Viso teksto dokumentas (atviroji prieiga) / Full Text Document (Open Access)

Cited references

Science / Art Area

Technologijos mokslai / Technological sciences (T)

Field of Science / Art

Informatikos inžinerija / Informatics engineering (T007)

Keywords (en)

Abstract (en)

Metamodel well-formedness takes very important place in Model-Driven Architecture (MDA). Object-Role Modeling (ORM) as candidate to MDA computation independent level standard should be well-formed and compliant to MDA standards. In this paper we present formal specification of ORM well-formedness rules expressed on OCL as well as method for implementation it in MDA based modelling tool. Formal specification is implemented in prototype tool thus showing feasibility of proposed method.