@inproceedings{8376, author = {{Förster, Alexander and Engels, Gregor}}, booktitle = {{Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)}}, pages = {{62--73}}, publisher = {{Springer}}, title = {{{Quality Ensuring Development of Software Processes}}}, volume = {{2786}}, year = {{2003}}, } @inproceedings{7896, author = {{Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}}, booktitle = {{Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)}}, pages = {{13--18}}, publisher = {{IEEE Computer Society}}, title = {{{Process-Oriented, Consistent Integration of Software Components}}}, doi = {{http://dx.doi.org/10.1109/CMPSAC.2002.1044527}}, year = {{2002}}, } @inproceedings{7897, author = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk}}, booktitle = {{Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}}, pages = {{212--226}}, publisher = {{Springer}}, title = {{{Consistency-Preserving Model Evolution through Transformations}}}, volume = {{2460}}, year = {{2002}}, } @inproceedings{7898, author = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}}, booktitle = {{Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}}, number = {{4}}, pages = {{2--22}}, publisher = {{IOS Press}}, title = {{{Consistent Interaction Of Software Components}}}, volume = {{6}}, year = {{2002}}, } @inproceedings{7899, author = {{Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}}, booktitle = {{Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}}, title = {{{Testing the Consistency of Dynamic UML Diagrams}}}, year = {{2002}}, } @article{7387, abstract = {{Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of componentbased systems derived from those models.}}, author = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}}, journal = {{Transactions of the SDPS: Journal of Integrated Design & Process Science}}, number = {{4}}, pages = {{2--22}}, title = {{{Consistent Interaction of Software Components}}}, volume = {{6}}, year = {{2002}}, } @article{7389, abstract = {{Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe, um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur Distribution der entwickelten Materialien vor.}}, author = {{Doberkat, Ernst-Erich and Engels, Gregor}}, journal = {{Informatik Forschung und Entwicklung}}, number = {{17}}, pages = {{41--44}}, title = {{{MuSofT - Multimedia in der Softwaretechnik}}}, volume = {{1}}, year = {{2002}}, } @inbook{7525, abstract = {{The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.}}, author = {{Engels, Gregor and Groenewegen, Luuk}}, booktitle = {{Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}}, pages = {{257--276}}, publisher = {{Springer}}, title = {{{Towards Team-Automata-Driven Object-Oriented Collaborative Work}}}, volume = {{2300}}, year = {{2002}}, } @inbook{7526, abstract = {{Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.}}, author = {{Engels, Gregor and Doberkat, Ernst-Erich}}, booktitle = {{Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}}, pages = {{377--384}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Multimedia in der Informatik-Lehre}}}, volume = {{P-19}}, year = {{2002}}, } @inbook{7528, abstract = {{The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.}}, author = {{Engels, Gregor and Groenewegen, Luuk}}, booktitle = {{Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}}, editor = {{Brauer, W. and Ehring, H. and Karhumäki, J. and Salomaa, A. }}, pages = {{257--276}}, publisher = {{Springer}}, title = {{{Towards Team-Automata-Driven Object-Oriented Collaborative Work}}}, volume = {{2300}}, year = {{2002}}, } @inbook{7529, abstract = {{Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.}}, author = {{Engels, Gregor and Doberkat, Ernst-Erich}}, booktitle = {{Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}}, editor = {{Schubert, S. and Reusch, B. and Jesse, N. }}, pages = {{377--384}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Multimedia in der Informatik-Lehre}}}, volume = {{P-19}}, year = {{2002}}, } @inproceedings{8363, abstract = {{A major concern of software development today is the integration of applications of different enterprises, e.g., over the internet. This requires a shift of focus from system development towards integration of enterprise models and evolution of systems. We propose a conceptual framework for a method addressing these issues and discuss its formalization by means of graph transformation concepts.}}, author = {{Heckel, Reiko and Engels, Gregor}}, booktitle = {{Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)}}, pages = {{139--151}}, publisher = {{Elsevier}}, title = {{{Towards a Formal Framework for Inter-Enterprise Application Integration}}}, doi = {{http://dx.doi.org/10.1016/S1571-0661(04)80198-1}}, volume = {{51}}, year = {{2002}}, } @inproceedings{8364, abstract = {{The composition of elementary web services to larger-scale services has become an important means to enhance e-business collaborations. If such composite web services can also integrate legacy components that are not yet provided as web services, the number of possible compositions is increased. Following a process-oriented approach, the compositions can be described as control- and data-flow between available web services and components. This paper discusses the Business Process Execution Language for Web Services (BPEL4WS), an existing service composition language, and proposes UML-WSC as an alternative, visual language. For the advanced description of service interfaces, UML-WSC extends the type system of the established Web Service Definition Language (WSDL).}}, author = {{Thöne, Sebastian and Depke, Ralph and Engels, Gregor}}, booktitle = {{Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)}}, pages = {{390--401}}, publisher = {{Springer}}, title = {{{Process-Oriented, Flexible Composition of Web Services with UML}}}, volume = {{2784}}, year = {{2002}}, } @inproceedings{8365, author = {{Engels, Gregor and Küster, Jochen and Heckel, Reiko}}, booktitle = {{Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)}}, pages = {{129--132}}, publisher = {{ACM Press}}, title = {{{Towards Consistency-Preserving Model Evolution}}}, doi = {{http://doi.acm.org/10.1145/512035.512066}}, year = {{2002}}, } @proceedings{7788, editor = {{Engels, Gregor and Oberweis, A. and Zündorf, Albert}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Modellierung 2001}}}, volume = {{1}}, year = {{2001}}, } @inproceedings{7884, abstract = {{Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.}}, author = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen}}, booktitle = {{Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}}, pages = {{272--287}}, publisher = {{Springer}}, title = {{{Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}}}, doi = {{http://dx.doi.org/10.1007/3-540-45441-1_21}}, volume = {{2185}}, year = {{2001}}, } @inproceedings{7885, abstract = {{Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, w e discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.}}, author = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}}, booktitle = {{Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)}}, number = {{5}}, pages = {{186--195}}, publisher = {{ACM Press}}, title = {{{A methodology for specifying and analyzing consistency of object-oriented behavioral models}}}, doi = {{http://dx.doi.org/10.1145/503271.503235}}, volume = {{26}}, year = {{2001}}, } @inproceedings{7887, author = {{Heckel, Reiko and Engels, Gregor}}, booktitle = {{Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)}}, number = {{UNL-DI-1-2001}}, pages = {{42--47}}, publisher = {{Universidade Nova de Lisboa}}, title = {{{Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution}}}, year = {{2001}}, } @inproceedings{7893, abstract = {{Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We propose an extension of the Unified Modeling Language (UML) for the integrated specification of multimedia systems based on an object-oriented development method. Since integration of co-existing timed procedural and interactive behavior is at the heart of multimedia systems, we focus on UML-based specification of behavior in this paper. In addition, we outline how these behavioral aspects are to be integrated with media, presentation, and software architecture modeling to achieve a coherent and consistent model.}}, author = {{Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}}, pages = {{248--255}}, publisher = {{IEEE Computer Society}}, title = {{{UML-based Behavior Specification of Interactive Multimedia Applications}}}, doi = {{http://dx.doi.org/10.1109/HCC.2001.995271}}, year = {{2001}}, } @techreport{8211, author = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}}, publisher = {{University of Paderborn, Department of Computer Science}}, title = {{{On the Specification and Analysis of Protocols in UML-RT}}}, year = {{2001}}, }