|29th IBIMA Conference
3 - 4 May 2017
The Approach to the Formal Specification of Static Structure of the System: Mapping UML to EXPRESS-G
Oksana Yu. Iliashenko, Anastasia I. Levina, Alexandra D. Borremans and Alissa Dubgorn
The models of static structure in software development process are highly important for identifying the components and subcomponents of the future system from black-box objects to specified in details. The important issue in this specification is the correct addressing to privacy and security concerns, while not all the notation are appropriate for doing it. This research paper highlights the mapping technique from UML class diagram to EXPRESS-G notation as a first step of formal specification of the static structure in EXPRESS language. The mapping technique includes the parallel between different objects of the two notations and was applied in a case study of health-care system development. The proposed approach can be applied to different Information Systems in order to determine privacy and security issues.