Reference : Composing Multi-View Aspect Models
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3908
Composing Multi-View Aspect Models
English
Barais, Olivier [> >]
Klein, Jacques mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Baudry, Benoit [> >]
Jackson, Andrew [> >]
Clarke, Siobhan [> >]
2008
Abstract book of 7th IEEE International Conference on Composition Based Software Systems
IEEE
Yes
International
7th IEEE International Conference on Composition Based Software Systems
2008
Madrid
Spain
[en] 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.
http://hdl.handle.net/10993/3908

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Barais-ICCBS08-FinalVersion.pdfPublisher postprint431.41 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.