Title :
Realistic validation of specification for modeling language using Alloy
Author :
Kogai, Kei ; Ueda, Yuzuru
Author_Institution :
Dept. of Electron. & Comput. Eng., Ibaraki Nat. Coll. of Technol., Hitachi, Japan
Abstract :
Authors suggest a resolution to validate metamodels using a formal description language and analyzer Alloy. A MDA meta-hierarchy divides a model into three layers. Therefore this approach is able to validate partial models using Alloy. Validating partial models reduce execution time. For an example of realistic validation, this paper shows application to the specification of an information control system modeling language and results of the validations for the specification.
Keywords :
formal specification; software architecture; specification languages; Alloy; MDA meta-hierarchy; information control system; model driven architecture; modeling language; modeling language specification; Abstracts; Analytical models; Computational modeling; Computers; Control systems; Metals; Proposals; MDA; meta-hierarchy; metamodel;
Conference_Titel :
Computer Aided System Engineering (APCASE), 2014 Asia-Pacific Conference on
Conference_Location :
South Kuta
Print_ISBN :
978-1-4799-4570-2
DOI :
10.1109/APCASE.2014.6924482
