ALICE An Advanced Logic for Interactive Component Engineering (2009)
Borislav Gajanovic, Bernhard Rumpe
Abstract. This paper presents an overview of the veri cation framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
– Basic modeling tags Basic modeling concepts – Essential pattern tags Annotating 5 essential patterns – Catalog & domain-specific pattern tags – UML-F & adaptation cookbooks
Cornel Klein, Bernhard Rumpe, Manfred Broy
A stream-based mathematical model for distributed
Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel
Abstract. As modeling becomes a crucial activity in software development the question may be asked whether currently used graphical representations are the best option to model systems efficiently....
3rd International Workshop on Critical Systems Development with UML (2008)
Jan Jürjens, Eduardo B. Fern, Robert France, Bernhard Rumpe, ...
Nachdruck auch auszugsweise verboten c2004
Obstacles to the Adoption of Model-based Design within the Automotive Supply Industry (2008)
Modellbasierte Entwicklung, Tu Braunschweig, Mirko Conrad, The Mathworks, Holger Giese, Univ Paderborn, ...
umgebungen
White Paper Model-Based Software and Systems Development (2008)
Bernhard Schätz, Manfred Broy, Franz Huber, Wolfgang Prenninger, Er Pretschner, Bernhard Rumpe
The construction of reliable (embedded) software can be significantly improved using explicit model-based toolsupported development process. Research results suggest that such a process can...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
Abstract. This paper describes the WebShop e-commerce framework using a variant of UML that is specifically targeting at frameworks and product line architectures. Stereotypes and Tags are used to...
Techniques For Lightweight Generator (2008)
Abstract. This paper presents an exercise to facilitate refactoring techniques not only on generated code, but also on generator templates by reusing existing refactoring techniques from the target...
Agile modeling with the UML (2008)
This paper discusses a model-based approach to software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering...
2nd uml 2 semantics symposium: Formal semantics for uml (2008)
Manfred Broy, Michelle L. Crane, Juergen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic, ...
Abstract. The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback...
An Algebraic View on the Semantics of Model Composition (2008)
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel
Abstract. Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single...
Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel
Abstract. As modeling becomes a crucial activity in software development the question may be asked whether currently used graphical representations are the best option to model systems efficiently....
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
Abstract- This paper presents an e-commerce framework called WebShop, which was developed by the authors for the purpose of demonstrating the use of UML and the UML-F in the domain of Web...
Manfred Broy, María Victoria Cengarle, Bernhard Rumpe, Michelle Crane, Jürgen Dingel, Zinovy Diskin, ...
Alle Rechte vorbehalten Nachdruck auch auszugsweise verboten c○2006 Druck: Institut für Informatik der
System-Model-based Simulation of UML Models (2008)
María Victoria Cengarle, Juergen Dingel, Hans Grönniger, Bernhard Rumpe
Abstract. Previous work has presented our ongoing efforts to define a “reference semantics ” for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML...
Scaling The Management Of Extreme Programming Projects (2008)
XP is a code-oriented, light-weight software engineering methodology, suited merely for small-sized teams who develop software that relies on vague or rapidly changing requirements. Being very...
Â�Ò Â�ÙÖ��Ò × ��ÖÒ��Ö � ÊÙÑÔ� (2008)
Jan Jürjens, Bernhard Rumpe, Robert France, Eduardo B. Fern
Nachdruck auch auszugsweise verboten c2003
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Model for the UML Version 2.0 Informatik-Bericht 2008-06
08331 Manifesto -- Model Engineering for Complex Systems (2008)
Bézivin, Jean, Paige, Richard F., Aßmann, Uwe, Rumpe, Bernhard, Schmidt, Douglas C.
Complex systems are hard to define [1]. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommunication or...
Aßmann, Uwe, Bézivin, Jean, Paige, Richard F., Rumpe, Bernhard, Schmidt, Douglas C.
From 10.08. to 13.08.2008, the Dagstuhl Seminar 08331 ``Perspectives Workshop: Model Engineering of Complex Systems (MECS)'' was held in the International Conference and Research Center (IBFI),...
O Silva Parreiras, Jeff Z. Pan, Jakob Henriksson (eds, O Silva Parreiras, Jeff Z. Pan, Uwe Assmann, ...
The interest in integrating Ontologies and Software Engineering has gained more attention
Seventh OOPSLA Workshop on Behavioral Semantics of (2007)
Haim Kilov, Bernhard Rumpe, Ian Simmonds
Nachdruck auch auszugsweise verboten c fl1998
Object-oriented Behavioral Semantics (2007)
With An Emphasis, Haim Kilov, Merrill Lynch, Bernhard Rumpe, Ian Simmonds
ion (including selection of "appropriate refinement") has to be done by humans . Refinement invariants should include "relevant concerns" explicitly . Open systems change their...
Thomas Stauner, Thomas Stauner, Bernhard Rumpe, Bernhard Rumpe, ...
In this paper we provide a mathematical characterization of systems, that contain analog components, as well as strongly time depended control components and rather time independent information...
Thomas Stauner, Thomas Stauner, Bernhard Rumpe, ...
Nachdruck auch auszugsweise verboten c1999 Druck: Institut für Informatik der
Haim Kilov, Merrill Lynch, Bernhard Rumpe, Ian Simmonds
quality, written by 43 authors, quite a few new and consolidated ideas could be presented and discussed. Names and affiliations of the participants physically present at the workshop are included at...
Copyright © 1998 Society of Automotive Engineers, Inc. (2007)
This paper presents an object-oriented method customized for a tool-assisted development of car software components. Tough market conditions motivate smart software development. ASCET SD is a tool to...
Enhancing the SysLab System (2007)
Radu Grosu, Radu Grosu, Cornel Klein, ...
TUM-I9631 1 This paper originated in the SysLab project, which is supported by the DFG under the Leibnizpreis and by Siemens-Nixdorf In this report, the SysLab system model is complemented in di...
Stepwise Re nement of Data Flow Architectures (2007)
Software and hardware architectures are prone to modi cations. We demonstrate how a mathematically founded re nement calculus for a class of architectures, namely data ow networks, can be used to...
Towards Development of Correct Software using Views (2007)
This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we...
analogy to reorganization processes (2007)
Carsten Jacobi, Bernhard Rumpe
Improving XP for large scale projects in
Online auctions are among the most influential e-business applications. Their impact on trading for businesses, as well as consumers, is both remarkable and inevitable. There have been considerable...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
Abstract. The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the...
Over the last few years, there has been a growing recognition that the worlds of Formal Methods and the CASE tool supported modelling techniques must come together to provide Software Engineers with...
Thomas Stauner, Thomas Stauner, Bernhard Rumpe, Bernhard Rumpe, Peter Scholz, ...
Nachdruck auch auszugsweise verboten c fl1999
Putting Components to Work (2007)
Franz Huber, Franz Huber, Andreas Rausch, Andreas Rausch, Bernhard Rumpe, ...
Nachdruck auch auszugsweise verboten c fl1998
Barbara Paech, Bernhard Rumpe (2007)
This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we...
Online Auctions (lessons learned from strategic E-business consulting) (2007)
Online auctions are among the most influential e-business applications.
Second ECOOP Workshop on (2007)
Precise Behavioral Semantics, Haim Kilov, Bernhard Rumpe
not representing on the observable universe, though possibly derived from it) or Real World (based on the observable universe and representing a subset of it). A Well Formed model has an internally...
Second ECOOP Workshop on (2007)
Precise Behavioral Semantics, Haim Kilov, Bernhard Rumpe
not representing on the observable universe, though possibly derived from it) or Real World (based on the observable universe and representing a subset of it). A Well Formed model has an internally...
Retrofitting Security into a Web-based Information Sy stem (2007)
This paper reports on an incremental method that allows adding security mechanisms to an existing, but insecure system, such as a prototype or a legacy system. The incremental method is presented and...
At M Unchen, Klaus Bergner, Klaus Bergner, Bernhard Rumpe, ...
Nachdruck auch auszugsweise verboten
Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications (2007)
Haim Kilov, Merrill Lynch, Bernhard Rumpe, Ian Simmonds
accepted papers of high quality, written by 41 authors, quite a few new and consolidated ideas were presented and discussed. As in previous years some prominent guests visited and actively...
Re nement of Pipe-and-Filter Architectures (2007)
www4.in.tum.de/~fphilipps,rumpeg Abstract. Software and hardware architectures are prone to modi cations. We demonstrate how a mathematically founded powerful re nement calculus for a class of...
The First Two, Keywords Etc, Andy Evans, Andy Evans, Robert France, Kevin Lano, ...
The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily provides a...
07451 Summary -- Model-Based Engineering of Embedded Real-Time Systems (2007)
Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard
Today, embedded software plays a central role in most advanced technical systems such as airplanes, cell phones, and cars, and has become the main driver for innovation. Development, evolution,...
07451 Abstracts Collection -- Model-Based Engineering of Embedded Real-Time Systems (2007)
Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard
From 04.11. to 09.11.2007, the Dagstuhl Seminar 07451 ``Model-Based Engineering of Embedded Real-Time Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl....
Roles in Software Development using Domain Specific Modelling Languages (2006)
Holger Krahn, Bernhard Rumpe, Steven Völkel
Domain-specific modelling languages (DSMLs) successfully separate the conceptual and technical design of a software system by modelling requirements in the DSML and adding technical elements by...
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland (2006)
Broy, Manfred, Jarke, Matthias, Nagl, Manfred, Rombach, Hans Dieter, Cremers, Armin B., Ebert, Jürgen, ...
Im Rahmen des Dagstuhl Perspektiven Workshop 05402 "Challenges for Software Engineering Research" haben führende Software Engineering Professoren den derzeitigen Stand der Softwaretechnik in...
Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005 (2005)
Klein, Torsten, Rumpe, Bernhard, Schätz, Bernhard
Die modellbasierte Entwicklung eingebetteter, softwarebasierter Systeme beruht auf der anwendungsorientierten Modellierung der zu realisierenden Systeme sowohl unter Nutzung von Standardsprachen, wie...
Motivated by the confusion surrounding the proper definition of complex modeling languages, especially the UML, we discuss the distinction between syntax and true semantics, and the nature and...
Model-based Testing of Object-Oriented Systems (2003)
This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the...
Hoogendoorn: Aspect-Oriented Framework Modeling (2003)
Aspects and aspect-oriented programming have gained much attention in recent years, but the focus was limited to the programming part of software development, especially detailed design and...
Hoogendoorn: Aspect-Oriented Framework Modeling (2003)
Aspects and aspect-oriented programming have gained much attention in recent years, but the focus was limited to the programming part of software development, especially detailed design and...
Introducing Security Mechanisms after Initial Development: the RAC Case Study (2003)
Bernhard Rumpe, Bernhard Rumpe, ...
This technical report describes an incremental method that allows to add security mechanisms to an existing, but insecure system, such as a prototype or a legacy system. The incremental method is...
Gerd Beneken, Ulrike Hammerschall, Manfred Broy, María Victoria, Cengarle Jan, Jürjens Alexander Pretschner, ...
Components and component-based technologies (componentware) are well-known and widely used in software development. There is a large amount of work and research in componentware. The number of...
Bridging the Gap between IEEE 1471, Architecture Description Languages and UML (2002)
Kandé, Mohamed Mancona, Crettaz, Valentin, Strohmeier, Alfred, Sendall, Shane, France, Robert, Rumpe, Bernhard
B.: Product Line Annotations with UML-F (2002)
Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe
Abstract. The Unified Modeling Language (UML) community has started to define so-called profiles in order to better suit the needs of specific domains or settings. Product lines 1 represent a special...
Quantitative Survey on Extreme Programming Projects (2002)
Bernhard Rumpe, Astrid Schröder
In recent years the Extreme Programming (XP) community has grown substantially. Many XP projects have started and a substantial amount are already finished. As the interest in the XP approach is...
Product Line Annotations with UML-F (2002)
Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe
The Unified Modeling Language (UML) community has started to define so-called profiles in order to better suit the needs of specific domains or settings. Product lines represent a special breed of...
Product Line Annotations with UML-F (2002)
Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe
The Unified Modeling Language (UML) community has started to define so-called profiles in order to better suit the needs of specific domains or settings. Product lines represent a special breed of...
Product line annotations with UML-F (2002)
Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe
www.UML-F.net
www.in.tum.de/~fphilipps,rumpeg Refactoring is a new name for a transformational approach to iterative software development. Originally focused on class diagrams, it is now commonly associated with...
www.in.tum.de/~{philipps,rumpe} Refactoring is a new name for a transformational approach to iterative software development. Originally focused on class diagrams, it is now commonly associated with...
Modeling languages: Syntax, semantics and all that stuff - part I: The basic stuff (2000)
The motivation for this paper, the rst in a planned series of three parts, is the multitude of concepts surrounding the proper de nition of complex modeling languages for systems and software, and...
UML-F: A Modeling Language for Object-Oriented Frameworks (2000)
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
Abstract. The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the...
UML-F: A Modeling Language for Object-Oriented Frameworks (2000)
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
. The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit...
UML-F: A Modeling Language for (2000)
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks.
Limitations of Agile Software Processes (2000)
Dan Turk Robert, Robert France, Bernhard Rumpe
Software developers and project managers are struggling to assess the appropriateness of agile processes to their development environments. This paper identifies limitations that apply to many of the...
UML-F: A Modeling Language for Object-Oriented Frameworks (2000)
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
Abstract. The paper presents the essential features of a new member of the UML language family especially useful for working with object-oriented frameworks. This UML extension, called UML-F, allows...
UML-F: A Modeling Language for Object-Oriented Frameworks (2000)
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
Abstract. The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the...
Meta-Modelling Semantics of UML (1999)
Andy Evans, Robert France, Andy Evans, Kevin Lano, Kevin Lano, Bernhard Rumpe, ...
: --------- The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily...
Defining UML Family Members Using Prefaces (1999)
Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Alan Cameron Wills
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the...
Refinement of Pipe-and-Filter Architectures (1999)
. Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe and filter...
Defining UML Family Members Using Prefaces (1999)
Steve Cook Ibm, Steve Cook, Richard Mitchell, Bernhard Rumpe, Alan Cameron Wills
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the...
The Amsterdam Manifesto on OCL (1999)
Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills, ...
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to...
Thomas Stauner, Thomas Stauner, Bernhard Rumpe, ...
In this paper we provide a mathematical characterization of systems, that contain analog components, as well as strongly time depended control components and rather time independent information...
The Amsterdam manifesto on OCL (1999)
Steve Cook, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills, Klasse Objecten, ...
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to...
Software and system modeling based on a unified formal semantics (1998)
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as...
The UML as a Formal Modeling Notation (1998)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
Abstract. The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully explored...
Systems, views and models of UML (1998)
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given by a mathematical...
Systems, views and models of UML (1998)
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given by a mathematical...
The UML as a Formal Modeling Notation (1998)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
Abstract. The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative thattheUMLneedsawell-de ned, fully explored...
Haim Kilov, Merrill Lynch, Bernhard Rumpe, Ian Simmonds
ion (including selection of "appropriate refinement") has to be done by humans . Refinement invariants should include "relevant concerns" explicitly . Open systems change their...
Systems, Views and Models of UML (1998)
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
In this paper we show by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. The mathematical foundation is given by a mathematical...
Modeling Dynamic Component Interfaces (1998)
Franz Huber, Andreas Rausch, Bernhard Rumpe
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changing set of connected...
Software and System Modeling Based on a Unified Formal Semantics (1998)
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
. Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques...
BMW-ROOM - An Object-Oriented Method for ASCET (1998)
Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe
This paper presents an object-oriented method customized for a tool-assisted development of car software components. Tough market conditions motivate smart software development. ASCET SD is a tool to...
ions are also applicable throughout the whole development . Composition exists not only for things but also for operations, events, etc. and often means a higher level of abstraction (Composition is...
Component interface diagrams: Putting components to work (1998)
Franz Huber, Franz Huber, ...
this paper, we present Component Interface Diagrams as a notation to describe service access points (interfaces) of components, their structure, and their navigability. Wegive guidelines that allow...
Refining Business Processes (1998)
Bernhard Rumpe, Veronika Thurner
In this paper, we present a calculus for refinement of business process models, based on a precise definition of business processes and process nets. Business process models are a vital concept for...
PSMT - ICSE 98 Workshop on Precise Semantics for Software Modeling Techniques (1998)
Manfred Broy, Derek Coleman, Bernhard Rumpe, Tu Munchen, Tu Munchen
INTRODUCTION Over the last few years, it is being more and more often recognized that the worlds of Formal Methods and the CASE tool supported modelling techniques must come together to provide...
With An Emphasis, Bernhard Rumpe
This note clarifies the concept of syntax and semantics and their relationships.
Refining Business Processes (1998)
Bernhard Rumpe, Veronika Thurner
In this paper, we present a calculus for refinement of business process models, based on a precise definition of business processes and process nets. Business process models are a vital concept for...
Exemplary and Complete Object Interaction Descriptions (1998)
Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Bernhard Rumpe, ...
Integrated Definition of Abstract and Concrete Syntax for Textual Languages (1998)
Holger Krahn, Bernhard Rumpe, Steven Völkel
Abstract. An understandable concrete syntax and a comprehensible abstract syntax are two central aspects of defining a modeling language. Both representations of a language significantly overlap in...
Modeling Dynamic Component Interfaces (1998)
Franz Huber, Andreas Rausch, Bernhard Rumpe
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changing set of connected...
Towards a formalization of the uni ed modeling language (1997)
Ruth Breu, Ruth Breu, Ursula Hinkel, ...
Nachdruck auch auszugsweise verboten c1997 Druck: Institut für Informatik der
Towards a precise semantics for object-oriented modeling techniques (1997)
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
Abstract In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techniques used...
Feature Specification and Refinement with State Transition Diagrams (1997)
Cornel Klein, Christian Prehofer, Bernhard Rumpe
In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application to the feature interaction problem. Using a stream-based formal...
Towards a precise semantics for object-oriented modeling techniques (1997)
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
In this paper, we present a possible way how a precise semantics of objectoriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techniques used...
State based service description (1997)
In this paper we propose I=O-state transition diagrams for service description. In contrast to other techniques like for example Statecharts we allow to model non-atomic services by sequences of...
Towards a Precise Semantics for Object-Oriented Modeling Techniques (1997)
Ruth Breu Radu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible benefits are. We outline the main modeling techniques used in the...
Towards Development of Correct Software using Views (1997)
This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we...
Feature Specification and Refinement with State Transition Diagrams (1997)
Cornel Klein, Christian Prehofer, Bernhard Rumpe
In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application to the feature interaction problem. Using a stream-based formal...
The UML as a Formal Modeling Notation (1997)
Andy Evans Robert, Kevin Lano, Bernhard Rumpe
. The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored...
Towards a Precise Semantics for Object-Oriented Modeling Techniques (1997)
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
this paper, we present a possible way how a precise semantics of objectoriented
Towards a Formalization of the Unified Modeling Language (1997)
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, ...
The Unified Modeling Language UML is a language for specifying, visualizing and documenting object-oriented systems. UML combines the concepts of OOA/OOD, OMT and OOSE and is intended as a standard...
Refinement of Information Flow Architectures (1997)
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations between input and...
Stepwise Refinement of Data Flow Architectures (1997)
Jan Philipps Bernhard, Bernhard Rumpe
Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded refinement calculus for a class of architectures, namely data flow networks, can be used to...
Towards a Formalization of the Unified Modeling Language (1997)
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, ...
. The Unified Modeling Language UML is a language for specifying, visualizing and documenting object-oriented systems. UML combines the concepts of OOA/OOD, OMT and OOSE and is intended as a standard...
Exemplary and Complete Object Interaction Descriptions (1997)
Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, ...
this paper, we present a variant of message sequence charts called Extended Event Traces (EETs). We provide the graphical and the textual notation, discuss the methodological use of EETs to describe...
Exemplary and Complete Object Interaction Descriptions (1997)
Ruth Breu Radu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Kruger, Bernhard Rumpe, ...
this paper, we present a variant of message sequence diagrams called
Exemplary and Complete Object Interaction Descriptions (1997)
Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, ...
In this paper, we present a variant of message sequence diagrams called EETs (Extended Event Traces). We provide the graphical notation, discuss the methodological use of EETs to describe behavior of...
The UML as a Formal Modeling Notation (1997)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
. The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored...
Stepwise Refinement of Data Flow Architectures (1997)
Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded refinement calculus for a class of architectures, namely data flow networks, can be used to...
Towards a formalization of the unified modeling language (1997)
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, ...
The Unified Modeling Language UML is a language for specifying, visualizing and documenting object-oriented systems. UML combines the concepts of OOA/OOD, OMT and OOSE and is intended as a standard...
Automata Describing Object Behavior (1996)
Relating formal refinement techniques with commercial objectoriented software development methods is important to achieve enhancement of the power and flexibility of these software development...
State Transition Diagrams (1996)
Radu Grosu, Radu Grosu, Cornel Klein, Cornel Klein, Bernhard Rumpe, ...
In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous time-independent...
Enhancing the SYSLAB System Model with State (1996)
At M Unchen, Radu Grosu, Radu Grosu, Cornel Klein, ...
In this report, the SysLab system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational...
State Based Service Description (1996)
In this paper we propose I=O -state transition diagrams for service description. In contrast to other techniques like for example Statecharts we allow to model non-atomic services by sequences of...
Automata Describing Object Behavior (1996)
Relating formal refinement techniques with commercial objectoriented software development methods is importanttoachieve enhancement of the power and flexibility of these software development methods-...
Cornel Klein, Bernhard Rumpe, Manfred Broy
In the SysLab-project, we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their...
State Transition Diagrams (1996)
Radu Grosu, Radu Grosu, Cornel Klein, ...
In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous...
Concurrent timed port automata (1995)
Radu Grosu, Radu Grosu, Bernhard Rumpe, ...
TUM-INFO-10-1995-I9533-350/1.-FI
Concurrent Timed Port Automata (1995)
Radu Grosu, Radu Grosu, Bernhard Rumpe, Bernhard Rumpe
We present a new and powerful class of automata which are explicitly concurrent and allow a very simple definition of composition. The novelty of these automata is their time-synchronous...
A new Concept of Refinement used for Behaviour Modelling with Automata (1994)
. This paper introduces a new approach of using automata to model behaviour of objects. Automata allow to design a software model on the abstract level of states and transitions. We make precise the...