VCL, a Visual Language for Modelling Software Systems Formally

  • Nuno Amálio
  • Pierre Kelsen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6170)


This paper overviews design of VCL, a new visual language for abstract specification of software systems at level of requirements. VCL is designed to be visual, formal and modular, and aims at expressing precisely structural and behavioural properties of software systems. Novelty of VCL design lies in its emphasis on modularity.


formal modelling visual languages modularity 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Amálio, N.: Generative frameworks for rigorous model-driven development. Ph.D. thesis, Dept. Computer Science, Univ. of York (2007)Google Scholar
  2. 2.
    Amálio, N., Kelsen, P., Ma, Q.: The visual contract language: abstract modelling of software systems visually, formally and modularly. Tech. Report TR-LASSY-10-03, Univ. of Luxembourg (2010),
  3. 3.
    Amálio, N., Kelsen, P., Ma, Q.: Specifying structural properties and their constraints formally, visually and modularly using VCL. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) EMMSAD 2010. LNBIP, vol. 50, pp. 261–273. Springer, Heidelberg (2010)Google Scholar
  4. 4.
    Amálio, N., Polack, F., Stepney, S.: An object-oriented structuring for Z based on views. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 262–278. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Amálio, N., Kelsen, P., Ma, Q., Glodt, C.: Using VCL as an aspect-oriented approach to requirements modelling. Transactions on Aspect Oriented Software Development 7 (to appear 2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Nuno Amálio
    • 1
  • Pierre Kelsen
    • 1
  1. 1.University of LuxembourgLuxembourg

Personalised recommendations