«

»

Composing Multi-View Aspect Models

by Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhan Clarke
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.
Reference:
Composing Multi-View Aspect Models (Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhan Clarke), In Proceedings of the International Conference on Composition-Based Software Systems (ICCBSS), 2008.
Bibtex Entry:
@inproceedings{Barais08a,
	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.},
	Address = {Madrid, Spain},
	keywords = {MDE, composition},
	Author = {Barais, Olivier and Klein, Jacques and Baudry, Benoit and Jackson, Andrew and Clarke, Siobhan},
	Booktitle = {Proceedings of the International Conference on Composition-Based Software Systems (ICCBSS)},
	Month = feb,
	Title = {Composing Multi-View Aspect Models},
	Url = {http://www.irisa.fr/triskell/publis/2008/Barais08a.pdf},
	X-Country = {ES},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2008},
	x-abbrv = {ICCBSS},
}