Abstract
The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a new language, VCL, designed to be visual, formal and modular, targeting abstract specification at level of requirements, and that aims at expressing visually what is not visually expressible using mainstream visual languages, such as UML. This paper presents and illustrates VCL’s approach to structural modelling based on the VCL notations of structural and constraint diagrams with a case study. VCL’s contributions lie in its modularity mechanisms, and the support for two alternative styles of visual constraint modelling (one closer to set theory expressions and based on Euler diagrams, the other closer to predicate calculus and based on object graphs).
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
Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science 11, 65–99 (1987)
Harel, D.: On visual formalisms. Commun. of the ACM 31(5), 514–530 (1988)
Sumner, M., Sitek, J.: Are structured methods for system analysis and design being used. J. of Systems Management 37(6), 18–23 (1986)
Anda, B., Hansen, K., Gullesen, I., Thorsen, H.K.: Experiences from introducing UML-based development in a large safety-critical project. Empirical Software Engineering 11(4), 555–581 (2006)
Amalio, 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.: Frameworks based on templates for rigorous model-driven development. ENTCS 191, 3–23 (2007)
Evans, A., France, R.B., Lano, K., Rumpe, B.: The UML as a formal modelling notation. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 336–348. Springer, Heidelberg (1999)
Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. PH (1996)
Jackson, D.: Software Abstractions: logic, language, and analysis. MIT Press, Cambridge (2006)
Cleland, G., MacKenzie, D.: Inhibiting factors, market structure and industrial uptake of formal methods. In: WIFT 1995, pp. 46–60. IEEE, Los Alamitos (1995)
Harel, D.: Biting the silver bullet: Toward a brighter future for system development. Computer 25(1), 8–20 (1992)
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
Amálio, N., Kelsen, P.: VCL, a visual language for modelling software systems formally. In: Diagrams 2010. LNCS. Springer, Heidelberg (2010)
Amálio, N., Kelsen, P.: The abstract syntax of structural VCL. Tech. Report TR-LASSY-09-02, Univ. of Luxembourg (2009), http://bit.ly/4DHWky
Amálio, N., Polack, F., Stepney, S.: An object-oriented structuring for Z based on views. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 262–278. Springer, Heidelberg (2005)
Amalio, N.: ZOO specification of VCL model describing structural aspects of simple bank case study (2010), http://bit.ly/4yBrsW
Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: a ‘cognitive dimensions’ framework. J. of Visual Languages and Computing 7(2), 131–174 (1996)
Amálio, N., Ma, Q., Glodt, C., Kelsen, P.V.: specification of the car-crash crisis management system. Tech. Report TR-LASSY-09-03, University of Luxembourg (2009), http://vcl.gforge.uni.lu/doc/vcl-cccms.pdf
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)
Kent, S.: Constraint diagrams: Visualizing invariants in object-oriented methods. In: Proc. of OOPSLA 1997, pp. 327–341. ACM Press, New York (1997)
Fish, A., Flower, J., House, J.: The semantics of augmented constraint diagrams. J. of Visual Languages and Computing 16, 541–573 (2000)
Ehrig, K., Winkelmann, J.: Model transformation from visual OCL to OCL using graph transformation. ENTCS 152, 23–37 (2006)
Giese, H., Klein, F.: Beyond story patterns: Story decision diagrams. In: Proc. of Fujaba Days 2006, pp. 2–9 (2006)
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A visualisation of OCL using collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 257–271. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amálio, N., Kelsen, P., Ma, Q. (2010). Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. In: Bider, I., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2010 2010. Lecture Notes in Business Information Processing, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13051-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-13051-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13050-2
Online ISBN: 978-3-642-13051-9
eBook Packages: Computer ScienceComputer Science (R0)