| Anastasakis K, Bordbar B and Küster J (2007), "Analysis of Model Transformations via Alloy", In Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA). Berlin/Heidelberg, October, 2007. Vol. 5002, pp. 47-56. Springer. |
| Abstract: The concept of model transformations is central to the domain of Model Driven Engineering (MDE). A model transformation automates the translation of models between a source and a target language. In order to reason about the correctness of the translation it is important to be able to analyse model transformations. A model trans formation specification can be considered as a special kind of model and as such it can be subject to existing model analysis techniques. In this paper we present a systematic method of representing declarative model transformations in a formalism called Alloy. We demonstrate how the Alloy Analyzer can be used to conduct fully automated analysis of a model transformation specification represented in Alloy. The presented approach is explained with the help of an example model transformation in business processes. |
BibTeX:
@inproceedings{Anastasakis2007,
author = {Kyriakos Anastasakis AND Behzad Bordbar AND Jochen Küster},
editor = {B. Baudry, A. Faivre, S. Ghosh, A. Pretschner},
title = {Analysis of Model Transformations via Alloy},
booktitle = {Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)},
publisher = {Springer},
year = {2007},
volume = {5002},
pages = {47--56}
}
|
| Arifulina S, Platenius MC, Mohr F and Engels G (2015), "Market-Specific Service Compositions: Specification and Matching", In Proceedings of the 2015 IEEE World Congress on Services (SERVICES 2015)., Juli, 2015. , pp. 333-340. IEEE Computer Society Los Alamintos, CA, USA. |
| Abstract: The Collaborative Research Centre ``On-The-Fly Computing'' works on foundations and principles for the vision of the Future Internet. It proposes the paradigm of On-The-Fly Computing, which tackles emerging worldwide service markets. In these markets, service providers trade software, platform, and infrastructure as a service. Service requesters state requirements on services. To satisfy these requirements, the new role of brokers, who are (human) actors building service compositions on the fly, is introduced. Brokers have to specify service compositions formally and comprehensively using a domain-specific language (DSL), and to use service matching for the discovery of the constituent services available in the market. The broker's choice of the DSL and matching approaches influences her success of building compositions as distinctive properties of different service markets play a significant role. In this paper, we propose a new approach of engineering a situation-specific DSL by customizing a comprehensive, modular DSL and its matching for given service market properties. This enables the broker to create market-specific composition specifications and to perform market-specific service matching. As a result, the broker builds service compositions satisfying the requester's requirements more accurately. We evaluated the presented concepts using case studies in service markets for tourism and university management. |
BibTeX:
@inproceedings{APME15,
author = {Svetlana Arifulina AND Marie Christin Platenius AND Felix Mohr AND Gregor Engels},
title = {Market-Specific Service Compositions: Specification and Matching},
booktitle = {Proceedings of the 2015 IEEE World Congress on Services (SERVICES 2015)},
publisher = {IEEE Computer Society Los Alamintos, CA, USA},
year = {2015},
pages = {333--340},
note = {June 26 - July 2, 2015}
}
|
| Arifulina S, Soltenborn C and Engels G (2012), "Coverage Criteria for Testing DMM Specifications", In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia). Vol. 47 European Association of Software Science and Technology (EASST). |
| Abstract: Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that the specification at hand at least describes the correct behavior for a suite of test models. However, in its current state TDSS does not provide any means to measure the quality of such a test suite.In this paper, we describe how we have applied the idea of test coverage to TDSS. Similar to common approaches of defining test coverage criteria, we describe a data structure called invocation graph containing possible orders of applications of DMM rules. Then we define different coverage criteria based on that data structure, taking the rule applications caused by the test suite's models into account. Our implementation of the described approach gives the language engineer using DMM a means to reason about the quality of the language's test suite, and also provides hints on how to improve that quality by adding dedicated test models to the test suite. |
BibTeX:
@inproceedings{Arifulina2012a,
author = {Svetlana Arifulina AND Christian Soltenborn AND Gregor Engels},
editor = {A. Fish, L. Lambers},
title = {Coverage Criteria for Testing DMM Specifications},
booktitle = {Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia)},
publisher = {European Association of Software Science and Technology (EASST)},
year = {2012},
volume = {47},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/718/724}
}
|
| Arifulina S (2012), "Towards a Framework for the Integration of Modeling Languages", In Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))., Sep, 2012. Vol. 935, pp. 23-26. CEUR-WS.org. |
| Abstract: In software markets of the future, customer-specific software will be developed on demand from distributed software and hardware services available on world-wide markets. Having a request, services have to be automatically discovered and composed. For that purpose, services have to be matched based on their specifications. For the accurate matching, services have to be described comprehensively that requires the integration of different domain-specific languages (DSLs) used for functional, non-functional, and infrastructural properties. Since different service providers use plenty of language dialects to model the same service property, their integration is needed for the matching. In this paper, we propose a framework for integration of DSLs. It is based on a parameterized abstract core language that integrates key concepts needed to describe a service. Parts of the core language can be substituted with concrete DSLs. Thus, the framework serves as a basis for the comprehensive specification and automatic matching of services. |
BibTeX:
@inproceedings{Arifulina2012b,
author = {Svetlana Arifulina},
editor = {Ulrich W. Eisenecker and Christian Bucholdt},
title = {Towards a Framework for the Integration of Modeling Languages},
booktitle = {Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))},
publisher = {CEUR-WS.org},
year = {2012},
volume = {935},
pages = {23-26}
}
|
| Bals J-C, Christ F, Engels G and Erwig M (2007), "ClassSheets - model-based, object-oriented design of spreadsheet applications", Journal of Object Technology., In Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)., October , 2007. Vol. 6, pp. 383-398. Journal of Object Technology. |
| Abstract: Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications. But they have one critical drawback - they are very error-prone.To reduce the error-proneness, we purpose a new way of object-oriented modeling of spreadsheets prior to using them. These spreadsheet models, termed ClassSheets, are used to generate concrete spreadsheets on the instance level.By this approach sources of errors are reduced and spreadsheet applications are easier to understand. |
BibTeX:
@inproceedings{Bals07,
author = {Jan-Christopher Bals AND Fabian Christ AND Gregor Engels AND Martin Erwig},
title = {ClassSheets - model-based, object-oriented design of spreadsheet applications},
booktitle = {Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)},
journal = {Journal of Object Technology},
publisher = {Journal of Object Technology},
year = {2007},
volume = {6},
pages = {383--398},
url = {http://www.jot.fm/issues/issue_2007_10/paper19/index.html}
}
|
| Baresi L, Heckel R, Thöne S and Varr'o D'a (2005), "Style-Based Modeling and Refinement of Service-Oriented Architectures", Software and Systems Modeling. Vol. 5(2), pp. 187-207. |
| Abstract: Service-oriented architectures (SOA) provide a flexible and dynamic platform for implementing business solutions. In this paper, we address the modeling of such architectures by refining business-oriented architectures, which abstract from technology aspects, into service-oriented ones, focusing on the ability of dynamic reconfiguration (binding to new services at run-time) typical for SOA. The refinement is based on conceptual models of the platforms involved as architectural styles, formalized by graph transformation systems. Based on a refinement relation between abstract and platform-specific styles we investigate how to realize business-specific scenarios on the SOA platform by automatically deriving refined, SOA-specific reconfiguration scenarios. |
BibTeX:
@article{Baresi2005,
author = {Luciano Baresi AND Reiko Heckel AND Sebastian Thöne AND D'aniel Varr'o},
title = {Style-Based Modeling and Refinement of Service-Oriented Architectures},
journal = {Software and Systems Modeling},
year = {2005},
volume = {5},
number = {2},
pages = {187-207},
url = {http://www.springerlink.com/content/5147710901635272}
}
|
| Beulen D, Güldali B and Mlynarski M (2010), "Tabellarischer Vergleich der Prozessmodellefür modellbasiertes Testen aus Managementsicht", Softwaretechnik-Trends., Mai, 2010. Vol. 30(2), pp. 6-9. |
| Abstract: In dieser Publikation zeigen wir, wie die unterschiedlichen Prozessmodelle aus Managementsicht miteinander verglichen werden können. Dafür stellen wir basierend auf die Literatur Vergleichskriterien auf. Unser Ziel ist es, mit Hilfe von objektiven Kriterien eine Vergleichbarkeit von MBT-Prozessmodellen zu ermöglichen. Den Testmanagern geben wir ein Hilfsmittel in die Hand, mit dem sie einschätzen können, mit welchen Aufwänden sie bei der Auswahl eines Prozessmodells rechnen können. Da die Einführung neuer Verfahren vom Reifegrad eines Prozesses abhängt, adressieren wir bei dem Vergleich auch den für die Prozessmodelle benötigten Reifegrad des Testprozesses nach Test Process Improvement (TPI) und die benötigten Mo-dellierungskenntnisse des Testteams, die mit Hilfe von Modeling Maturity Levels (MML) gemessen werden können. |
BibTeX:
@article{bgm2010,
author = {Dominik Beulen AND Baris Güldali AND Michael Mlynarski},
title = {Tabellarischer Vergleich der Prozessmodellefür modellbasiertes Testen aus Managementsicht},
journal = {Softwaretechnik-Trends},
year = {2010},
volume = {30},
number = {2},
pages = {6-9},
url = {http://www.gm.fh-koeln.de/~winter/tav/html/tav29/TAV29P02Gueldali.pdf}
}
|
| Huma Z, Gerth C, Engels G and Juwig O (2012), "A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners", In Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering. Vol. 855, pp. 90-97. CEUR-WS.org. |
| Abstract: Service-oriented computing (SOC) emerges as a promising trend solving many issues in distributed software development. Followingthe essence of SOC, service descriptions are de ned by the service partners in their independent heterogeneous domains based on current standards, such as, WSDL. However, these standards are mostly syntacticand do not provide any semantic description which may lead to inaccurate service discovery results. Currently many research e fforts aim at formulating rich service descriptions for service partners comprisingsyntactic as well as semantic information. However, due to the underlying heterogeneity of service partners in terms of di fferent underlying ontologies, diff erent description notations, etc., matching of rich servicedescriptions for accurate service discovery is a complex task. In this paper, we come up with a proposal for rich service descriptions based on the UML. |
BibTeX:
@inproceedings{CAiSE12_Huma_Gerth,
author = {Zille Huma AND Christian Gerth AND Gregor Engels AND Oliver Juwig},
title = {A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners},
booktitle = {Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering},
publisher = {CEUR-WS.org},
year = {2012},
volume = {855},
pages = {90--97},
url = {http://ceur-ws.org/Vol-855/paper11.pdf},
doi = {http://ceur-ws.org/Vol-855/paper11.pdf}
}
|
| Corradini A and Heckel R (2000), "Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo", Bulletin of the EATCS., October, 2000. (72), pp. 69-76. |
| Abstract: In order to provide semantic support for visual modeling techniques, new techniques have to be developed which help us to narrow the conceptual gap between graph-based visual modeling techniques like the UML and established methodologies of programming language semantics almost exclusively based on trees and terms. Concepts and results from the area of graph transformation can be used both as a basis for high-level rule-based visual languages, and as semantic domain for visual modeling techniques focusing on the structural and behavioral aspects of today's software systems. Moreover, graph transformation can provide the necessary technology in order to develop the graph-based counterparts of the denotational, operational, or algebraic semantics paradigms in the field of programming languages.In this paper, we substantiate these claims by examples of the use of graph transformation as visual modeling notion, semantic domain, and for the semantics of diagram languages. |
BibTeX:
@article{CH00eatcs,
author = {Andrea Corradini AND Reiko Heckel},
title = {Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo},
journal = {Bulletin of the EATCS},
year = {2000},
number = {72},
pages = {69--76}
}
|
| Christ F, Bals J-C, Engels G, Gerth C and Luckey M (2010), "A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage", LNCS., In Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), M'alaga (Spain). Berlin/Heidelberg, June, 2010. Vol. 6141, pp. 21-40. Springer. |
| Abstract: Enterprise software development is based on the usage of frameworks. However, well-established concepts to specify framework functionality and how to use it can hardly be found. As consequence, there are poor framework documentations. Various problems arise from this, e.g. a high effort for learning a framework and therefore the need of framework specialists. Existing framework description languages (FDL) focus on parts of the problem but do not cover all aspects of specifying framework functionality and usage. In this paper, we present a generic approach for specifying all aspects of framework functionality and usage. We collected requirements to identify relevant aspects and defined a generic meta-model for FDLs. The generic meta-model is the base for defining concrete FDLs while guaranteeing that all relevant framework aspects are covered. Particularly, due to its generic character, parts of the meta-model representing specific framework aspects can be instantiated by existing or newly defined languages. |
BibTeX:
@inproceedings{Christ2010,
author = {Fabian Christ AND Jan-Christopher Bals AND Gregor Engels AND Christian Gerth AND Markus Luckey},
editor = {J. Vitek},
title = {A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage},
booktitle = {Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), M'alaga (Spain)},
journal = {LNCS},
publisher = {Springer},
year = {2010},
volume = {6141},
pages = {21--40},
doi = {10.1007/978-3-642-13953-6_2}
}
|
| Kehrer T and Gerth C (2013), "CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.", Softwaretechnik-Trends., In Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'13)., May, 2013. Vol. 33, pp. 32-34. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI).
[BibTeX] |
BibTeX:
@inproceedings{CVSM13,
author = {Timo Kehrer AND Christian Gerth},
editor = {Udo Kelter},
title = {CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.},
booktitle = {Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'13)},
journal = {Softwaretechnik-Trends},
publisher = {FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)},
year = {2013},
volume = {33},
pages = {32-34}
}
|
| Meixner G, Görlich D, Breiner K, Hußmann H, Pleuß A, Sauer S and den Bergh JV (2009), "Model Driven Development of Advanced User Interfaces 2009", In Proceedings of the 2009 International Conference on Intelligent User Interfaces. New York, NY, USA, October, 2009. , pp. 503-504. ACM Press. |
BibTeX:
@inproceedings{DBLP:conf/iui/MeixnerGBHPSB09,
author = {Gerrit Meixner AND Daniel Görlich AND Kai Breiner AND Heinrich Hußmann AND Andreas Pleuß AND Stefan Sauer AND Jan Van den Bergh},
editor = {Cristina Conati and Mathias Bauer and Nuria Oliver and Daniel S. Weld},
title = {Model Driven Development of Advanced User Interfaces 2009},
booktitle = {Proceedings of the 2009 International Conference on Intelligent User Interfaces},
publisher = {ACM Press},
year = {2009},
pages = {503-504},
doi = {10.1145/1502650.1502737}
}
|
| (2007), "Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI '07), Nashville, Tennessee (USA)", October, 2007. Vol. 297 University of Aachen. |
BibTeX:
@proceedings{DBLP:conf/models/2007mddaui,,
editor = {A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, D. Görlich},
title = {Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI '07), Nashville, Tennessee (USA)},
publisher = {University of Aachen},
year = {2007},
volume = {297},
url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-297}
}
|
| (2005), "Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference" Vol. 159 CEUR-WS.org. |
BibTeX:
@proceedings{DBLP:conf/uml/2005md,,
editor = {A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer},
title = {Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference},
publisher = {CEUR-WS.org},
year = {2005},
volume = {159},
url = {http://www.springerlink.com/content/5147710901635272}
}
|
| Pleuß A, den Bergh JV, Sauer S and Hußmann H (2006), "Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)", In Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica). Berlin/Heidelberg Vol. 3844, pp. 182-190. Springer. |
| Abstract: This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference in Montego Bay, Jamaica. We introduce the topic of the workshop and give an overview about the workshop's structure. Then we summarize the accepted contributions and finally we provide an overview about the workshop discussion and its results.It is intended to provide a follow-up event of this workshop in the next year. |
BibTeX:
@inproceedings{DBLP:conf/uml/PleussBSH05,
author = {Andreas Pleuß AND Jan Van den Bergh AND Stefan Sauer AND Heinrich Hußmann},
editor = {J. M. Bruel},
title = {Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)},
booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)},
publisher = {Springer},
year = {2006},
volume = {3844},
pages = {182--190},
doi = {10.1007/11663430_19}
}
|
| Depke R, Heckel R and Küster J (2000), "Modeling Agent-Based Systems with Graph Transformation". Thesis at: University of Paderborn, Department of Computer Science., August, 2000. (tr-ri-00-213) |
| Abstract: The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-oriented modeling techniques do not account for the agent-specific aspects. Therefore, dedicated techniques for agent-oriented modeling are required which are based on the concepts and notations of object-oriented modeling and extend these in order to support agent-specific concepts. [...] |
BibTeX:
@techreport{Depke2000d,
author = {Ralph Depke AND Reiko Heckel AND Jochen Küster},
title = {Modeling Agent-Based Systems with Graph Transformation},
school = {University of Paderborn, Department of Computer Science},
year = {2000},
number = {tr-ri-00-213}
}
|
| Depke R and Heckel R (2003), "Modeling and Analysis of Agents' Goal-Driven Behavior Using Graph Transformation", In Objects, Agents and Features - Structuring Mechanisms for Contemporary Software. Berlin/Heidelberg, February, 2003. , pp. 81-97. Springer. |
| Abstract: Extending mainstream object-oriented concepts, the agent paradigm promotes the concept of goals realized by means of strategies. To account for such specific aspects, dedicated techniques for agent-oriented modelling are required which go beyond standard techniques of object-oriented modelling.In this paper, an agent-oriented modelling notation for goals and strategies is proposed. Based on graph transformation as semantic domain we show how the behavior of agents can be described in terms of goals and the strategies or communication protocols for achieving them. Model checking is used to verify, in a given situation, that a chosen strategy actually achieves its goal. |
BibTeX:
@incollection{Depke2003,
author = {Ralph Depke AND Reiko Heckel},
editor = {H.D. Ehrich, J.J. Meyer, M.D. Ryan},
title = {Modeling and Analysis of Agents' Goal-Driven Behavior Using Graph Transformation},
booktitle = {Objects, Agents and Features - Structuring Mechanisms for Contemporary Software},
publisher = {Springer},
year = {2003},
pages = {81--97}
}
|
| Küster J, Gerth C, Förster A and Engels G (2008), "Detecting and Resolving Process Model Differences in the Absence of a Change Log", In Proceedings of the 6th International Conference on Business Process Management (BPM'08). Berlin/Heidelberg Vol. 5240, pp. 244-260. Springer. |
| Abstract: Business-driven development favors the construction of process models at different abstraction levels and by different people. As a consequence, there is a demand for consolidating different versions of process models by detecting and resolving differences. Existing approaches rely on the existence of a change log which logs the changes when changing a process model. However, in several scenarios such a change log does not exist and differences must be identified by comparing process models before and after changes have been made. In this paper, we present our approach to detecting and resolving differences between process models, in the absence of a change log. It is based on computing differences and deriving change operations for resolving differences, thereby providing a foundation for variant and version management in these cases. |
BibTeX:
@inproceedings{DetKGFE08,
author = {Jochen Küster AND Christian Gerth AND Alexander Förster AND Gregor Engels},
editor = {M. Dumas, M. Reichert, M.-C. Shan},
title = {Detecting and Resolving Process Model Differences in the Absence of a Change Log},
booktitle = {Proceedings of the 6th International Conference on Business Process Management (BPM'08)},
publisher = {Springer},
year = {2008},
volume = {5240},
pages = {244--260},
url = {http://www.springerlink.com/content/t00373n7l7587515},
doi = {10.1007/978-3-540-85758-7_19}
}
|
| Gerth C (2013), "Business Process Models - Change Management". Thesis at: University of Paderborn, Springer (Berlin/Heidelberg), LNCS, vol. 7849. |
| Abstract: Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously. Similar to other software artifacts, process models are developed and refined in team environments by several stakeholders, resulting in different versions. These versions need to be merged in order to obtain an integrated process model. Existing solutions to this basic problem in the field of software configuration management are mainly limited to textual documents, e.g., source code.This monograph presents a generally applicable framework for process model change management, which provides easy-to-use comparison and merging capabilities for the integration of different process model versions. The framework supports popular modeling languages such as BPMN, BPEL, or UML Activity Diagrams. Differences between process models are represented in terms of intuitive, high-level change operations. Equipped with a sophisticated analysis of dependencies and a semantic-aware computation of conflicts between differences, the framework constitutes a comprehensive and practically usable solution for process model change management in the model-driven development of enterprise software systems. |
BibTeX:
@phdthesis{dissGerth,
author = {Christian Gerth},
title = {Business Process Models - Change Management},
school = {University of Paderborn, Springer (Berlin/Heidelberg), LNCS, vol. 7849},
year = {2013},
url = {http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-3-642-38603-9}
}
|
| Engels G, Ehrig H, Heckel R, Taentzer G and Corradini A (1996), "A View-Based Approach to System Modelling", In Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science., September, 1996. Vol. 155, pp. 11. Technical University of Berlin. |
| Abstract: In order to manage the complexity of large system specifications, they have to be decomposed into subspecifications. Each subspecification describes a certain part of the system. This might be a certain aspect, like the data, dynamic, or functional aspect, as it is known from object-oriented modelling techniques. Or it might be a certain view onto the system, as it is known from database modelling techniques. The talk motivates the usage of views in graph grammarbased specifications. First, the usage of typed graph grammars inherently ensures an integration of the data and the functional aspect within a view. Second, it is explained that it is not appropriate in case of views to have a fixed semantics.The standard fixed semantics, i.e. a graph transformation system, has to be relaxed to a loose semantics, i.e. a graph transition system. This reflects the idea that a view models only a part of the complete system. Other views may overlap a view with respect to data or functionality. A complete system specification is yielded by exploiting the approach of cooperative parallel composition of graph grammars (see talk by Leila Ribeiro). |
BibTeX:
@inproceedings{EEH+96,
author = {Gregor Engels AND Hartmut Ehrig AND Reiko Heckel AND Gabriele Taentzer AND Andrea Corradini},
editor = {H. Ehrig, U. Montanari, G. Rozenberg, H.-J. Schneider},
title = {A View-Based Approach to System Modelling},
booktitle = {Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science},
publisher = {Technical University of Berlin},
year = {1996},
volume = {155},
pages = {11}
}
|
| Güldali B, Sauer S and Engels G (2008), "Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen", Softwaretechnik-Trends., August, 2008. Vol. 28(3), pp. 12-16. |
| Abstract: Wir haben in diesem Beitrag einen Ansatz zurFormalisierung der UML-Anwendungsfallsbeschreibungenvorgestellt, um Anwendungsfälleeffektiv für Testzwecke einsetzen zu können.Dabei werden die textuellen Beschreibungen derVor- und Nachbedingungen mit visuellen Kontraktenformalisiert. Die visuellen Kontrakte beschreibendie Änderungen bezüglich der fachlichenDaten nach der Ausführung des Anwendungsfalls.Mit visuellen Kontrakten könnenwährend der Testfallspezifikation Testeingabengeneriert und während der Testausführung Testausgabenüberprüft werden. Für visuelle Kontraktewurden Werkzeuge entwickelt, die dieEinbindung der visuellen Kontrakte in den Entwicklungs-und Testprozess ermöglichen. |
BibTeX:
@article{egs08,
author = {Baris Güldali AND Stefan Sauer AND Gregor Engels},
title = {Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen},
journal = {Softwaretechnik-Trends},
year = {2008},
volume = {28},
number = {3},
pages = {12-16},
url = {http://pi.informatik.uni-siegen.de/stt/28_3/01_Fachgruppenberichte/TAV/07_TAV27P6Gueldali.pdf}
}
|
| (2010), "Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday" Berlin/Heidelberg Vol. 5765 Springer. |
| Abstract: This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, edited by five of his academic descendants. The types of papers vary significantly, including classic research papers in the style of journal articles, surveys of focused research areas, essays reflecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. The volume is structured in five parts: graph transformations, software architectures and reengineering, process support, embedded systems engineering as well as engineering design applications. |
BibTeX:
@proceedings{ELSSW10,,
editor = {G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel},
title = {Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday},
publisher = {Springer},
year = {2010},
volume = {5765},
doi = {10.1007/978-3-642-17322-6}
}
|
| Engels G, Lewerentz C, Schäfer W, Schürr A and Westfechtel B (2010), "Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl", LNCS., In Graph Transformations and Model-Driven Engineering. Berlin/Heidelberg Vol. 5765, pp. 1-5. Springer.
[BibTeX] |
BibTeX:
@inproceedings{ELSSW210,
author = {Gregor Engels AND Claus Lewerentz AND Wilhelm Schäfer AND Andy Schürr AND Bernhard Westfechtel},
editor = {G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel},
title = {Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl},
booktitle = {Graph Transformations and Model-Driven Engineering},
journal = {LNCS},
publisher = {Springer},
year = {2010},
volume = {5765},
pages = {1--5}
}
|
| Engels G, Gogolla M, Hohenstein U, Hülsmann K, Löhr-Richter P, Saake G and Ehrich H-D (1992), "Conceptual Modelling of Database Applications Using an Extended ER Model", Data & Knowledge Engineering., December, 1992. Vol. 9(2), pp. 157-204. |
| Abstract: In this paper, we motivate and present a data model for conceptual design of structural and behavioural aspects of databases. We follow an object centered design paradigm in the spirit of semantic data models. The specification of structural aspects is divided into modelling of object structures and modelling of data types used for describing object properties. The specification of object structures is based on an Extended Entity--Relationship (EER) model. The specification of behavioural aspects is divided into the modelling of admissible database state evolutions by means of temporal integrity constraints and the formulation of database (trans)actions. The central link for integrating these design components is a descriptive logic--based query language for the EER model. The logic part of this language is the basis for static constraints and descriptive action specifications by means of pre- and postconditions. A temporal extension of this logic is the specification language for temporal integrity constraints. We emphasize that the various aspects of a database application are specified using several appropriate, but yet compatible formalisms, which are integrated by a unifying common semantic. |
BibTeX:
@article{Engels1992a,
author = {Gregor Engels AND Martin Gogolla AND Uwe Hohenstein AND Klaus Hülsmann AND Perdita Löhr-Richter AND Gunter Saake AND Hans-Dietrich Ehrich},
title = {Conceptual Modelling of Database Applications Using an Extended ER Model},
journal = {Data & Knowledge Engineering},
year = {1992},
volume = {9},
number = {2},
pages = {157--204},
doi = {10.1016/0169-023X(92)90008-Y}
}
|
| Engels G, Gaulke J and Sauer S (2001), "Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil", Forschungsforum Paderborn., January, 2001. Vol. 4, pp. 24-29. |
| Abstract: Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen, die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein einheitliches Verständnis des Modells ermöglicht. |
BibTeX:
@article{Engels2001,
author = {Gregor Engels AND Jens Gaulke AND Stefan Sauer},
title = {Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil},
journal = {Forschungsforum Paderborn},
year = {2001},
volume = {4},
pages = {24--29}
}
|
| Engels G and Groenewegen L (2002), "Towards Team-Automata-Driven Object-Oriented Collaborative Work", In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Berlin/Heidelberg , pp. 257-276. Springer. |
| 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. |
BibTeX:
@incollection{Engels2002,
author = {Gregor Engels AND Luuk Groenewegen},
editor = {W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa},
title = {Towards Team-Automata-Driven Object-Oriented Collaborative Work},
booktitle = {Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher = {Springer},
year = {2002},
pages = {257--276}
}
|
| Engels G, Heckel R and Küster J (2003), "The Consistency Workbench: A Tool for Consistency Management in UML-based Development", In Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA). Berlin/Heidelberg Vol. 2863, pp. 356-359. Springer. |
| Abstract: With the Unified Modeling Language becoming applied indiverse contexts, the ability of defining and checking customized consistencyconditions is gaining increasing importance. In this paper, weintroduce the Consistency Workbench for defining and establishing consistencyin a UML-based development process. |
BibTeX:
@inproceedings{Engels2003b,
author = {Gregor Engels AND Reiko Heckel AND Jochen Küster},
editor = {P. Stevens, J. Whittle, G. Booch},
title = {The Consistency Workbench: A Tool for Consistency Management in UML-based Development},
booktitle = {Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)},
publisher = {Springer},
year = {2003},
volume = {2863},
pages = {356--359}
}
|
| (2004), "Modeling and Development of Multimedia Systems", December, 2004. Vol. 14(6) World Scientific. |
BibTeX:
@proceedings{Engels2004,,
editor = {G. Engels, S. Sauer},
title = {Modeling and Development of Multimedia Systems},
publisher = {World Scientific},
year = {2004},
volume = {14},
number = {6},
note = {(guest editors)},
url = {http://www.worldscinet.com/ijseke/14/1406/S02181940041406.html},
doi = {10.1142/S021819400400183X}
}
|
| Engels G, Güldali B and Lohmann M (2007), "Towards Model-Driven Unit Testing", In Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006). Berlin/Heidelberg, October, 2007. Vol. 4364, pp. 182-192. Springer. |
| Abstract: The Model-Driven Architecture (MDA) approach for constructingsoftware systems advocates a stepwise refinement and transformationprocess starting from high-level models to concrete programcode. In contrast to numerous research efforts that try to generate executablefunction code from models, we propose a novel approach termedmodel-driven monitoring. On the model level the behavior of an operationis specified with a pair of UML composite structure diagrams (visualcontract), a visual notation for pre- and post-conditions. The specifiedbehavior is implemented by a programmer manually. An automatic translationfrom our visual contracts to JML assertions allows for monitoringthe hand-coded programs during their execution.In this paper we present an approach to extend our model-driven monitoringapproach to allow for model-driven unit testing. In this approachwe utilize the generated JML assertions as test oracles. Further, wepresent an idea how to generate sufficient test cases from our visualcontracts with the help of model-checking techniques. |
BibTeX:
@inproceedings{Engels2006a,
author = {Gregor Engels AND Baris Güldali AND Marc Lohmann},
editor = {T. Kühne},
title = {Towards Model-Driven Unit Testing},
booktitle = {Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)},
publisher = {Springer},
year = {2007},
volume = {4364},
pages = {182--192},
note = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, Genua (Italy)},
url = {http://is.uni-paderborn.de/uploads/tx_sibibtex/Towards_Model-Driven_Unit_Testing_01.pdf},
doi = {10.1007/978-3-540-69489-2_23}
}
|
| (2007), "Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA)" Berlin/Heidelberg Vol. 4735 Springer. |
BibTeX:
@proceedings{Engels2007b,,
editor = {Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil},
title = {Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA)},
publisher = {Springer},
year = {2007},
volume = {4735},
doi = {10.1007/978-3-540-75209-7}
}
|
| Engels G, Hess A, Humm B, Juwig O, Lohmann M, Richter J-P, Voß M and Willkomm J (2008), "Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten" München, März, 2008. dpunkt-Verlag. |
| Abstract: IT-Anwendungslandschaften in Unternehmen sind komplexe über Jahre gewachsene Gebilde. Sie architektonisch zu gestalten und nachhaltig zu entwickeln braucht eine eigene Technologie jenseits der klassischen Softwaretechnik. Der Ansatz serviceorientierter Architekturen (SOA) ist ein wichtiges Instrument, reicht aber alleine nicht aus.In Quasar Enterprise haben Experten des Softwareunternehmens sd&m eine durchgängige Architekturmethodik für die serviceorientierte Gestaltung von Anwendungslandschaften zusammengetragen, die Erfahrungen aus Dutzenden von Beratungs-, Integrations- und großen Softwareprojekten widerspiegelt. Das Besondere an Quasar Enterprise ist die Sammlung sehr konkreter Methoden, Regeln, Referenzarchitekturen und Muster für die Gestaltung - ausgehend von der Architektur des Geschäfts, über die logische Strukturierung der IT in Services und Domänen, bis hin zu physischen Komponenten und Schnittstellen inkl. deren Kopplung über technische Integrationsplattformen.Teil I beschreibt ein fiktives, aber realistisches Projekt aus der Sicht eines IT-Architekten. Der Leser schaut ihm bei seiner Arbeit über die Schulter und erlangt dabei ein intuitives Verständnis der Artefakte und Verfahrensbausteine von Quasar Enterprise. Das Vorgehen im Projekt erlebt er dabei beispielhaft.Teil II vertieft das Erlernte systematisch. Die Grundlagen für Anwendungslandschaften und SOA werden eingeführt und dann Schritt für Schritt Begriffe, Zusammenhänge und Vorgehensbausteine erläutert. Die Beziehungen zwischen Architekturentscheidungen und Qualitätszielen werden transparent gemacht und Verweise auf weiterführende Literatur gegeben. Das Buch richtet sich an alle, die etwas über Anwendungslandschaften und SOA in der Praxis wissen wollen. Primäre Zielgruppe sind IT-Architekten, erfahrene Softwareingenieure und Berater. |
BibTeX:
@book{Engels2008,
author = {Gregor Engels AND Andreas Hess AND Bernhard Humm AND Oliver Juwig AND Marc Lohmann AND Jan-Peter Richter AND Markus Voß AND Johannes Willkomm},
title = {Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten},
publisher = {dpunkt-Verlag},
year = {2008},
url = {http://www.dpunkt.de/buecher/2922.html}
}
|
| Engels G and Soltenborn C (2010), "Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling", In Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany). Vol. 30, pp. 240-257. European Association of Software Science and Technology. |
| Abstract: Deriving a new language LB from an already existing one LA is a typical task in domain-specific language engineering. Here, besides adjusting LA's syntax, the language engineer has to modify the semantics of LA to derive LB's semantics. Particularly, in case of behavioral modeling languages, this is a difficult and error-prone task, as changing the behavior of language elements or adding behavior for new elements might have undesired side effects.Therefore, we propose a test-driven language derivation process. In a first step, the language engineer creates example models containing the changed or newly added elements in different contexts. For each of these models, the language engineer also precisely describes the expected behavior. In a second step, each example model and its description of behavior is transformed into an executable test case. Finally, these test cases are used when deriving the actual semantics of LB - at any time, the language engineer can run the tests to verify whether the changes he performed on LA's semantics indeed produce the desired behavior. In this paper, we illustrate the approach using our graph transformation-based semantics specification technique Dynamic Meta Modeling. This is once more an example where the graph transformation approach shows its strengths and appropriateness to support software engineering tasks as, e.g.,model transformations, software specifications, or tool development. |
BibTeX:
@inproceedings{EngelsSoltenborn2010a,
author = {Gregor Engels AND Christian Soltenborn},
editor = {C. Ermel, H. Ehrig, F. Orejas, G. Taentzer},
title = {Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling},
booktitle = {Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)},
publisher = {European Association of Software Science and Technology},
year = {2010},
volume = {30},
pages = {240--257}
}
|
| Engels G, Sauer S and Soltenborn C (2008), "Unternehmensweit verstehen -- unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode", Informatik-Spektrum., October, 2008. Vol. 31(5), pp. 451-459. |
| Abstract: Sollen wir UML 1.4, UML 2.0 oder eine ganz andere Modellierungssprache für unsere Softwareentwicklung einsetzen? Der folgende Beitrag zeigt, dass bei der Festlegung einer unternehmensweiten Entwicklungsmethode nicht die Frage nach der Modellierungssprache im Vordergrund stehen sollte. Viel entscheidender für den Erfolg von Softwareentwicklungsprojekten in einem Unternehmen ist ein einheitliches Verständnis der Entwicklungskonzepte und -artefakte sowie ihrer Beziehungen untereinander. Eine Einigung über ein unternehmensweites Domänenmodell der Softwareentwicklungskonzepte sollte deshalb vor der Auswahl von Modellierungssprachen, eines konkreten Vorgehensmodells und geeigneter Werkzeuge erfolgen. |
BibTeX:
@article{ESS2008,
author = {Gregor Engels AND Stefan Sauer AND Christian Soltenborn},
title = {Unternehmensweit verstehen -- unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode},
journal = {Informatik-Spektrum},
year = {2008},
volume = {31},
number = {5},
pages = {451--459},
doi = {10.1007/s00287-008-0274-9}
}
|
| Farag'o D, Törsel A-M, Mlynarski M, Weißleder S, Güldali B and Brandes C (2013), "Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt", OBJEKTspektrum., Juni, 2013. (4), pp. 32-38. |
| Abstract: Modellbasiertes Testen verspricht potenziell eine höhere Effizienz und Effektivität im Testprozess. Ob im eigenen Kontext der Einsatz wirtschaftlich ist, ist jedoch häufig unklar. Dieser Beitrag analysiert systematisch Kosten- und Nutzenfaktoren und stellt ein Verfahren zur Abschätzung der Wirtschaftlichkeit des modellbasierten Testens vor. Anhand eines Beispiels wird der Ablauf veranschaulicht. |
BibTeX:
@article{FaragoToerselMlynarskiEtAl2013,
author = {David Farag'o AND Arne-Michael Törsel AND Michael Mlynarski AND Stephan Weißleder AND Baris Güldali AND Christian Brandes},
title = {Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt},
journal = {OBJEKTspektrum},
year = {2013},
number = {4},
pages = {32-38},
url = {http://www.sigs-datacom.de/fachzeitschriften/objektspektrum/archiv/artikelansicht.html?tx_mwjournals_pi1[pointer]}
}
|
| Gerth C, Küster J, Luckey M and Engels G (2010), "Precise Detection of Conflicting Change Operations using Process Model Terms", In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10). Berlin/Heidelberg, October, 2010. Vol. 6395, pp. 93-107. Springer. |
| Abstract: Version management of process models requires that changes can be resolved by applying change operations. Conflict detection is an important part of version management and the minimization of the number of detected conflicts also reduces the overhead when resolving changes. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computationof conflicts solely on the syntax leads to an unnecessary high number of conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts, using a term formalization of process models. Using this approach, we can significantly reduce the number of overall conflicts and thereby reduce the amount of work for the user when resolvingconflicts. |
BibTeX:
@inproceedings{GerthModels10,
author = {Christian Gerth AND Jochen Küster AND Markus Luckey AND Gregor Engels},
editor = {D.C. Petriu, N. Rouquette, and Ø. Haugen},
title = {Precise Detection of Conflicting Change Operations using Process Model Terms},
booktitle = {Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)},
publisher = {Springer},
year = {2010},
volume = {6395},
pages = {93--107},
note = {ACM Distinguished Paper Award MODELS 2010.},
doi = {10.1007/978-3-642-16129-2_8}
}
|
| Gerth C, Luckey M, Küster J and Engels G (2011), "Precise Mappings between Business Process Models in Versioning Scenarios", In Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11). , pp. 218-225. IEEE Computer Society. |
| Abstract: In the development process of service-oriented systems, business process models are used at different levels. Typically, high-level business process models that describe business requirements and needs are stepwise refined to the IT level by different business modelers and software architects. As a result, different process model versions must be compared and merged by means of model version control. An important prerequisite for process model version control is an elaborated matching approach that results in precise mappings between different process model versions. The challenge of such an approach is to deal with syntactically different process models that are semantically equivalent. For that purpose, matching techniques must consider the semantics of process modeling languages. In this paper, we present a matching approach for process models in a versioning scenario. Based on a term formalization of process models, we enable an efficient and effective way to match syntactically different but semantically equivalent process models resulting in precise mappings. |
BibTeX:
@inproceedings{GerthSCC11,
author = {Christian Gerth AND Markus Luckey AND Jochen Küster AND Gregor Engels},
title = {Precise Mappings between Business Process Models in Versioning Scenarios},
booktitle = {Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11)},
publisher = {IEEE Computer Society},
year = {2011},
pages = {218-225},
url = {http://dx.doi.org/10.1109/SCC.2011.65}
}
|
| Grieger M, Güldali B and Sauer S (2012), "Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung", Softwaretechnik-Trends. Vol. 32(2), pp. 37-38. |
BibTeX:
@article{GGSWSR142012,
author = {Marvin Grieger AND Baris Güldali AND Stefan Sauer},
title = {Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung},
journal = {Softwaretechnik-Trends},
year = {2012},
volume = {32},
number = {2},
pages = {37-38},
url = {http://pi.informatik.uni-siegen.de/stt/32_2/01_Fachgruppenberichte/SRE_TAV/11-grieger.pdf}
}
|
| Güldali B, Jungmayr S, Mlynarski M, Neumann S and Winter M (2010), "Starthilfe für modellbasiertes Testen", OBJEKTspektrum., April, 2010. (3), pp. 63-69. |
| Abstract: Modellbasiertes Testen ist eine Technik, die durch den Einsatz von abstrakten Modellen und geeigneten Algorithmen bestimmte manuelle Aktivitäten, wie z. B. das Testdesign, unterstützt. Die Einführung von modellbasiertem Testen hat das Potenzial, die Testüberdeckung durch die automatische Generierung von Testfällen zu erhöhen und somit das Vertrauen in die Software zu steigern. Den Einsparungen von manuellen Testaktivitäten steht aber der Zusatzaufwand für die Erstellung der Modelle gegenüber. Projekt- und Testmanager stehen also vor der Frage, ob modellbasiertes Testen in ihrer konkreten Testorganisation eine sinnvolle Investition darstellt. Dieser Artikel erklärt die wesentlichen Begriffe zum Thema modellbasiertes Testen und gibt Entscheidungsträgern eine heuristische Entscheidungshilfe an die Hand. |
BibTeX:
@article{gjmnw10,
author = {Baris Güldali AND Stefan Jungmayr AND Michael Mlynarski AND Stefan Neumann AND Mario Winter},
title = {Starthilfe für modellbasiertes Testen},
journal = {OBJEKTspektrum},
year = {2010},
number = {3},
pages = {63-69},
url = {http://www.sigs-datacom.de/fileadmin/user_upload/zeitschriften/os/2010/03/gueldali_OS_03_10.pdf}
}
|
| Güldali B, Sauer S and Löhr P (2012), "Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme", Softwaretechnik-Trends., In Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)., Mai, 2012. Vol. 32, pp. 5-6. Softwaretechnik-Trends. |
BibTeX:
@inproceedings{GSL2012,
author = {Baris Güldali AND Stefan Sauer AND Perdita Löhr},
editor = {Udo Kelter},
title = {Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme},
booktitle = {Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)},
journal = {Softwaretechnik-Trends},
publisher = {Softwaretechnik-Trends},
year = {2012},
volume = {32},
pages = {5-6},
url = {http://pi.informatik.uni-siegen.de/stt/32_2/01_Fachgruppenberichte/OOSE_SWA/03_Gueldali-Sauer-Loehr-MMSM2012.pdf}
}
|
| Grieger M and Sauer S (2013), "Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung", Software Engineering 2013 Workshopband., In Software Engineering 2013 Workshopband. , pp. 189-200. GI, Köllen Druck+Verlag GmbH, Bonn. |
BibTeX:
@inproceedings{GSSEDFF2013,
author = {Marvin Grieger AND Stefan Sauer},
editor = {Stefan Wagner und Horst Lichter},
title = {Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung},
booktitle = {Software Engineering 2013 Workshopband},
journal = {Software Engineering 2013 Workshopband},
publisher = {GI, Köllen Druck+Verlag GmbH, Bonn},
year = {2013},
pages = {189-200},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings215/189.pdf}
}
|
| Güldali B, Rose M, Teetz A, Flake S and Rust C (2015), "Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität", Softwaretechnik-Trends., Juni, 2015. Vol. 35(1), pp. 1-5.
[BibTeX] |
BibTeX:
@article{Gül15,
author = {Baris Güldali AND Mirko Rose AND Alexander Teetz AND Stephan Flake AND Carsten Rust},
title = {Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität},
journal = {Softwaretechnik-Trends},
year = {2015},
volume = {35},
number = {1},
pages = {1-5}
}
|
| Guo P and Heckel R (2004), "Simulation and Testing of Mobile Computing Systems using Fujaba", In Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany). Darmstadt, Germany, September, 2004. |
| Abstract: The paper presents an approach for analysis, modeling and validation of mobile information systems with the tool support of Fujaba. The approach is developed based on UML-like meta models and graph transformation techniques to support sound methodological principals, normal analysis and refinement. With conceptual and concrete level of modeling and simulation, the approach could support application development and the development of new mobile platforms. The approach also provides automatic analysis, validation and behavior consistency check with the support of Fujaba. |
BibTeX:
@inproceedings{Guo2004a,
author = {Ping Guo AND Reiko Heckel},
title = {Simulation and Testing of Mobile Computing Systems using Fujaba},
booktitle = {Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)},
year = {2004}
}
|
| Guo P, Engels G and Heckel R (2005), "Architectural Style - Based Modeling and Simulation of Complex Software Systems", In Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan). Washington, DC, USA, December, 2005. , pp. 367-374. IEEE Computer Society. |
| Abstract: The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural style-based approach to specifying and analyzing complex software systems. The approach is developed based on UML-like meta models and graph transformation techniques to support sound methodological principals, formal analysis and refinement. The approach is illustrated through the specification and simulation of architectural styles of mobile computing middleware, where three abstract levels of architectural styles are defined in order to decrease the complexity brought by mobility. |
BibTeX:
@inproceedings{Guo2005,
author = {Ping Guo AND Gregor Engels AND Reiko Heckel},
title = {Architectural Style - Based Modeling and Simulation of Complex Software Systems},
booktitle = {Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan)},
publisher = {IEEE Computer Society},
year = {2005},
pages = {367--374},
doi = {10.1109/APSEC.2005.41}
}
|
| Hausmann JH (2003), "Metamodeling Relations - Relating Metamodels", In Proceedings of the Metamodelling for MDA workshop, York (UK)., November, 2003. , pp. 147-161. University of York. |
| Abstract: Formalizing the relation between the different artifacts in asoftware development is the basis for transformations and consistencymaintenance.The Model Driven Architecture (MDA) proposes this kindof automated support for a multi-model approach to software development,but a technique for specifying these relations is not yet established.In this paper, we define an extension of a metamodeling languagefor specifying mappings between metamodels. The language allowsmappings to be expressed, independent of transformation directionand platform-specific implementations, and supports partial definitions.A concrete, visual syntax for this language has been previously proposed.This paper focuses on its metamodel definition. |
BibTeX:
@inproceedings{Hausmann2003a,
author = {Jan Hendrik Hausmann},
title = {Metamodeling Relations - Relating Metamodels},
booktitle = {Proceedings of the Metamodelling for MDA workshop, York (UK)},
publisher = {University of York},
year = {2003},
pages = {147--161}
}
|
| Hausmann JH (2005), "Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages". Thesis at: University of Paderborn., October, 2005. |
| Abstract: The technique of Dynamic Meta Modeling allows for specifying the semantics of visual modeling languages (like, e.g., the Unified Modeling Language, UML). It is aimed at combining formal rigor (allowing for automated processing of expressions in the language and reasoning about them) with a user-friendly visual notation. We do explicitly exploit the meta modeling paradigm to provide our formalizations within a form known to the expected user base.Technically, DMM uses an innovative combination of elements from denotational and operational semantics together with Graph Transformations. The thesis furthermore introduces a technically richer concept of relations to the Meta Object Facility (MOF).As an extended application example the core semantics of UML Activity Diagrams are formalized within this thesis. Pragmatic guidelines to formulate specifications in DMM and tool support to test the effect of such specifications complete the thesis. |
BibTeX:
@phdthesis{Hausmann2005a,
author = {Jan Hendrik Hausmann},
title = {Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages},
school = {University of Paderborn},
year = {2005}
}
|
| Engels G and Heckel R (2000), "Graph Transformation and Visual Modeling Techniques", Bulletin of the EATCS., June, 2000. (71), pp. 186-202. |
| Abstract: In order to provide semantic support for visual modeling techniques, new techniques have to be developed which help us to narrow the conceptual gap between graph-based visual modeling techniques like the UML and established methodologies of programming language semantics almost exclusively based on trees and terms. Concepts and results from the area of graph transformation can be used both as a basis for high-level rule-based visual languages, and as semantic domain for visual modeling techniques focusing on the structural and behavioral aspects of today's software systems. Moreover, graph transformation can provide the necessary technology in order to develop the graph-based counterparts of the denotational, operational, or algebraic semantics paradigms in the field of programming languages.In this paper, we substantiate these claims by examples of the use of graph transformation as visual modeling notion, semantic domain, and for the semantics of diagram languages. |
BibTeX:
@article{HE00,
author = {Gregor Engels AND Reiko Heckel},
title = {Graph Transformation and Visual Modeling Techniques},
journal = {Bulletin of the EATCS},
year = {2000},
number = {71},
pages = {186--202}
}
|
| Heckel R and Lohmann M (2006), "Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts", International Journal on Software Tools for Technology Transfer (STTT)., August, 2006. Vol. 9(2), pp. 193-207. |
| Abstract: The model-driven architecture focuses on the evolution and integration of applications across heterogeneous platforms by means of generating implementations from platform-independent models. Most of the existing realizations of this idea are limited to static models. We propose a model-driven approach to the development of reactive information systems, like dynamic Web pages or Web services, modeling their typical request-query-update-response pattern by means of graph transformation rules. Rather than generating executable code from these models we focus on the verification of the consistency between different sub-models and an implementation that may have been produced manually. The main technical tool for achieving this goal is a mapping of graph transformation rules to contracts expressed in the Java Modeling Language. |
BibTeX:
@article{Heckel2006,
author = {Reiko Heckel AND Marc Lohmann},
title = {Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
year = {2006},
volume = {9},
number = {2},
pages = {193--207}
}
|
| Heckel R, Küster J, Bandener N, Güldali B, Jahnich I, Köpke C and Weking M (2003), "Automatische Qualitätssicherung von UML Modellen". Thesis at: University of Paderborn., December, 2003. (tr-ri-03-245) |
| Abstract: Mit unserer Consistency Workbench (ConWork) haben wir ein Framework zur Transformationvon UML-Modellen geschaffen. Diese Transformationen geschehen anhand einer Regelmenge.So wird UML, welches keine formale Semantik hat, in eine Zielsprache mit einer formalenSemantik transformiert. Das Ergebnis der Transformation wird an einen Model-Checker weitergegeben,der die eigentliche Überprüfung vornimmt. Schließlich wird das Ergebnis derÜberprüfung von ConWork angezeigt. Der Softwareentwickler weiß nun, ob sein Projekt konsistentist oder nicht.Zur Zeit ist es nur möglich die Protokollkonsistenz zwischen Objekten zu überprüfen, da imMoment nur Regelmengen für die Transformation von Statecharts implementiert sind. Für dieTransformation von weiteren UML-Diagrammtypen sind bereits die theoretischen Grundlagenvorhanden aber noch nicht in die Praxis umgesetzt. |
BibTeX:
@techreport{Heckel245,
author = {Reiko Heckel AND Jochen Küster AND Nils Bandener AND Baris Güldali AND Isabell Jahnich AND Christian Köpke AND Michael Weking},
title = {Automatische Qualitätssicherung von UML Modellen},
school = {University of Paderborn},
year = {2003},
number = {tr-ri-03-245},
url = {http://wwwcs.uni-paderborn.de/cs/ag-engels/ag_dt/Courses/Lehrveranstaltungen/SS02/AQUASIUM/Web/index.html}
}
|
| Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C and Wehrheim H (2010), "Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques", In Proceedings of the 8th International Conference on Integrated Formal Methods (IFM 2010). Berlin/Heidelberg Vol. 6396, pp. 183-198. Springer. |
| Abstract: Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different.In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation.We proceed to compare the proofs and discuss scalability to a more realistic setting. |
BibTeX:
@inproceedings{HKRSSW2010,
author = {Mathias Hülsbusch AND Barbara König AND Arend Rensink AND Maria Semenyak AND Christian Soltenborn AND Heike Wehrheim},
editor = {D. M'ery, S. Merz},
title = {Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques},
booktitle = {Proceedings of the 8th International Conference on Integrated Formal Methods (IFM 2010)},
publisher = {Springer},
year = {2010},
volume = {6396},
pages = {183--198},
doi = {10.1007/978-3-642-16265-7_14}
}
|
| Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C and Wehrheim H (2010), "Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques". Thesis at: Centre for Telematics and Information Technology of the University of Twente. Enschede, The Netherlands |
| Abstract: Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different.In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting. |
BibTeX:
@techreport{HKRSSW2010TR,
author = {Mathias Hülsbusch AND Barbara König AND Arend Rensink AND Maria Semenyak AND Christian Soltenborn AND Heike Wehrheim},
title = {Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques},
school = {Centre for Telematics and Information Technology of the University of Twente},
year = {2010}
}
|
| Heckel R, Lohmann M and Thöne S (2003), "Towards a UML Profile for Service-Oriented Architectures", In Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands). Enschede, The Netherlands, June , 2003. Vol. TR--CTIT--03--27, pp. 115-120. University of Twente. |
BibTeX:
@inproceedings{HLT03MDAFA,
author = {Reiko Heckel AND Marc Lohmann AND Sebastian Thöne},
editor = {A. Rensink},
title = {Towards a UML Profile for Service-Oriented Architectures},
booktitle = {Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands)},
publisher = {University of Twente},
year = {2003},
volume = {TR--CTIT--03--27},
pages = {115--120},
url = {http://trese.cs.utwente.nl/mdafa2003/proceedings.pdf}
}
|
| Huma Z, Gerth C, Engels G and Juwig O (2013), "Automated Service Composition for On-the-Fly SOAs", In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC'13). Berlin/Heidelberg Vol. 8274, pp. 524-532. Springer-Verlag. |
| Abstract: In the service-oriented computing domain, the number of available software services steadily increased in recent years, favored by the rise of cloud computing with its attached delivery models like Software as-a-Service (SaaS). To fully leverage the opportunities provided by these services for developing highly flexible and aligned SOA, integration ofnew services as well as the substitution of existing services must be simplifi ed. As a consequence, approaches for automated and accurate service discovery and composition are needed. In this paper, we propose an automatic service composition approach as an extension to our earlier work on automatic service discovery. To ensure accurate results, it matches the service request and available off ers based on their structural as well asbehavioral aspects. Afterwards, possible service compositions are determined by composing the service protocols through a composition strategy based on labeled transition systems. |
BibTeX:
@inproceedings{ICSOC13,
author = {Zille Huma AND Christian Gerth AND Gregor Engels AND Oliver Juwig},
title = {Automated Service Composition for On-the-Fly SOAs},
booktitle = {Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC'13)},
publisher = {Springer-Verlag},
year = {2013},
volume = {8274},
pages = {524--532}
}
|
| Mlynarski M (2008), "Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen", In Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn. Bonn , pp. 87-90. Gesellschaft für Informatik (GI).
[BibTeX] |
BibTeX:
@inproceedings{Informatiktage2008,
author = {Michael Mlynarski},
title = {Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen},
booktitle = {Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn},
publisher = {Gesellschaft für Informatik (GI)},
year = {2008},
pages = {87-90}
}
|
| Küster J (2001), "Towards Behavior Consistent Modeling in UML-RT", In Proceedings of the Forum on Design Languages (FDL'01). Lyon, France, September, 2001.
[BibTeX] |
BibTeX:
@inproceedings{Kuester01,
author = {Jochen Küster},
title = {Towards Behavior Consistent Modeling in UML-RT},
booktitle = {Proceedings of the Forum on Design Languages (FDL'01)},
year = {2001}
}
|
| Küster J, Koehler J and Ryndina K (2006), "Improving Business Process Models with Reference Models in Business-Driven Development", In 2nd Workshop on Business Processes Design (BPD'06). Berlin/Heidelberg, September, 2006. Vol. 4103, pp. 35-44. Springer. |
| Abstract: Reference models capture best-practice solutions for a specific industry such as retail, banking, or insurance. The models usually cover the whole range of solution components such as productmodels, business rules, datamodels, and service models. Over the past years, business process reference models have gained increasing attention. Process merging is a technique that brings together several process models to create a new process model. In this paper, we introduce process merging for a scenario which focuses on the improvement of an existing AS-IS business process by using a reference process model. We describe an approach that enables a business architect to establish correspondences between two process models in a systematic way and show how these correspondences define concrete refactoring operations that serve to improve the AS-IS model. |
BibTeX:
@inproceedings{Kuester2006b,
author = {Jochen Küster AND Jana Koehler AND Ksenia Ryndina},
title = {Improving Business Process Models with Reference Models in Business-Driven Development},
booktitle = {2nd Workshop on Business Processes Design (BPD'06)},
publisher = {Springer},
year = {2006},
volume = {4103},
pages = {35--44},
doi = {10.1007/11837862}
}
|
| Küster J and Stehr J (2003), "Towards Explicit Behavioral Consistency Concepts in the UML", In Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA). |
| Abstract: In this paper, we show how different behavioral consistencyconcepts can be formed for sequence diagrams andstatecharts. Our approach relies on the partial translationof models into a semantic domain and on the definitionof explicit consistency conditions. Partial translationsand consistency conditions can be combined to form an explicitconsistency concept. In order to make our approachapplicable in practice, we discuss the issue of tool supportand favor the development of a so-called consistency workbench. |
BibTeX:
@inproceedings{KuesterSCESM2003,
author = {Jochen Küster AND Jan Stehr},
title = {Towards Explicit Behavioral Consistency Concepts in the UML},
booktitle = {Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA)},
year = {2003}
}
|
| Küster J (2004), "Towards Inconsistency Handling of Object-Oriented Behavioral Models", In International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain). Amsterdam ,The Netherlands, December, 2004. Vol. 109, pp. 57-69. Elsevier. |
| Abstract: With the Unified Modeling Language being used in diverse contexts, the ability of defining and checking customized consistency conditions is of increasing importance. Often, consistency checks rely on existing formal analysis tools such as model checkers and require the translation of models into input languages of these tools.The technique of inconsistency handling aims at systematically dealing with inconsistencies de- tected by such consistency checks. Resolution of inconsistencies typically involves changing the model, with guidance of the software engineer or completely automated in the ideal case. As a consequence, in cases where formal analysis tools are used for consistency checks, the output of these tools must be presented in a form understandable for the software engineer.In this paper, we develop a concept for inconsistency handling of object-oriented behavioral models and discuss how graph transformation can be used for reconstructing UML models from outputs generated by analysis tools. |
BibTeX:
@inproceedings{Kuster2004a,
author = {Jochen Küster},
title = {Towards Inconsistency Handling of Object-Oriented Behavioral Models},
booktitle = {International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)},
publisher = {Elsevier},
year = {2004},
volume = {109},
pages = {57-69},
doi = {10.1016/j.entcs.2004.02.056}
}
|
| Löffler R, Güldali B and Geisen S (2010), "Towards Model-based Acceptance Testing for Scrum", Softwaretechnik-Trends., August, 2010. Vol. 30(3), pp. 9-12. |
| Abstract: In agile processes like Scrum, strong customer involve-ment requires techniques to support requirements anal-ysis and acceptance testing. Additionally, test automa-tion is crucial, as incremental development and contin-uous integration need high efforts for testing. To copewith these challenges, we propose a model-based tech-nique for documenting customer's requirements usingtest models. These can be used by the developers asrequirements specification and by the testers for accep-tance testing. We use light-weight and easy-to-learnmodeling languages. Based on the test models, we gen-erate test scripts for FitNesse and Selenium, which arewell-known test tools in the agile community. |
BibTeX:
@article{lgg2010,
author = {Renate Löffler AND Baris Güldali AND Silke Geisen},
title = {Towards Model-based Acceptance Testing for Scrum},
journal = {Softwaretechnik-Trends},
year = {2010},
volume = {30},
number = {3},
pages = {9--12},
url = {http://pi.informatik.uni-siegen.de/stt/30_3/01_Fachgruppenberichte/TAV/03_TAV30PapierLoeffler.pdf}
}
|
| Luckey M, Erwig M and Engels G (2012), "Systematic Evolution of Model-Based Spreadsheet Applications", Journal of Visual Languages and Computing., Oct, 2012. Vol. 23(5), pp. 267-286. |
BibTeX:
@article{luckey_jvlc12,
author = {Markus Luckey AND Martin Erwig AND Gregor Engels},
title = {Systematic Evolution of Model-Based Spreadsheet Applications},
journal = {Journal of Visual Languages and Computing},
year = {2012},
volume = {23},
number = {5},
pages = {267-286},
url = {http://dx.doi.org/10.1016/j.jvlc.2011.11.009}
}
|
| Mlynarski M (2007), "Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen" |
| Abstract: Sowohl in der Fach- als auch der Forschungsliteratur werden Anwender mit Stichwörtern wie SOA, BPMS, WfMS, u.a. überschüttet. Vielzahl der innovativen Konzepte verfolgt den modellbasierten Ansatz. Ziel ist es aus den Modellen möglichst automatisch Code zu generieren. Dieses Vorgehen soll serviceorientierte Architekturen schnell und kostengünstig generieren. Die Schwachstelle solcher Generierungsprozesse liegt in der transparenten Qualitätssicherung. Um die Konsistenz zwischen der abstrakten Modellierungsebene (Geschäftsprozesse) und der Implementierung zu stärken, wende ich in meiner Arbeit die sog. visuellen Kontrakte um das Problem der Qualitätssicherung anzugehen. |
BibTeX:
@mastersthesis{Mly07,
author = {Michael Mlynarski},
title = {Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen},
year = {2007},
url = {http://www.cs.uni-paderborn.de/uploads/tx_dsorexams/Master_Thesis_Michael_Mlynarski.pdf}
}
|
| Mlynarski M (2010), "Holistic Model-Based Testing for Business Information Systems", In Proceedings of 3rd International Conference on Software Testing, Verification and Validation., April, 2010. , pp. 327-330. IEEE Computer Society. |
| Abstract: Growing complexity of today's software development requires new and better techniques in software testing. A promising one seems to be model-based testing. The goal is to automatically generate test artefacts from models, improve test coverage and guarantee traceability. Typical problems are missing reuse of design models and test case explosion. Our research work aims to find a solution for the mentioned problems in the area of UML and Business Information Systems. We use model transformations to automatically generate test models from manually annotated design models using a holistic view. In this paper we define and justify the research problem and present first results. |
BibTeX:
@inproceedings{Mlynarski2010a,
author = {Michael Mlynarski},
title = {Holistic Model-Based Testing for Business Information Systems},
booktitle = {Proceedings of 3rd International Conference on Software Testing, Verification and Validation},
publisher = {IEEE Computer Society},
year = {2010},
pages = {327--330}
}
|
| Mlynarski M, Güldali B, Späth M and Engels G (2009), "From Design Models to Test Models by Means of Test Ideas", In MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation. New York, NY, USA , pp. 1-10. ACM. |
| Abstract: Model-Based Testing is slowly becoming the next level of software testing. It promises higher quality, better coverage and efficient change management. MBT shows two main problems of modeling the test behavior. While modeling test cases test designers rewrite most of the system specification. Further, the number of test cases generated by modern tools is often not feasible. In practice, both problems are not solved. Assuming that the functional design is based on models, we show how to use them for software testing. With so-called test ideas, we propose a way to manually select and automatically transform the relevant parts of the design model into a basic test model that can be used for test case generation. We give an example and discuss the potentials for tool support. |
BibTeX:
@inproceedings{modevva09,
author = {Michael Mlynarski AND Baris Güldali AND Melanie Späth AND Gregor Engels},
editor = {L. L'ucio and S. Weißleder},
title = {From Design Models to Test Models by Means of Test Ideas},
booktitle = {MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation},
publisher = {ACM},
year = {2009},
pages = {1-10},
doi = {10.1145/1656485.1656492}
}
|
| Ellerweg J, Engels G and Güldali B (2008), "Modellbasierter Komponententest mit visuellen Kontrakten", In INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn Vol. 133, pp. 211-214. Gesellschaft für Informatik (GI).
[BibTeX] |
BibTeX:
@inproceedings{MOTES08,
author = {Jens Ellerweg AND Gregor Engels AND Baris Güldali},
editor = {H.-G. Hegering, A. Lehmann, H. J. Ohlbach, C. Scheideler},
title = {Modellbasierter Komponententest mit visuellen Kontrakten},
booktitle = {INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
publisher = {Gesellschaft für Informatik (GI)},
year = {2008},
volume = {133},
pages = {211--214}
}
|
| Platenius MC, Arifulina S, Petrlic R and Schäfer W (2014), "Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching", In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Springer. |
| Abstract: Service matching approaches determine to what extent a provided service matches a requester's requirements. This process is based on service specifications describing functional (e.g., signatures) as well as non-functional properties (e.g., privacy policies). However, we cannot expect service specifications to be complete as providers do not want to share all details of their services' implementation. Moreover, creating complete specifications requires much effort. In this paper, we propose a novel service matching approach taking into account a service's signatures and privacy policies. In particular, our approach applies fuzzy matching techniques that are able to deal with incomplete service specifications. As a benefit, decision-making based on matching results is improved and service matching becomes better applicable in practice. |
BibTeX:
@inproceedings{PAPS14,
author = {Marie Christin Platenius AND Svetlana Arifulina AND Ronald Petrlic AND Wilhelm Schäfer},
title = {Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching},
booktitle = {Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet},
publisher = {Springer},
year = {2014},
note = {to appear}
}
|
| Platenius MC, Arifulina S and Schäfer W (2015), "MatchBox: A Framework for Dynamic Configuration of Service Matching Processes", In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'15)., 4. - 8. Mai, 2015. , pp. 75-84. |
| Abstract: Service discovery in global software markets is performed by brokers who act as intermediaries between service requesters and service providers. In order to discover services, brokers apply service matching for determining whether the specification of a provided service satisfies the requester's requirements. Brokers can already choose between a lot of different service matching approaches considering different service properties (structural, behavioral, and non-functional properties). Different matching approaches can be combined into configurable matching processes leading to a high matching quality (e.g., accurate matching results). However, this combination and configuration is a manual procedure and has to be repeated for different requesters' or market requirements regarding matching quality.In this paper, we propose our framework MatchBox, which supports a broker in reusing existing matching approaches and combining them in a model-driven way based on a reconfigurable model of the matching process. Using this reconfigurable model, MatchBox takes care of control and data flow between matching approaches and executes the modeled processes automatically. As a case study, we integrated eleven matchers into MatchBox to demonstrate that it remains flexibility and reduces effort for a broker at the same time. |
BibTeX:
@inproceedings{PAS15,
author = {Marie Christin Platenius AND Svetlana Arifulina AND Wilhelm Schäfer},
title = {MatchBox: A Framework for Dynamic Configuration of Service Matching Processes},
booktitle = {Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'15)},
year = {2015},
pages = {75--84}
}
|
| Pleuß A, den Bergh JV, Sauer S, Hußmann H and Bödcher A (2007), "Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report", In MoDELS 2006 Workshops. Berlin/Heidelberg Vol. 4364, pp. 101-105. Springer. |
| Abstract: This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI'06) held on October 2nd, 2006 at the MoDELS'06 conference in Genova, Italy. It briefly describes the workshop topic and provides a short overview on the workshop structure. In the main part it introduces the four topics discussed in the workshop's afternoon sessions and summarizes the discussion results. |
BibTeX:
@inproceedings{Pleuss2007,
author = {Andreas Pleuß AND Jan Van den Bergh AND Stefan Sauer AND Heinrich Hußmann AND Alexander Bödcher},
editor = {T. Kühne},
title = {Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report},
booktitle = {MoDELS 2006 Workshops},
publisher = {Springer},
year = {2007},
volume = {4364},
pages = {101--105},
doi = {10.1007/978-3-540-69489-2_13}
}
|
| Rettberg A, Schattkowsky T, Rust C, Müller W and Rammig FJ (2005), "The Reconfigurable UML Machine Project Group", In Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia). Berlin/Heidelberg Vol. 192, pp. 139-147. Springer. |
| Abstract: This paper describes a seminar of a project group consisting of students that realizes a code generation from UML to a reconfigurable hardware platform. The usage of high-level modeling is nowadays essential in the software and in the hardware development. The reason for this is the complexity the industries have to cope with. The idea to specify a hardware system at such a high abstraction level should be realized for a given application within the project group. By dealing with the application the students learn to use these new development methods for system design, especially hardware design. Furthermore, an overview of the structure and organization of project groups are given. |
BibTeX:
@inproceedings{Rettberg2005,
author = {Achim Rettberg AND Tim Schattkowsky AND Carsten Rust AND Wolfgang Müller AND Franz Josef Rammig},
editor = {A. Rettberg, C. Bobda},
title = {The Reconfigurable UML Machine Project Group},
booktitle = {Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)},
publisher = {Springer},
year = {2005},
volume = {192},
pages = {139-147}
}
|
| Sauer S and Engels G (2001), "UML-based Behavior Specification of Interactive Multimedia Applications", In Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy). Washington, DC, USA, September, 2001. , pp. 248-255. IEEE Computer Society. |
| 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. |
BibTeX:
@inproceedings{Sauer2001,
author = {Stefan Sauer AND Gregor Engels},
title = {UML-based Behavior Specification of Interactive Multimedia Applications},
booktitle = {Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)},
publisher = {IEEE Computer Society},
year = {2001},
pages = {248--255},
note = {Best Paper of HCC 2001.},
doi = {10.1109/HCC.2001.995271}
}
|
| Sauer S and Engels G (2007), "Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder", In Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China). Berlin/Heidelberg Vol. 4554, pp. 537-546. Springer. |
| Abstract: GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assembling of the user interface components. We have developed the tool GuiBuilder which follows a model-driven approach to the development of graphical (multimedia) user interfaces. This allows a meta-design approach where user interface developers as well as prospective users of the system are supported in modelling the desired functionality of the GUI on a high level of abstraction that is easy to understand for all involved stakeholders. The model consists of compositional presentation diagrams to model the structure of the user interface and hierarchical statechart diagrams to model its behaviour. GuiBuilder then supports the transformation of the model to Java, i.e., the generation of a working user interface and the simulation of the modelled behaviour. Interactive sessions with the user interface can be recorded and replayed. |
BibTeX:
@inproceedings{Sauer2007,
author = {Stefan Sauer AND Gregor Engels},
editor = {C. Stephanidis},
title = {Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder},
booktitle = {Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)},
publisher = {Springer},
year = {2007},
volume = {4554},
pages = {537--546},
note = {Journal:Universal Access in HCI, Part IBook:HCI (5)},
doi = {10.1007/978-3-540-73279-2_60}
}
|
| Schattkowsky T and Müller W (2004), "Model-Based Design of Embedded Systems", In Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria). Los Alamitos, CA, USA , pp. 121-128. IEEE Computer Society. |
BibTeX:
@inproceedings{Schattkowsky2004a,
author = {Tim Schattkowsky AND Wolfgang Müller},
editor = {J. Gustafsson, T. Aoki, I. Lee},
title = {Model-Based Design of Embedded Systems},
booktitle = {Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)},
publisher = {IEEE Computer Society},
year = {2004},
pages = {121--128},
note = {12-14 May 2004},
url = {http://www.vmars.tuwien.ac.at/isorc2004}
}
|
| Schattkowsky T and Lohmann M (2005), "Towards employing UML Model Mappings for Platform Independent User Interface Design", In Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces. Vol. 159 CEUR-WS.org. |
| Abstract: While model based design of platform independentapplication logic has already shown significantsuccess, the design of platform independent userinterfaces still needs further investigation. Nowadays,user interface design is usually platform specific orbased on C-level cross-platform libraries. In thispaper, we propose a MDA like design approach foruser interfaces based on the transformation of UMLmodels at different levels of abstraction. This enablesplatform independent design of user interfaces and aclear separation of UI and application logic designwhile enabling full use of native controls in the actualuser interface implementation. |
BibTeX:
@inproceedings{Schattkowsky2005a,
author = {Tim Schattkowsky AND Marc Lohmann},
editor = {A. Pleuss, J. Van den Bergh, H. Hussmann, S. Sauer},
title = {Towards employing UML Model Mappings for Platform Independent User Interface Design},
booktitle = {Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces},
publisher = {CEUR-WS.org},
year = {2005},
volume = {159},
url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-159/paper6.pdf}
}
|
| Soltenborn C and Engels G (2011), "Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications", Journal of Visual Languages and Computing. Vol. 22(3), pp. 233-250. |
| Abstract: Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at languages based on a metamodel. A DMM specification consists of a runtime metamodel and operational rules which describe how instances of the runtime metamodel change over time. A known deficiency of the DMM approach is that it does not support the refinement of a DMM specification, e.g., in the case of defining the semantics for a refined and extended domain-specific language (DSL). Up to now, DMM specifications could only be reused by adding or removing DMM rules.In this paper, we enhance DMM such that DMM rules can override other DMM rules, similar to a method being overridden in a subclass, and we show how rule overriding can be realized with the graph transformation tool GROOVE. We argue that rule overriding does not only have positive impact on reusability, but also improves the intuitive understandability of DMM semantics specifications. |
BibTeX:
@article{SE2010,
author = {Christian Soltenborn AND Gregor Engels},
title = {Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications},
journal = {Journal of Visual Languages and Computing},
year = {2011},
volume = {22},
number = {3},
pages = {233--250},
doi = {10.1016/j.jvlc.2010.12.005}
}
|
| Güldali B, Mlynarski M, Wübbeke A and Engels G (2009), "Model-Based System Testing Using Visual Contracts", In Proceedings of Euromicro SEAA Conference 2009, Special Session on ``Model Driven Engineering''. Washington, DC, USA , pp. 121-124. IEEE Computer Society. |
| Abstract: In system testing the system under test (SUT) is tested against high-level requirements which are captured at early phases of the development process. Logical test cases developed from these requirements must be translated to executable test cases by augmenting them with implementation details. If manually done these activities are error-prone and tedious. In this paper we introduce a model-based approach for system testing where we generate first logical test cases from use case diagrams which are partially formalized by visual contracts, and then we transform these to executable test cases using model transformation. We derive model transformation rules from the design decisions of developers. |
BibTeX:
@inproceedings{seaa09/mde,
author = {Baris Güldali AND Michael Mlynarski AND Andreas Wübbeke AND Gregor Engels},
title = {Model-Based System Testing Using Visual Contracts},
booktitle = {Proceedings of Euromicro SEAA Conference 2009, Special Session on ``Model Driven Engineering''},
publisher = {IEEE Computer Society},
year = {2009},
pages = {121-124},
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber}
}
|
| Soltenborn C and Engels G (2009), "Towards Test-Driven Semantics Specification", In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA). Berlin/Heidelberg Vol. 5795, pp. 378-392. Springer. |
| Abstract: Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques.However, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM. |
BibTeX:
@inproceedings{Soltenborn2009a,
author = {Christian Soltenborn AND Gregor Engels},
editor = {A. Schürr, B. Selic},
title = {Towards Test-Driven Semantics Specification},
booktitle = {Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)},
publisher = {Springer},
year = {2009},
volume = {5795},
pages = {378--392},
doi = {10.1007/978-3-642-04425-0_30}
}
|
| Engels G, Fisseler D and Soltenborn C (2009), "Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding", In Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA). Piscataway, NJ (USA) , pp. 39-46. IEEE Computer Society. |
| Abstract: Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at languages equipped with a metamodel. In DMM, the metamodel of a language is mapped into a runtime metamodel able to express runtime states of instances of that language. In addition, graph transformation rules are defined which describe how these runtime states change in time. Given an instance of the runtime metamodel and a set of rules typed over that metamodel, a transition system can be computed which represents the semantics of the model instance under investigation.To be easily understandable by language engineers, DMM resembles a couple of well-known object-oriented concepts. Part of this is the fact that a DMM rule has many similarities to a method in an object-oriented language.In this paper, we enhance DMM such that DMM rules can "override" other DMM rules, similar to a method being overridden in a subclass. We argue that this does not only have positive impact on reusability of DMM specifications, but also improves the intuitive understandability of DMM rules. |
BibTeX:
@inproceedings{Soltenborn2009b,
author = {Gregor Engels AND Daniela Fisseler AND Christian Soltenborn},
editor = {R. DeLine, M. Minas, M. Erwig},
title = {Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding},
booktitle = {Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)},
publisher = {IEEE Computer Society},
year = {2009},
pages = {39--46},
note = {Best Paper of VL/HCC 2009.},
doi = {10.1109/VLHCC.2009.5295302}
}
|
| Bandener N, Soltenborn C and Engels G (2011), "Extending DMM Behavior Specifications for Visual Execution and Debugging", In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010). Berlin/Heidelberg Vol. 6563, pp. 357-376. Springer. |
| Abstract: Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at behavioral languages equipped with a metamodel defining the language's abstract syntax. Given a model and a DMM specifification, a transition system can be computed which represents the semantics of that model. It allows for the investigation of the model's behavior, e.g. for the sake of understanding the model's semantics or to verify that certain requirements are fufilled. However, due to a number of reasons such as tooling and the size of the resulting transition systems, the manual inspection of the resulting transition system is cumbersome.One solution would be a visualisation of the model's behavior using animated concrete syntax. In this paper, we show how we have enhanced DMM such that visual execution and debugging can be added to a language in a simple manner. |
BibTeX:
@inproceedings{Soltenborn2010,
author = {Nils Bandener AND Christian Soltenborn AND Gregor Engels},
editor = {B. Malloy, S. Staab, M. van den Brand},
title = {Extending DMM Behavior Specifications for Visual Execution and Debugging},
booktitle = {Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)},
publisher = {Springer},
year = {2011},
volume = {6563},
pages = {357--376},
url = {http://dx.doi.org/10.1007/978-3-642-19440-5_24}
}
|
| Arifulina S (2011), "Coverage Criteria for Testing DMM Specifications". Thesis at: University of Paderborn.
[BibTeX] |
BibTeX:
@mastersthesis{Svetlana2011,
author = {Svetlana Arifulina},
title = {Coverage Criteria for Testing DMM Specifications},
school = {University of Paderborn},
year = {2011}
}
|
| von der Maßen T and Wübbeke A (2008), "Modellierung von Variabilität in der Geschäftsanalyse -- eine industrielle Fallstudie", In Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PiK 2008). Bonn, Februar, 2008. Vol. 122, pp. 285-296. Gesellschaft für Informatik (GI). |
| Abstract: Der Umgang mit Variabilität ist eine zentrale Herausforderung bei der Einführung einer Software Produktlinie. Variabilität sollte dabei schon zu Beginn der Anforderungsanalyse besondere Beachtung finden. Dieser Beitrag beschreibt erste Schritte und die daraus resultierenden Herausforderungen beim Einsatz zweier bekannter Modellierungstechniken für Artefakte der Geschäftsanalyse im Rahmen einer industriellen Fallstudie. |
BibTeX:
@inproceedings{vdMW08,
author = {Thomas von der Maßen AND Andreas Wübbeke},
editor = {W. Maalej, B. Brügge},
title = {Modellierung von Variabilität in der Geschäftsanalyse -- eine industrielle Fallstudie},
booktitle = {Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PiK 2008)},
publisher = {Gesellschaft für Informatik (GI)},
year = {2008},
volume = {122},
pages = {285--296}
}
|
| Yigitbas E, Mohrmann B and Sauer S (2015), "Model-driven UI Development integrating HCI Patterns", In Proceedings of the International Workshop on Large-scale and model-based Interactive Systems: Approaches and Challenges at EICS'15. Vol. 1380 CEUR Workshop Proceedings.
[BibTeX] |
BibTeX:
@inproceedings{yigitbas_eics15,
author = {Enes Yigitbas AND Bastian Mohrmann AND Stefan Sauer},
title = {Model-driven UI Development integrating HCI Patterns},
booktitle = {Proceedings of the International Workshop on Large-scale and model-based Interactive Systems: Approaches and Challenges at EICS'15},
publisher = {CEUR Workshop Proceedings},
year = {2015},
volume = {1380}
}
|
| Yigitbas E, Fischer H and Sauer S (2014), "Model-based User Interface Development for Adaptive Self-Service Systems", In Proceedings of the 16th International Conference on Human-Computer Interaction (HCI International 2014). Vol. 8517, pp. 206-213. Springer.
[BibTeX] |
BibTeX:
@inproceedings{yigitbas2014HCI,
author = {Enes Yigitbas AND Holger Fischer AND Stefan Sauer},
title = {Model-based User Interface Development for Adaptive Self-Service Systems},
booktitle = {Proceedings of the 16th International Conference on Human-Computer Interaction (HCI International 2014)},
publisher = {Springer},
year = {2014},
volume = {8517},
pages = {206-213}
}
|
| Yigitbas E, Fischer H, Kern T and Paelke V (2014), "Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems", In Proceedings of the 5th International Conference on Human-Centered Software Engineering (HCSE). Vol. 8742, pp. 267-274. Springer.
[BibTeX] |
BibTeX:
@inproceedings{yigitbas2014HCSE,
author = {Enes Yigitbas AND Holger Fischer AND Thomas Kern AND Volker Paelke},
title = {Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems},
booktitle = {Proceedings of the 5th International Conference on Human-Centered Software Engineering (HCSE)},
publisher = {Springer},
year = {2014},
volume = {8742},
pages = {267-274}
}
|
| Yigitbas E, Sauer S and Engels G (2015), "A Model-based Framework for Multi-adaptive Migratory User Interfaces", In Proceedings of the 17th International Conference on Human-Computer Interaction. Vol. 9170, pp. 563-572. Springer.
[BibTeX] |
BibTeX:
@inproceedings{yigitbas2015HCI,
author = {Enes Yigitbas AND Stefan Sauer AND Gregor Engels},
title = {A Model-based Framework for Multi-adaptive Migratory User Interfaces},
booktitle = {Proceedings of the 17th International Conference on Human-Computer Interaction},
publisher = {Springer},
year = {2015},
volume = {9170},
pages = {563-572}
}
|