DocumentCode :
3145409
Title :
Composing Multi-view Aspect Models
Author :
Barais, Olivier ; Klein, Jacques ; Baudry, Benoit ; Jackson, Andrew ; Clarke, Siobhan
Author_Institution :
Univ. of Rennes 1, Rennes
fYear :
2008
fDate :
25-29 Feb. 2008
Firstpage :
43
Lastpage :
52
Abstract :
Large models for complex systems can be decomposed in separate pieces corresponding to different perspectives on the system. This decomposition allows the modeller to check properties locally on some aspects of the system before considering the global complexity of the model. In this paper we consider two types of decomposition: according to the concerns identified in the requirements and according to structural and behavioural perspectives. Once the separate models are available and have been checked separately, they have to be composed to check global properties. In this work, we propose automatic composition operators for symmetric and asymmetric concern models, each concern being modelled from a structural and behavioural point of view.
Keywords :
object-oriented programming; program verification; specification languages; automatic composition operators; behavioural perspectives; complex systems; model-driven engineering; multi-view aspect models; structural perspectives; Computer science; Context modeling; Educational institutions; Merging; Model driven engineering; Object oriented modeling; Packaging; Software systems; Unified modeling language; Weaving;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Composition-Based Software Systems, 2008. ICCBSS 2008. Seventh International Conference on
Conference_Location :
Madrid
Print_ISBN :
978-0-7695-3091-8
Type :
conf
DOI :
10.1109/ICCBSS.2008.12
Filename :
4464008
Link To Document :
بازگشت