Modular Design by Contract Visually and Formally Using VCL

Amálio, Nuno; Kelsen, Pierre

doi:10.1109/vlhcc.2010.39

Cited by 10 publications

(11 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The investigation is in the context of Z [24], a formal modelling language based on typed set theory and predicate calculus, with a mature refinement theory [24,11]. The work is part of ZOO, the OO style for Z presented in [6,2], that is the semantic domain of the UML + Z framework [2,7] and the Visual Contract Language (VCL) for graphical modelling of software designs [3,4,5]. This paper's main contributions are three relaxations to facilitate use of rigorous behavioural inheritance in OO design, which are a result of a careful examination of mainstream OO inheritance in a Z data refinement setting using ZOO.…”

Section: Introductionmentioning

confidence: 99%

Relaxing Behavioural Inheritance

Amálio

2013

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Object-oriented (OO) inheritance allows the definition of families of classes in a hierarchical way. In behavioural inheritance, a strong version, it should be possible to substitute an object of a subclass for an object of its superclass without any observable effect on the system. Behavioural inheritance is related to formal refinement, but, as observed in the literature, the refinement constraints are too restrictive, ruling out many useful OO subclassings. This paper studies behavioural inheritance in the context of ZOO, an object-oriented style for Z. To overcome refinement's restrictions, this paper proposes relaxations to the behavioural inheritance refinement rules. The work is presented for Z, but the results are applicable to any OO language that supports design-by-contract.

show abstract

Section: Introductionmentioning

confidence: 99%

Relaxing Behavioural Inheritance

Amálio

2013

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Resources: [62], [63], [64] Visual Contract Language (VCL) VCL is a language to model software designs visually and formally based on set theory and design-by-contract (pre/post-conditions), while abstracting away several implementation details. Resources: [65], [66], [67], [68] The above modeling approaches cover all software development phases from early requirements to implementation and to a limited extend also integration and deployment as shown in Figure 1. The modeling approaches are applicable to the software development activities of specification/modeling, validation, verification, evolution, analysis, and trade-off analysis as depicted in Figure 1.…”

Section: Modeling Approachesmentioning

confidence: 99%

Assessing composition in modeling approaches

Mussbacher

Alam

Alhaj

et al. 2012

Proceedings of the CMA 2012 Workshop

View full text Add to dashboard Cite

Modeling approaches are based on various paradigms, e.g., aspect-oriented, feature-oriented, object-oriented, and logic-based. Modeling approaches may cover requirements models to lowlevel design models, are developed for various purposes, use various means of composition, and thus are difficult to compare. However, such comparisons are critical to help practitioners know under which conditions approaches are most applicable, and how they might be successfully generalized and combined to achieve end-to-end methods. This paper reports on work done at the 2 nd International Comparing Modeling Approaches (CMA) workshop towards the goal of identifying potential comprehensive modeling methodologies with a particular emphasis on composition: (i) an improved set of comparison criteria; (ii) 19 assessments of modeling approaches based on the comparison criteria and a common, focused case study.

show abstract

“…• The visual contract language (VCL) [6]. To perform the comparison, a simple BPMN2 scenario was devised (Fig.…”

Section: Inclusion and Selection Criteriamentioning

confidence: 99%

Suitability of visual modelling languages for modelling tangible user interface applications

Tobias¹,

Ras²,

Amálio

2012

2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

View full text Add to dashboard Cite

Abstract-This paper compares the suitability of visual modelling languages for describing tangible user interface (TUI) applications. After gathering different approaches, we have selected three languages for our comparative study: the visual object constraint language (VOCL), augmented constraint diagrams (ACD), and the visual contract language (VCL). A weighted evaluation based on multiple quality criteria led to the conclusion that VCL is best suited to model TUI applications.

show abstract

Modular Design by Contract Visually and Formally Using VCL

Cited by 10 publications

References 18 publications

Relaxing Behavioural Inheritance

Relaxing Behavioural Inheritance

Assessing composition in modeling approaches

Suitability of visual modelling languages for modelling tangible user interface applications

Contact Info

Product

Resources

About