Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM 15(12), 1053–1058 (1972)
France, R., Ray, I., Ghosh, S.: Aspect-oriented approach to early design modelling. IEE Proc. Softw. 151(4), 173–185 (2004)
Amálio, N., Kelsen, P., Ma, Q.: Specifying structural properties and their constraints formally, visually and modularly using VCL. In: EMMSAD 2010. LNBIP, vol. 50, Springer, Heidelberg (1977)
Amálio, N., Kelsen, P.: VCL, a visual language for modelling software systems formally. In: Jamnik, M. (ed.) Diagrams 2010. LNCS (LNAI), vol. 6170, pp. 282–284. Springer, Heidelberg (2010)
Amálio, N., Kelsen, P., Ma, Q.: The visual contract language: abstract modelling of software systems visually, formally and modularly. Technical Report TR-LASSY-10-03, LASSY, Univ. of Luxembourg (2010), http://vcl.gforge.uni.lu/doc/vcl-tech-rep.pdf
Meyer, B.: Applying design by contract. Computer 25(10), 40–51 (1992)
Spivey, J.M.: The Z notation: A reference manual. Prentice-Hall, Englewood Cliffs (1992)
Amálio, N., Polack, F., Stepney, S.: An object-oriented structuring for Z based on views. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 262–278. Springer, Heidelberg (2005)
Amálio, N.: Generative frameworks for rigorous model-driven development. Ph.D. thesis, Dept. Computer Science, Univ. of York (2007)
Amálio, N., Polack, F., Stepney, S.: UML+Z: Augmenting UML with Z. In: Abrias, H., Frappier, M. (eds.) Software Specification Methods. ISTE (2006)
Amálio, N., Polack, F., Stepney, S.: Frameworks based on templates for rigorous model-driven development. ENTCS 191, 3–23 (2007)
Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis management systems: a case study for aspect-oriented modeling. Transactions on Aspect-Oriented Software Development 7, 1–22 (2010)
Larman, C.: Applying UML and patterns. Prentice-Hall, Englewood Cliffs (2002)
Amálio, N., Ma, Q., Glodt, C., Kelsen, P.: VCL specification of the car-crash crisis management system. Technical Report TR-LASSY-09-03, LASSY, Univ. of Luxembourg (2009), http://vcl.gforge.uni.lu/doc/vcl-cccms.pdf
Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer 29(2) (1996)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of reusable object-oriented software. Addison-Wesley, Reading (1994)
Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Sciece 11, 65–99 (1987)
Amálio, N., Stepney, S., Polack, F.: Formal proof from UML models. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 418–433. Springer, Heidelberg (2004)
Wilke Havings, I.N.L.B., Aksit, M.: A graph-based approach to modeling and detecting composition conflicts related to introductions. In: AOSD 2007, pp. 85–95. ACM Press, New York (2007)
D’Souza, D., Wills, A.C.: Objects, Components and Frameworks with UML: the Catalysis approach. Addison-Wesley, Reading (1998)
Lohmann, M., Sauer, S., Engels, G.: Executable visual contracts. In: IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 63–70 (2005)
Engels, G., Lohmann, M., Sauer, S., Heckel, R.: Model-driven monitoring: an application of graph transformation for design by contract. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 336–350. Springer, Heidelberg (2006)
Heckel, R., Lohmann, M.: Model-driven development of reactive information systems: from graph transformation rules to JML contracts. International Journal on Software Tools for Technology Transfer 9(2), 193–207 (2007)
Ehrig, K., Winkelmann, J.: Model transformation from visual OCL to OCL using graph transformation. ENTCS 152, 23–37 (2006)
Fish, A., Flowe, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing 16, 541–573 (2005)
Howse, J., Schuman, S., Stapleton, G.: Diagrammatic formal specification of a configuration control platform. ENTCS 259, 87–104 (2009)
Reddy, R., Ghosh, S., France, R., Straw, G., Bieman, J.M., et al.: Directives for composing aspect-oriented design class models. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, pp. 75–105. Springer, Heidelberg (2006)
Whittle, J., Araújo, J.: Scenario modelling with aspects. IEE Proc. Softw. 151(4), 157–171 (2004)
Kienzle, J., Abed, W.A., Klein, J.: Aspect-oriented multi-view modelling. In: AOSD 2009, IEEE, Los Alamitos (2009)
McNeile, A., Simons, N.: Protocol modelling: a modelling approach that supports reusable behavioural abstractions. Software and Systems Modelling 5(1), 91–107 (2006)
McNeile, A., Roubtsova, E.: CSP parallel composition of aspect models. In: AOM 2008, ACM Press, New York (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Amálio, N., Kelsen, P., Ma, Q., Glodt, C. (2010). Using VCL as an Aspect-Oriented Approach to Requirements Modelling. In: Katz, S., Mezini, M., Kienzle, J. (eds) Transactions on Aspect-Oriented Software Development VII. Lecture Notes in Computer Science, vol 6210. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16086-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-16086-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16085-1
Online ISBN: 978-3-642-16086-8
eBook Packages: Computer ScienceComputer Science (R0)