(Dagstuhl Seminar Organizer Authors) (2009)
Rogério De Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, ...
Software’s ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
Today, complex, networked, self-adaptive mechatronic systems which integrate advanced control engineering and software engineering concepts within a single software system are envisioned. These...
A query language with the star operator (2009)
Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres, Karsten Ehrig, Holger Giese, Johan Lindqvist, ...
Abstract: Model pattern matching is an important operation in model transformation and therefore in model-driven development tools. In this paper we present a pattern based approach that includes a...
Efficient model synchronization of large-scale models (2009)
Giese, Holger, Hildebrandt, Stephan
Model-driven software development requires techniques to consistently propagate modifications between different related models to realize its full potential. For large-scale models, efficiency is...
Becker, Basil, Giese, Holger, Neumann, Stefan, System Analysis And Modeling Group
Service-oriented modeling employs collaborations to capture the coordination of multiple roles in form of service contracts. In case of dynamic collaborations the roles may join and leave the...
The Role of Models in Self-adaptive and Self-healing Systems (2009)
Happe, Jens, Koziolek, Heiko, Bellur, Umesh, Giese, Holger, Hasselbring, Wilhelm, Laddaga, Robert, ...
Self-healing and self-adaptive systems dynamically react on changes in the environment. They enable software systems to adjust to new conditions and work optimally even in unstable environments....
SHARED EXPERIENCES IN INTELLIGENT TRANSPORTATION SYSTEMS (2008)
Wilhelm Dangelmaier, Holger Giese, Florian Klein, Hendrik Renken, Peter Scheideler
Abstract: In this paper, a scheme is outlined within which the autonomous vehicles in an intelligent transportation system exchange information about their environment. Benefiting from each other’s...
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM’04) (2008)
This third workshop in the SCESM (SCEnarios and State Machines) series is motivated by the very successful preceding workshops on this topic. This effort started
Holger Giese, Tihamér Levendovszky, Holger Giese, Tihamér Levendovszky (eds, Holger Giese, Tihamér Levendovszky, ...
Michael von der Beeck
Algorithms, Design, Management (2008)
Sven Burmester, Matthias Gehrke, Holger Giese
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the worst-case into...
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
Towards Modular Modeling and Simulation of Production Control Systems (2008)
Holger Giese, Ulrich A. Nickel
Abstract: To enable the fast transition to new product variants a modern production plant has to employ flexible manufacturing systems which can be adopted to new requirements. Modeling and...
Modular Verification of Safe Online-Reconfiguration for Proactive Components (2008)
Abstract. While traditionally the environment considered by an autonomous mechatronic systems only consists of the measurable, surrounding physical world, today advanced mechatronic systems also...
Ensuring Containment Constraints in Graph-based Model Transformation Approaches Abstract: (2008)
Christian Köhler, Holger Lewin, Gabriele Taentzer, Karsten Ehrig, Holger Giese, Tiziana Margaria, ...
Within model driven software development, model transformation has become a key activity. A number of transformation approaches for metamodel-defined modeling languages have been developed in the...
Design, Languages, Verification (2008)
Holger Giese, Sven Burmester, Wilhelm Schäfer
The development of complex mechatronic systems requires a careful and ideally verifiable design. In addition, engineers from different disciplines, namely mechanical, electrical and software...
A survey of approaches for the visual model-driven development of next generation software-intensive systems
ABSTRACT Reconciling Scenario-Centered Controller Design with State-Based System Models ∗ (2008)
Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner
Scenarios are an effective means for defining the expected behavior of a system during the design and implementation phase. The ‘Come Let’s Play ’ approach has demonstrated that scenarios can...
Today component-based distributed systems and integration of beforehand isolated information system solutions is one focus of IT industry activities. Such projects are often characterized by an...
Matthias Gehrke, Holger Giese, Ulrich A. Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, ...
How do you organize an “industrial strength”, one semester educational programming project for up to 200 second year students? This paper reports on four years of experience with such projects at...
ABSTRACT Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation ∗ (2008)
Basil Becker, Dirk Beyer, Holger Giese
The next generation of networked mechatronic systems will be characterized by complex coordination and structural adaptation at run-time. Crucial safety properties have to be guaranteed for all...
Holger Giese, Albert Zündorf (eds, Holger Giese, Albert Zündorf (ed, Prof Dr, Albert Zündorf, ...
Editors ' preface Fujaba is an Open Source UML CASE tool project started at the software engineering group of Paderborn University in 1997. In 2002 Fujaba has been redesigned and became the...
Object Coordination Nets (2008)
Guido Wirtz, Holger Giese, Jörg Graf
Due to hardware developments, strong application needs and the overwhelming influence of the net in almost all areas, distributed systems, especially software systems, have become one of the most...
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008)
Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio, Andersson, Jesper, ...
Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems (2008)
Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio
From 13.01. to 18.01.2008, the Dagstuhl Seminar 08031 ``Software Engineering for Self-Adaptive Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During...
Nets Coordination Object (2007)
Due to hardware developments, strong application needs and the overwhelming influence of the net in almost all areas, distributed systems, especially software systems, have become one of the most...
Providing CSP-like Functionality in a Helios Environment (2007)
Peter Böckmann, Holger Giese, Guido Wirtz, The Helios
Programming really complex and flexible parallel process systems in the Helios environment forces the programmer to work on the error-prone and complicated low level of socket communication. We have...
Software Engineering Education: The Synergy of Combined Research and Teaching (2007)
Matthias Gehrke, Holger Giese, Ekkart Kindler, Jörg Niere, Wilhelm Schäfer, Jörg P. Wadsack, ...
Teaching software engineering is a sumptuous task. In particular, practical software engineering courses require a lot of experienced teaching staff, who are, as a result, kept away from research...
Nets Coordination Object (2007)
Holger Giese, Jorg Graf, Guido Wirtz, Bericht Nr. I
Due to hardware developments, strong application needs and the overwhelming influence of the net in almost all areas, distributed systems, especially software systems, have become one of the most...
Nets Coordination Object (2007)
Holger Giese, Jorg Graf, Guido Wirtz, Bericht Nr. I
Due to hardware developments, strong application needs and the overwhelming influence of the net in almost all areas, distributed systems, especially software systems, have become one of the most...
Nets Coordination Object (2007)
Guido Wirtz, Holger Giese, Jorg Graf, Bericht Nr. I
Due to hardware developments, strong application needs and the overwhelming influence of the net in almost all areas, distributed systems, especially software systems, have become one of the most...
Due to hardware developments, strong application needs and the overwhelming influence of the net in almost all areas, distributed systems, especially software systems, have become one of the most...
Object Coordination Nets 3.0 Semantics Specifcation (2007)
Bericht Nr. I, Holger Giese, Holger Giese
Coordination
Object Coordination Nets 3.0 Synchronization Behavior Typing for Contracts (2007)
Bericht Nr. I, Holger Giese, Holger Giese
Coordination
ABSTRACT Towards the Compositional Verification of Real-Time UML Designs ∗ (2007)
Holger Giese, Matthias Tichy, Wilhelm Schäfer
Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this...
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....
Towards Verified Model Transformations (2006)
Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, Robert Wagner
Abstract. Model-driven software development (MDD) is seen as a promising approach to improve software quality and reduce production costs significantly. However, one of the problems in using MDD...
Incremental Model Synchronization with Triple Graph Grammars (2006)
Abstract. The advent of model-driven software development has put model transformations into focus. In practice, model transformations are expected to be applicable in different stages of a...
Educators ' Symposium of the (2005)
Holger Giese, Pascal Roques (eds
Model-driven development approaches and technologies for software-based systems, in which development is centered round the manipulation of models, raise the level of abstraction and thus, improve...
Educators ' Symposium of the (2005)
Holger Giese, Pascal Roques (eds
Model-driven development approaches and technologies for software-based systems, in which development is centered round the manipulation of models, raise the level of abstraction and thus, improve...
Workshop on Visual Modeling for Software Intensive Systems (2005)
Holger Giese, Ingolf H. Krüger
Visual modeling techniques play an important role in the design and understanding of complex,
Component Templates for Dependable Real-Time Systems (2004)
Matthias Tichy, Basil Becker, Holger Giese
A general trend towards more complex technical systems can be observed which results in an increasing demand for methods and tools to develop dependable, high quality software for embedded systems....
Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (2003)
Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy
Abstract. One of the concepts proposed for controlling and optimizing the complex mechatronic systems that will emerge when mechatronic components formerly operating in isolation become...
Tool integration at the meta-model level within the fujaba tool suite (2003)
Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Lothar Wendehals
Current initiatives in the field of integrated development environment (IDE) and CASE tool integration such as Eclipse as well as the lately happened acquisitions of Rational and Together by major...
Towards the Compositional Verification of Real-Time UML Designs (2003)
Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake, Wilhelm Schaefer
checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem for the...
Seamless UML Support for Service-based Software Architectures (2003)
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model described by class diagrams...
Towards the Compositional Verification of Real-Time UML Designs (2003)
Holger Giese, Daniela Schilling, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake
Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this...
Towards data dependency detection in web information systems (2002)
Jörg P. Wadsack, Jörg Niere, Holger Giese, Jens H. Jahnke
Abstract. Over the last decade globalisation has taken place and in parallel, the World Wide Web has broadly been adopted for electronic data interchange within and among corporate organizations....
U.: Integrating Verification in a Design Process for Distributed Production Control Systems (2002)
Holger Giese, Martin Kardos, Ulrich Nickel
The specification of software for distributed production control systems is an error prone task. The ISILEIT project aims at the development of a seamless methodology for integrated design, analysis...
Reengineering for Evolution of Distributed Information Systems (2001)
schema integration, application integration, internet access 1
Holger Giese, Bericht Nr. I, Holger Giese, Holger Giese
The entire documentation for the Object Coordination Nets approach version 3.0 is separated into three distinct technical reports that provide the three necessary dimensions identified for the...
Object Coordination Nets 3.0: Synchronization Behavior Typing for Contracts (2001)
The entire documentation for the Object Coordination Nets approach version 3.0 is separated into three distinct technical reports that provide the three necessary dimensions identified for the...
Holger Giese, Bericht Nr. I, Holger Giese, Holger Giese
The entire documentation for the Object Coordination Nets approach version 3.0 is separated into three distinct technical reports that provide the three necessary dimensions identified for the...
A Jini-supported Distributed Version and Con (2001)
Guration Management System, Matthias Gehrke, Holger Giese, Matthias Tichy
The permanently growing world-wide network infrastructure enables more exible distributed software development. Version and con guration management systems are the state of the art support for...
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling (2000)
Abstract. The problems of todays software engineering for complex distributed software systems with control as well as data processing aspects are manifold. Besides the general problem of software...
Vilbig: Towards Aspect-oriented Design and Architecture (2000)
Abstract. This paper proposes a novel technique for aspectoriented design and architecture of component-based software systems. It separates design into domain-oriented, possibly nonorthogonal...
Early Evaluation of Design Options for Distributed Systems (2000)
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of abstraction. An object-oriented design technique based on UML notations and a...
Visual Modeling of Object-oriented Distributed Systems (2000)
Software engineering for distributed systems is a notoriously hard problem. While common approaches for structural modeling like object-oriented analysis and design offer several benefits, their...
Contract-based Component System Design (2000)
Component technology tries to solve many problems of todays software industry practice: the productivity and produced quality should be increased and a better infrastructure for maintenance of the...
Contract-based Component System Design (2000)
Due to hardware developments, strong application needs and the overwhelming influence of the net in almost all areas, distributed systems, especially software systems, have become one of the most...
Early Evaluation of Design Options for Distributed Systems (2000)
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of abstraction. An object-oriented design technique based on UML notations and a...
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling (2000)
Abstract. The problems of todays software engineering for complex distributed software systems with control as well as data processing aspects are manifold. Besides the general problem of software...
Contract-based Coordination of Distributed Object Systems (1999)
Holger Giese, Jorg Graf, Guido Wirtz
Abstract For distributed object or component systems based on CORBA or DCOM, a suitable software architecture and a strong separation of modules is necessary. Our object coordination net approach...
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (1999)
Holger Giese, Jorg Graf, Guido Wirtz
Abstract. The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the...
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems (1999)
Holger Giese, Jorg Graf, Guido Wirtz
To ease the development of distributed systems, the visual notions for the structural aspects of object-oriented analysis and design should be combined with techniques handling concurrency and...
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (1999)
Holger Giese, Jörg Graf, Guido Wirtz
Abstract. The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the...
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems (1999)
Holger Giese, Jörg Graf, Guido Wirtz
To ease the development of distributed systems, the visual notions for the structural aspects of object-oriented analysis and design should be combined with techniques handling concurrency and...
Modeling Distributed Software Systems with Object Coordination Nets (1998)
Holger Giese, Jorg Graf, Guido Wirtz
A dedicated approach for the design and development of distributed software systems is outlined. The method may be used in combination with any standard object-oriented analysis and design method as...
A Real Object-Oriented Visual Design Language for Distributed Software Systems (1998)
Guido Wirtz, Holger Giese, Jörg Graf
State-of-the-art object-oriented analysis and design combined with techniques handling concurrency and distribution on the design level ease the development of distributed systems. A novel approach...
Modeling Distributed Software Systems with Object Coordination Nets (1998)
Holger Giese, Jörg Graf, Guido Wirtz
A dedicated approach for the design and development of distributed software systems is outlined. The method may be used in combination with any standard objectoriented analysis and design method as...
Modular development of correct MEANDER programs (1997)
Abstract We describe the modular development of correct parallel software with the Meander system from high-level specifications down to a concrete implementation, based on a communicating algebra...
Ruling the Behavior of Distributed Software Components (1997)
Guido Wirtz, Jörg Graf, Holger Giese
A new approach to support the development of distributed software systems is outlined. As far as static aspects are concerned, standard object-oriented design methods are used. Dynamic aspects like...