Formal specification of object systems

Jungclaus, Ralf; Saake, Gunter

doi:10.1007/3540539816_61

Cited by 27 publications

(3 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• use of 00 formal specification languages ( Oblog [Ser87,Esd93], Troll [Jun91,Har94], Albert [Dub94], Oasis), which have a solid mathematical background and deducible formal properties such as terms of soundness and completeness.…”

Section: Introductionmentioning

confidence: 99%

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

Pastor

Insfrán

Pelechano

et al. 2013

Seminal Contributions to Information Systems Engineering

View full text Add to dashboard Cite

00-Method is an 00 Methodology that blends the use of formal specification systems with conventional 00 methodologies based on practice. In contrast to other approaches in this field ([Jun95,Esd93]), a set of graphical models provided by the methodology allows analysts to introduce the relevant system information to obtain the conceptual model through a requirements collection phase, so that an 00 formal specification in Oasis ([Pas92, Pas95-1 ]), can be generated at any time. This formal specification acts as a high-level system repository. Furthermore, a software prototype which is functionally equivalent to the Oasis specification is also generated in an automated way. This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user choice). The methodology is supported by a CASE workbench.

show abstract

Section: Introductionmentioning

confidence: 99%

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

Pastor

Insfrán

Pelechano

et al. 2013

Seminal Contributions to Information Systems Engineering

View full text Add to dashboard Cite

show abstract

“…Recent proposals are trying to create a unified framework for dealing with all the existing methods (UML [BRJ96]), with the implicit danger of providing users with an excessive set of methods that have an overlapping semantics. 9 use of OO formal specification languages ( Oblog [Ser87,Esd93], Troll [Jun91,Har94], Albert [Dub94], Oasis), which have a solid mathematical background and deducible formal properties such as terms of soundness and completeness.…”

Section: Introductionmentioning

confidence: 99%

OO-Method: An OO software production environment combining conventional and formal methods

Pastor

Insfrán

Pelechano

et al. 1997

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this field ([Jun95,Esd93]), a set of graphical models provided by the methodology allows analysts to introduce the relevant system information to obtain the conceptual model through a requirements collection phase, so that an OO formal specification in Oasis ([Pas92, Pas95-1]), can be generated at any time. This formal specification acts as a high-level system repository. Furthermore, a software prototype which is functionally equivalent to the Oasis specification is also generated in an automated way. This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user choice). The methodology is supported by a CASE workbench.

show abstract

“…A possible choice is to adopt the life cycle model [16] which defines a process as the set of possible snapshots of events. A snapshot is a set of concurrently occurring events.…”

Section: An Object-oriented Frameworkmentioning

confidence: 99%

Application modelling in heterogeneous environments using an object specification language

Saake

Jungclaus

Hartmann

[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems

View full text Add to dashboard Cite

In this paper, we propose an object-oriented logical formalism to conceptionally model applications in an interoperable environment. Such an environment consists of heterogeneous and autonomous local (database) systems. Applications in such an environment use several mourn and services. Their conceptual modelling involves re-specification of existing systems in terms of homogeneous views, modelling of behavior and system dynamics, modelling of logically d59tributed components in an open environment and the modeling of communication relationships and dependencies between components. We introduce a formal object-oriented language capable of dealing with these requirements and illustrate its use to model applications in an interoperable environment.

show abstract

Formal specification of object systems

Cited by 27 publications

References 21 publications

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

OO-Method: An OO software production environment combining conventional and formal methods

Application modelling in heterogeneous environments using an object specification language

Contact Info

Product

Resources

About