VDM++, a formal specification language for object-oriented designs

Dürr, Eugène; Katwijk, J. van

doi:10.1109/cmpeur.1992.218511

Cited by 41 publications

(14 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are several formal languages based on object-oriented styles, among which Object-Z [2,3], VDM ++ [15,16] and UML-B [17][18][19] are very often mentioned in the literature. VDM ++ extends VDM [20] by offering classes, objects and inheritance and provides, as an additional feature, a formalism to specify the allowed invocation sequence of methods [14].…”

Section: Comparison Of Object-oriented Specification Formalismsmentioning

confidence: 99%

An approach to animate Object-Z specifications using C++

Najafi

Haghighi

2012

Scientia Iranica

View full text Add to dashboard Cite

Object-Z is an extension of the Z notation which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of contributions have been made so far to map Object-Z to various object-oriented languages. However, the given mapping approaches do not cover several Object-Z specification constructs, such as class union, object aggregation, object containment and some of the operation operators. Also, in much of the existing work, mapping rules are given in a very abstract form. In other words, they do not consider all cases in a detailed way needed to automate the mapping procedure. In our previous work, we partially tackled these issues; however, in this paper, we present a much more comprehensive way to animate Object-Z specifications using C++. The given method covers some constructs that have not been addressed in our previous work. Also, mapping rules are described with enough details facilitating automation. Finally, we consider some level of user interaction in our new method which increases the flexibility and efficiency of final codes from the user point of view.

show abstract

Section: Comparison Of Object-oriented Specification Formalismsmentioning

confidence: 99%

An approach to animate Object-Z specifications using C++

Najafi

Haghighi

2012

Scientia Iranica

View full text Add to dashboard Cite

show abstract

“…To overcome the lack of formality in the area of objectoriented systems modeling, different proposals were made to formalize the underlying concepts including OOZE [2], Object-Z [8], VDM++ [11], and others. Major drawbacks of such approaches are that usually no graphical representation is given and modeling of concurrent systems as well as simulation is not supported.…”

Section: Introductionmentioning

confidence: 99%

Visual Programming of Concurrent Object-Oriented Systems

Philippi

2001

Journal of Visual Languages & Computing

View full text Add to dashboard Cite

“…The target systems cannot be defined precisely and implementations cannot be validated and verified in the absence of a supporting formal framework. On the other hand, a number of formal object-oriented specification languages [7,8,9,10,11] have been developed, independently of the popular methodologies. Practitioners are, however, rather reluctant to use these formal tools since unfamiliar languages are involved [12,13].…”

Section: Introductionmentioning

confidence: 99%

NOODLE++: a 3-dimensional Net-based Object-Oriented Development Model 1

Tse

Cheng

1996

Electronic Workshops in Computing

View full text Add to dashboard Cite

Object-oriented analysis and design methodologies are considered as the most popular software development methods for the 1990s. A common drawback, however, is that they have been developed informally. There is no theoretical framework enabling us to define precisely the object-oriented concepts involved, to solve concurrency problems, and to verify the correctness of the implementation. We propose a 3-dimensional net structure behind object-oriented software development. This structure consolidates the concepts of classes, inheritance, overloading and message passing through a single model. Inheritance and overloading can be unified with message passing in a 3-dimensional representation, but are physically differentiable by occupying the vertical and horizontal planes, respectively, of the model. Furthermore, the formal model can be mapped to various object-oriented analysis and design notations. The theoretical framework can thus be adopted for systems validation and verification for existing methodologies. The liveness and consistencies of objects can be verified, and inheritance and interaction coupling can be identified and checked.

show abstract

VDM++, a formal specification language for object-oriented designs

Cited by 41 publications

References 5 publications

An approach to animate Object-Z specifications using C++

An approach to animate Object-Z specifications using C++

Visual Programming of Concurrent Object-Oriented Systems

NOODLE++: a 3-dimensional Net-based Object-Oriented Development Model 1

Contact Info

Product

Resources

About