Integrating Z with Dynamic Modeling Techniques for the Speci cation of Reactive Systems (2008)
Robert Bussow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
Abstract. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, SZ, integrates Z's power to describe data...
Robert Bussow Robert, Robert Bussow, Robert Geisler, Robert Geisler, Wolfgang Grieskamp, Wolfgang Grieskamp, ...
This is the reference manual for the ¯SZ specification notation. ¯SZ is a combination of statecharts and Z for the specification of safety-critical control systems. It combines statecharts '...
Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems (2007)
Robert Büssow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, #SZ, integrates Z's power to describe data and...
Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems (2007)
Robert Büssow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, ¯SZ, integrates Z's power to describe data and...
Robert Bussow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
Abstract. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, SZ, integrates Z's power to describe data...
A semantical framework for the integration of object oriented modeling languages / (1999)
Berlin, Techn. University, Diss., 1999.
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (1998)
Robert Büssow, Robert Geisler, Marcus Klar
In this paper weintroduce a formal approach for the specification of safety-critical embedded systems. The specification formalisms Z and statecharts are integrated under a suitable structural model....
A Metamodel for Object-Oriented Statecharts (1998)
A Metamodel, Object-oriented Statecharts, Stefan Mann, Stefan Mann, Marcus Klar, Marcus Klar
In this paper we present an approach for the definition of object-oriented modeling languages using a metamodel. In order to achieve a precise semantics we are using the formal specification language...
Dimensions and Dichotomy in Metamodeling (1998)
Robert Geisler, Robert Geisler, Marcus Klar, Marcus Klar, Claudia Pons, Claudia Pons
ion A metamodel is a model for the information that can be expressed during (software) modeling. Basically, a metamodel is a model of models. It consists of entities defining the model elements and...
Precise UML Semantics Through Formal Metamodeling (1998)
Robert Geisler, Marcus Klar, Stefan Mann
Syntax : An abstract description of the entities that form a model of the respective language. ffl Static Semantics (context conditions, constraints) : Well-formedness conditions between the...
The µSZ Notation - Version 1.0 (1997)
Robert Büssow, Robert Bussow, Robert Geisler, Robert Geisler, Wolfgang Grieskamp, Wolfgang Grieskamp, ...
This is the reference manual for the ¯SZ specification notation. ¯SZ is a combination of statecharts and Z for the specification of safety-critical control systems. It combines statecharts '...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
The µSZ Notation - Version 1.0 (1997)
Robert Büssow, Robert Bussow, Robert Geisler, Robert Geisler, Wolfgang Grieskamp, Wolfgang Grieskamp, ...
This is the reference manual for the #SZ speci#cation notation. #SZ is a combination of statecharts and Z for the speci#cation of safety-critical control systems. It combines statecharts '...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig Robert, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
Proving Safety Properties of a Hydraulic Press with InterACT (1996)
InterACT [GK95, KGC95, GKC96] is an interactive theorem and completeness prover for algebraic specifications. A specification of a safety critical system, a hydraulic press, is developed and...