@inproceedings{630,
  abstract     = {{Maintaining software systems requires up-to-date models of these systems to systematically plan, analyse and execute the necessary reengineering steps. Often, no or only outdated models of such systems exist. Thus, a reverse engineering step is needed that recovers the system’s components, subsystems and connectors. However, reverse engineering methods are severely impacted by design deficiencies in the system’s code base, e.g., they lead to wrong component structures. Several approaches exist today for the reverse engineering of component-based systems, however, none of them explicitly integrates a systematic design deficiency removal into the process to improve the quality of the reverse engineered architecture. Therefore, in our Archimetrix approach, we propose to regard the most relevant deficiencies with respect to the reverse engineered component-based architecture and support reengineers by presenting the architectural consequences of removing a given deficiency. We validate our approach on the Common Component Modeling Example and show that we are able to identify relevant deficiencies and that their removal leads to an improved reengineered architecture.}},
  author       = {{Platenius, Marie Christin and von Detten, Markus and Becker, Steffen}},
  booktitle    = {{Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)}},
  pages        = {{255--264}},
  title        = {{{Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}}},
  doi          = {{10.1109/CSMR.2012.33}},
  year         = {{2012}},
}

@inproceedings{631,
  abstract     = {{Maintaining software systems requires up-to-date models of these systems to systematically plan, analyze, and execute the necessary reengineering steps. Often, no or only outdated models of such systems exist.Thus, a reverse engineering step is needed that recovers the system's components, subsystems, and connectors. However, reverse engineering methods are severely impacted by design deficiencies in the system's code base, e.g., they lead to wrong component structures.Therefore, Archimetrix enables the reengineer to detect the most relevant deficiencies with respect to a reverseengineered component-based architecture and supports him by presenting the architectural consequences of removinga given deficiency.}},
  author       = {{von Detten, Markus}},
  booktitle    = {{Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)}},
  pages        = {{503 -- 504 }},
  title        = {{{Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction}}},
  doi          = {{10.1109/WCRE.2012.61}},
  year         = {{2012}},
}

@inproceedings{639,
  abstract     = {{Service-oriented computing (SOC) emerges as a promising trend solving many issues in distributed software development. Following the essence of SOC, service descriptions are dened by the service partners based on current standards, e.g., WSDL [15]. However, these standards are mostly structural and do not provide any behavioral description, which may lead to inaccurate service discovery results. There is a requirement for a rich service description language for service partners that encompasses the structural as well as behavioral information in the service description. Furthermore, service discovery based on an automatic matching of these comprehensive service descriptions is a complex task, which is further complicated through the heterogeneity of the service partners' domains in terms of dierent underlying ontologies. In this paper, we propose a rich service description language based on UML, which allows the specication of structural and behavioral features of a service. In addition, we also briefly discuss how some existing matching approaches can be extended to dene an automatic matching mechanism for rich service descriptions resolving the underlying heterogeneity.}},
  author       = {{Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}},
  booktitle    = {{Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering}},
  pages        = {{90----97}},
  title        = {{{A UML-based Rich Service Description for Automatic Service Discovery}}},
  year         = {{2012}},
}

@inproceedings{644,
  abstract     = {{In reverse engineering, dynamic pattern detection is accomplished by collecting execution traces and comparing them to expected behavioral patterns. The traces are collected by manually executing the program in question and therefore represent only part of all relevant program behavior. This can lead to false conclusions about the detected patterns. In this paper, we propose to generate all relevant program traces by using symbolic execution. In order to reduce the created trace data, we allow to limit the trace collection to a user-selectable subset of the statically detected pattern candidates.}},
  author       = {{von Detten, Markus}},
  booktitle    = {{Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)}},
  pages        = {{17--20}},
  title        = {{{Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution}}},
  doi          = {{10.1145/2024569.2024573}},
  year         = {{2011}},
}

@misc{650,
  author       = {{Platenius, Marie Christin}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Reengineering of Design Deficiencies in Component-Based Software Architectures}}},
  year         = {{2011}},
}

@inproceedings{652,
  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.}},
  author       = {{Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)}},
  pages        = {{218----225}},
  title        = {{{Precise Mappings between Business Process Models in Versioning Scenarios}}},
  doi          = {{10.1109/SCC.2011.65}},
  year         = {{2011}},
}

@misc{661,
  author       = {{Arifulina, Svetlana}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Coverage Criteria for Testing DMM Specifications}}},
  year         = {{2011}},
}