Stefan Mann

Publications (7) View all

• Conference Proceeding: Control variant-rich models by variability measures.

  Stefan Mann, Georg Rock
  Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. Proceedings; 01/2011
• Conference Proceeding: A Custom Approach for Variability Management in Automotive Applications.

  Fabian Kliemannel, Georg Rock, Stefan Mann
  Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings; 01/2010
• Conference Proceeding: Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines: Specification and Analysis Methods

  Stefan Mann, Georg Rock
  embedded world Conference 2009, Nuremberg, German; 03/2009
• Article: On Formal Semantics and Integration of Object-Oriented Modeling Languages.

  Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
  Bulletin of the EATCS. 01/2000; 70:77-81.
• Source

  Available from: psu.edu

  Article: A Metamodel for Object-Oriented Statecharts

  A Metamodel, Object-oriented Statecharts, Stefan Mann, Marcus Klar
  [show abstract] [hide abstract]
  ABSTRACT: 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 Object-Z as a metalanguage. We are considering abstract syntax and static semantics in order to define the concepts of models and the constraints between different models. The behavior of the models is determined by its dynamic semantics. Especially for behavioral models like statecharts or interaction diagrams, the dynamic semantics is very important. Using Object-Z we have one single metalanguage defined independently from the UML for all three aspects (abstract syntax, static semantics and dynamic semantics). Using this approach we define object-oriented statecharts as proposed by Harel and Gery [12] and used in the UML. Object-oriented statecharts are used for the specification of the complete behavior of classes. The abstract syntax and the static semantics define the structure of sta...
  10/1999;