@proceedings{7777,
  editor       = {{Engels, Gregor and H. Reussner, Ralf and Momm, Christof and Sauer, Stefan}},
  publisher    = {{Karlsruhe}},
  title        = {{{Proceedings of Design for Future - 1. Workshop des GI-Arbeitskreises "Langlebige Softwaresysteme (L2S2)"}}},
  volume       = {{537}},
  year         = {{2009}},
}

@inproceedings{8009,
  abstract     = {{In model-driven development approaches, process models are used at different levels of abstraction and are described by different languages. Similar to other software artifacts, process models are developed in team environments and underlie constant change. This requires reusable techniques for the detection of changes between different process models and the computation of dependencies and conflicts between changes. In this paper, we propose a framework for the construction of process model change management solutions that provides generic techniques for the detection of differences and the computation of dependencies and conflicts between changes. The framework contains an abstract representation for process models that serves as a common denominator for different process models. In addition, we show how the framework is instantiated exemplarily for BPMN.}},
  author       = {{Gerth, Christian and Küster, Jochen and Engels, Gregor}},
  booktitle    = {{Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09). Denver (CO, USA)}},
  pages        = {{152--166}},
  publisher    = {{Springer}},
  title        = {{{Language-Independent Change Management of Process Models}}},
  doi          = {{http://dx.doi.org/10.1007/978-3-642-04425-0_12}},
  volume       = {{5795 }},
  year         = {{2009}},
}

@inproceedings{8011,
  abstract     = {{Enterprises are transforming into enterprises which follow from a business as well as from an IT perspective a service-oriented paradigm. This change towards service-oriented enterprise and IT architectures has to be reflected in the methodologies of developing whole application landscapes as well as individual applications. Quasar (Quality Software Architecture) has been developed as the standard architecture and development method of Capgemini sd&m for individual applications. For the development of service-oriented enterprise application landscapes, Quasar Enterprise has been designed. Both Quasar and Quasar Enterprise are integrated with each other within a holistic software engineering method to seamlessly cover the full development lifecycle of service-oriented application landscapes, from business modeling and service design to actual software development. In this paper, we illustrate how a company-wide ontology of development artifacts serves as the key feature for integrating both methods.}},
  author       = {{Baumann, Andrea and Engels, Gregor and Hofmann, Alexander and Sauer, Stefan and Willkomm, Johannes}},
  booktitle    = {{Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands)}},
  pages        = {{1--17}},
  publisher    = {{Springer}},
  title        = {{{A Holistic Software Engineering Method for Service-Oriented Application Landscape Development}}},
  doi          = {{http://dx.doi.org/10.1007/978-3-642-01859-6}},
  volume       = {{28}},
  year         = {{2009}},
}

@inproceedings{8013,
  abstract     = {{Version management of models is common for structural diagrams such as class diagrams but still challenging for behavioral models such as process models. For process models, conflicts of change operations are difficult to resolve because often dependencies to other change operations exist. As a consequence, conflicts and dependencies between change operations must be computed and shown to the user who can then take them into account while creating a consolidated version. In this paper, we introduce the concepts of dependencies and conflicts of change operations for process models and provide a method how to compute them. We then discuss different possibilities for resolving conflicts. Using our approach it is possible to enable version management of process models with minimal manual intervention of the user.}},
  author       = {{Küster, Jochen and Gerth, Christian and Engels, Gregor}},
  booktitle    = {{Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA'09)}},
  pages        = {{158--173}},
  publisher    = {{Springer}},
  title        = {{{Dependent and Conflicting Change Operations of Process Models}}},
  doi          = {{http://dx.doi.org/10.1007/978-3-642-02674-4_12}},
  volume       = {{5562}},
  year         = {{2009}},
}

@inproceedings{8014,
  author       = {{Engels, Gregor and Geisen, Silke and Sauer, Stefan and Port, Olaf}},
  booktitle    = {{Informatik 2009 - Im Focus das Leben}},
  pages        = {{458}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback}}},
  volume       = {{154}},
  year         = {{2009}},
}

@inproceedings{8015,
  author       = {{Salger, Frank and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the 2nd India Software Engineering Conference (ISEC'09)}},
  pages        = {{129--130}},
  publisher    = {{ACM Press}},
  title        = {{{Integrated Specification and Quality Assurance for Large Business Information Systems}}},
  year         = {{2009}},
}

@inproceedings{8016,
  author       = {{Güldali, Baris and Mlynarski, Michael and Wübbeke, Andreas and Engels, Gregor}},
  booktitle    = {{Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering”}},
  pages        = {{121--124}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Model-Based System Testing Using Visual Contracts}}},
  year         = {{2009}},
}

@inproceedings{8019,
  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.}},
  author       = {{Soltenborn, Christian and Engels, Gregor}},
  booktitle    = {{Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)}},
  pages        = {{378--392}},
  publisher    = {{Springer}},
  title        = {{{Towards Test-Driven Semantics Specification}}},
  doi          = {{http://dx.doi.org/10.1007/978-3-642-04425-0_30}},
  volume       = {{5795}},
  year         = {{2009}},
}

@inproceedings{8020,
  author       = {{Engels, Gregor and Fisseler, Daniela and Soltenborn, Christian}},
  booktitle    = {{Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)}},
  pages        = {{39--46}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding}}},
  doi          = {{http://dx.doi.org/10.1109/VLHCC.2009.5295302}},
  year         = {{2009}},
}

@inproceedings{8021,
  abstract     = {{In acceptance testing, customer requirements as specified in system specifications have to be tested for their successful implementation. This is a time-consuming task due to inherent system complexity and thus a large number of requirements. In order to reduce efforts in acceptance testing, we introduce a novel approach that exploits redundancies and implicit relations in requirements specifications, which are based on multi-viewpoint techniques, in our case the reference model for open distributed processing (RM-ODP). It deploys requirements clustering and linguistic analysis techniques for reducing the total number of test cases. We report on concrete experiences with this approach within joint R&D work of the Software Quality Lab (s-lab) of the University of Paderborn and HJP Consulting, an international consulting company, specialized in planning, procurement and acceptance testing of national electronic identification (e-ID) systems. The paper is concluded with an overview on the current tool support especially for automated detection of the redundancies and implicit relations in requirements. Also the future work on the tool support for the overall test specification process is discussed.}},
  author       = {{Güldali, Baris and Funke, Holger and Jahnich, Michael and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland}},
  pages        = {{29--39}},
  title        = {{{Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering}}},
  doi          = {{http://dx.doi.org/10.1109/ASE.2009.86}},
  year         = {{2009}},
}

@inproceedings{8022,
  author       = {{Assmann, Martin and Engels, Gregor and von der Maßen, Thomas and Wübbeke, Andreas}},
  booktitle    = {{Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09)}},
  pages        = {{45–56}},
  title        = {{{Identifying Software Product Line Component Services}}},
  year         = {{2009}},
}

@article{7365,
  author       = {{Engels, Gregor}},
  issn         = {{1619-1366}},
  journal      = {{Software & Systems Modeling}},
  number       = {{1}},
  pages        = {{5--6}},
  publisher    = {{Springer Nature}},
  title        = {{{Guest Editorial to the Special Section on MODELS 2007}}},
  doi          = {{10.1007/s10270-009-0140-5}},
  volume       = {{9}},
  year         = {{2009}},
}

@article{7367,
  author       = {{Sauer, Stefan and Engels, Gregor and Willkomm, Johannes and Baumann, Andrea and Hofmann, Alexander}},
  journal      = {{Advances in Enterprise Engineering II}},
  pages        = {{1--17}},
  title        = {{{A Holistic Software Engineering Method for Service-Oriented Application Landscape Development}}},
  year         = {{2009}},
}

@article{7368,
  author       = {{Engels, Gregor and Goedicke, Michael and Goltz, Ursula and Rausch, Andreas and Reussner, Ralf}},
  issn         = {{0170-6012}},
  journal      = {{Informatik-Spektrum}},
  number       = {{5}},
  pages        = {{393--397}},
  publisher    = {{Springer Nature}},
  title        = {{{Design for Future – Legacy-Probleme von morgen vermeidbar?}}},
  doi          = {{10.1007/s00287-009-0356-3}},
  volume       = {{32}},
  year         = {{2009}},
}

@inproceedings{8431,
  author       = {{Mlynarski, Michael and Güldali, Baris and Späth, Melanie and Engels, Gregor}},
  booktitle    = {{MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation}},
  pages        = {{1--10}},
  publisher    = {{ACM}},
  title        = {{{From Design Models to Test Models by Means of Test Ideas}}},
  doi          = {{http://doi.acm.org/10.1145/1656485.1656492}},
  year         = {{2009}},
}

@inproceedings{8432,
  author       = {{Engels, Gregor}},
  booktitle    = {{First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA)}},
  pages        = {{5}},
  publisher    = {{ACM Press (New York, NY, USA)}},
  title        = {{{Automatic Generation of Behavioral Code - too ambitious or even unwanted?}}},
  year         = {{2009}},
}

@inproceedings{8433,
  author       = {{Salger, Frank and Engels, Gregor and Hofmann, Alexander}},
  booktitle    = {{Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)}},
  pages        = {{15--21}},
  title        = {{{Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study}}},
  year         = {{2009}},
}

@inproceedings{8434,
  abstract     = {{The software specification acts as a bridge between customers, architects, software developers and testers. If information gets lost or distorted when building this bridge, the wrong system will be built or the system will not be built in time and budget–or both! Standards and recommendations give advice on how to structure specifications or check software-engineering artefacts with reviews or inspections. But these constructive and analytical approaches are not well integrated with each other. Moreover, they are often too generic to efficiently support the specification of particular system types. In this paper, we present the integrated “specification framework” of Capgemini sd&m. It consists of our specification method for business information systems (BIS) and its concerted analytical counterpart, the “specification quality gate”. Since this framework is tailored to the specification of large BIS, it allows a quick ramp-up phase for software engineering projects without the need for extensive tailoring or extension.}},
  author       = {{Salger, Frank and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands)}},
  pages        = {{25--30}},
  publisher    = {{CEUR}},
  title        = {{{An Integrated Quality Assurance Framework for Specifying Business Information Systems}}},
  volume       = {{453}},
  year         = {{2009}},
}

@inproceedings{8435,
  abstract     = {{Visual Process Pattern (VPP) is a visual language to describe constraints on the behavior of UML Activities. They have been developed for the sake of formulating and verifying requirements on business process models (with Activities being one possible description language). In the VPP approach, a visual pattern is translated into an LTL formula, which can then be verified against a transition system describing the behavior of the Activity under consideration. In this paper, we aim at generalizing VPP. We show how to formulate patterns more generally, using either concrete or abstract syntax of the behavioral model under consideration. Additionally, we describe how these more general patterns can be verified against a model’s behavior.}},
  author       = {{Soltenborn, Christian and Engels, Gregor}},
  booktitle    = {{Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}},
  publisher    = {{European Association of Software Science and Technology}},
  title        = {{{Towards Generalizing Visual Process Pattern}}},
  volume       = {{25}},
  year         = {{2009}},
}

@inproceedings{3207,
  author       = {{Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}},
  editor       = {{Schieferdecker, Ina and Hartman, Alan}},
  pages        = {{94----109}},
  title        = {{{From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}}},
  doi          = {{10.1007/978-3-540-69100-6_7}},
  year         = {{2008}},
}