Skip to main content
SpringerLink
Log in
Book cover

International Conference on Theory and Application of Diagrams

Diagrams 2010: Diagrammatic Representation and Inference pp 282–284Cite as

VCL, a Visual Language for Modelling Software Systems Formally

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6170))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Amálio, N.: Generative frameworks for rigorous model-driven development. Ph.D. thesis, Dept. Computer Science, Univ. of York (2007)

    Google Scholar 

  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), http://bit.ly/9c5YwQ

  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. 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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. University of Luxembourg, 6, r. Coudenhove-Kalergi, L-1359, Luxembourg

    Nuno Amálio & Pierre Kelsen

Authors
  1. Nuno Amálio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierre Kelsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Interactive Computing, Design & Intelligence Laboratory, Georgia Institute of Technology,, 85 Fifth Street, NW 30308, Atlanta, GA, USA

    Ashok K. Goel

  2. Computer Laboratory, University of Cambridge, JJ Thomson Avenue, CB3 0FD, Cambridge, UK

    Mateja Jamnik

  3. Department of Computer Science & Software Engineering, Auburn University, 345 W. Magnolia Street, 36849-5347, Auburn, AL, USA

    N. Hari Narayanan

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Amálio, N., Kelsen, P. (2010). VCL, a Visual Language for Modelling Software Systems Formally. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds) Diagrammatic Representation and Inference. Diagrams 2010. Lecture Notes in Computer Science(), vol 6170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14600-8_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14600-8_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14599-5

  • Online ISBN: 978-3-642-14600-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation