Reference : Using VCL as an Aspect-Oriented Approach to Requirements Modelling

	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/5681

Title :	Using VCL as an Aspect-Oriented Approach to Requirements Modelling
Language :	English
Author, co-author :	Amalio, Nuno [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Kelsen, Pierre [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Ma, Qin [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Glodt, Christian [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2010
Journal title :	Transactions on Aspect-Oriented Software Development
Publisher :	Springer
Volume :	7
Pages :	151-199
Peer reviewed :	Yes
ISSN :	1864-3027
e-ISSN :	1864-3035
Keywords :	[en] modularity ; separation of concerns ; aspect-oriented modelling ; design by contract ; VCL
Abstract :	[en] Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of scalability, complexity and evolution in software systems development. Aspect-oriented modelling (AOM) applies aspect-orientation to the construction of models. Most existing AOM approaches are designed without a formal semantics, and use multi-view partial descriptions of behaviour. This paper presents an AOM approach based on the Visual Contract Language (VCL): a visual language for abstract and precise modelling, designed with a formal semantics, and comprising a novel approach to visual behavioural modelling based on design by contract where behavioural descriptions are total. By applying VCL to a large case study of a car-crash crisis management system, the paper demonstrates how modularity of VCL's constructs, at different levels of granularity, help to tackle complexity. In particular, it shows how VCL's package construct and its associated composition mechanisms are key in supporting separation of concerns, coarse-grained problem decomposition and aspect-orientation. The case study's modelling solution has a clear and well-defined modular structure; the backbone of this structure is a collection of packages encapsulating local solutions to concerns.
Permalink :	http://hdl.handle.net/10993/5681
DOI :	10.1007/978-3-642-16086-8_5

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access 10.1007_978-3-642-16086-8_5.pdf Publisher postprint 2.27 MB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map