@inproceedings{7957, abstract = {{Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden. Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im Kontext einer SOA vor.}}, author = {{Engels, Gregor and Güldali, Baris and Juwig, Oliver and Lohmann, Marc and Richter, Jan-Peter}}, booktitle = {{Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}}, pages = {{111--122}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen}}}, doi = {{http://dx.doi.org/10.1007/11841883}}, volume = {{79}}, year = {{2006}}, } @techreport{8215, author = {{Lohmann, Marc and Richter, Jan-Peter and Engels, Gregor and Güldali, Baris and Juwig, Oliver and Sauer, Stefan}}, publisher = {{University of Paderborn, s-lab}}, title = {{{Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie}}}, year = {{2006}}, } @article{7376, author = {{Heckel, Reiko and Lohmann, Marc}}, journal = {{International Journal on Software Tools for Technology Transfer (STTT)}}, number = {{2}}, pages = {{193--207}}, title = {{{Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts}}}, volume = {{9}}, year = {{2006}}, } @article{7377, author = {{Küster, Jochen}}, journal = {{Software and Systems Modeling}}, number = {{3}}, pages = {{233--259}}, title = {{{Definition and Validation of Model Transformations}}}, doi = {{http://dx.doi.org/10.1007/s10270-006-0018-8}}, volume = {{5}}, year = {{2006}}, } @inbook{7549, abstract = {{The current situation of ad hoc development of Web applications reminds us of the software development practices of the 1960s, before it was realized that the development of applications required more than programming expertise. This book counteracts this situation by giving a comprehensive, practice-oriented and thorough insight into the new discipline of Web Engineering. The text highlights the need to examine and re-use the body of knowledge found within software engineering. It demonstrates how to use that knowledge within the Web environment, in order to achieve a highly disciplined and methodological means of producing Web-based software, putting emphasize on current practices, experiences and pitfalls. The book demonstrates the distinctions between software engineering and Web engineering, for instance, the shorter lead times that Web engineering has compared to its software counterpart, whilst also demonstrating the rapid prototyping and agile methods of development needed to meet these criteria. The book covers important topics of Web Engineering, including requirements analysis, design, architectures, technologies, test, operation and maintenance; this is complemented by in-depth knowledge about Web project management and process issues as well as important quality aspects of Web applications like usability, performance and security. An overview of Semantic Web concepts points the way to the development of future Web applications.}}, author = {{Engels, Gregor and Lohmann, Marc and Wagner, Annika}}, booktitle = {{Web Engineering: The Discipline of Systematic Development of Web Applications}}, editor = {{Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.}}, publisher = {{Wiley}}, title = {{{The Web Application Development Process}}}, year = {{2006}}, } @phdthesis{7580, abstract = {{Service oriented architectures promise an easy integration of existing IT systems inside and outside of an organization. Service descriptions and software developers are the pivotal elements when systems are integrated over a service oriented architecture. The integration of a service into a client is based on its public service description. On the service provider side, a software developer develops a service description and implements a service accordingly. Today, a service is implemented mainly manual. Automated code generation techniques are seldom used. On the service requestor side, if a software developer needs a specific functionality he searches for a sufficient service. Thus, the success of service oriented architectures is strongly coupled to the content and usability of service descriptions by software developers. In this thesis we describe how to use contracts on the model level to enable a correct implementation and retrieval of services. In our approach we take the pivotal roles of the software developer and the public service description into account. Especially, we allow for a model-based semantic description, monitoring of the correctness of a service and the comparison of existing service descriptions. Therefore, our approach is based on three important techniques: Visual contracts allow for specifying the semantics of a service. A visual contract consists of a pair of UML composite structure diagrams for the representation of the pre- and post-condition of a service. By using UML composite structure diagrams, we have chosen a graphical notation that is familiar to software developers and easily integrates with today’s model-driven software development processes. By embedding our visual contracts into a software development process we are able to monitor the correctness of a hand-coded implementation. Therefore, we will show how models can be used to generate assertions which monitor the execution of the hand-coded implementation. Herewith, violations of the modeled requirements will be detected at runtime. We call this novel approach model-driven monitoring. Model-driven Matching is a new approach to enable a model-based query of existing services. Therefore, we allow for using visual contracts on the service requestor side to describe a needed service. A matching procedure checks the compatibility of a service description and a service query.}}, author = {{Lohmann, Marc}}, title = {{{Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen}}}, year = {{2006}}, } @phdthesis{7581, abstract = {{One of the main tasks of modern application integration projects is to allow one business unit (requestor) to use services offered by another business unit (provider). When software systems of business partners are composed, an import interface of the requestor system is connected to an exportinterface of the provider system. Here, the import interface specification containing the requestor's requirements for a needed service has to be matched against the export interface specification describing the provided service. Usually, software engineers carry out matching of interface specifications manually; it makes the design and implementation of composite software expensive and error-prone. Therefore, the demand for instruments that would automate the matching procedure is high. In this thesis, we develop a new technique facilitating integration of software systems. To this end, we solve a problem of how to construct visual and formal interface specifications comprising semantic descriptions. Our method also includes a matching procedure that checks compatibility of such specifications. Interface specifications consist of structural and behavioural compartments. The structural compartment, given by a signature analogous to those appearing in algebraic specifications, defines operation declarations. The behavioural compartment, modelled by a conditional graph transformation system (GTS), contains operation contracts in the form of graph transformation rules. The rules of conditional GTS are equipped with loose semantics to describe operations in the import interface, and with strict semantics to describe those in the export interface. Composition of two compartments leads to an integral interface specification which is represented by the novel concept of parameterized conditional GTS. We develop three kinds of compatibility relations underlying the matching procedure. The intended correspondence between declarations and contracts of the required and provided operations is reflected by structural and behavioural compatibility relations that are established over the corresponding compartments of interface specifications. These two compatibility relations are combined into an integral compatibility relation that links the integral specification of the import interface to the one of the export interface. Furthermore, the constructed relations are equipped with rigorously formulated semantic requirements to compatibility and are justified against them. The introduced mathematical theory is supplemented with a conceptual framework. It is aimed at generating interface specifications that are suitable for automation of the matching process. The framework is based on an industry standard that outlines a uniform way of generating specifications. We use the standard issued by the Open Travel Alliance (OTA) in our example scenario where we develop and match standard-based interface specifications of Web services taken from the travelling business domain. Compatibility of interface specifications is necessary but not sufficient for accurate interactions between systems. The integration process is based on the assumption that these systems are correct. First and foremost, this correctness means that interface specifications representing externally visible parts of systems are consistent with implementations which appear internally in the systems. To check this assumption, we propose a model describing external as well as internal parts of a system. The model, formally represented by a graph transformation module, defines consistency relations between external and internal specifications and allows to validate correctness of systems prior to the integration. The proposed model and the matching procedure developed in the thesis are the key elements of a technology designed to improve the application integration process, making it theoretically well-defined and practically machine-processable.}}, author = {{Cherchago, Alexey}}, title = {{{Service Specification and Matching Based on Graph Transformation}}}, year = {{2006}}, } @inproceedings{8404, author = {{Schattkowsky, Tim and Rettberg, Achim and Dömer, Rainer}}, booktitle = {{Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)}}, pages = {{25--28}}, title = {{{Design Space Exploration through Interactive Model Mappings for UML-based Specifications}}}, year = {{2006}}, } @inproceedings{8405, abstract = {{The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present an approach to extend our model-driven monitoring approach to allow for model-driven unit testing. In this approach we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques.}}, author = {{Engels, Gregor and Güldali, Baris and Lohmann, Marc}}, booktitle = {{Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)}}, pages = {{16--29}}, publisher = {{Le Commissariat à l'Energie Atomique - CEA}}, title = {{{Towards Model-Driven Unit Testing}}}, year = {{2006}}, } @inproceedings{8406, author = {{Engels, Gregor and Gehrke, Matthias and Sauer, Stefan}}, booktitle = {{Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)}}, pages = {{281--287}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie}}}, volume = {{93}}, year = {{2006}}, } @inproceedings{8407, author = {{Frohnhoff, Stephan and Jung, Volker and Engels, Gregor}}, booktitle = {{Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)}}, pages = {{511--526}}, publisher = {{Magdeburger Schriften zum Empirischen Software-Engineering}}, title = {{{Use Case Points in der industriellen Praxis}}}, year = {{2006}}, } @inproceedings{8408, author = {{Koehler, Jana and Hauser, Rainer and Küster, Jochen and Ryndina, Ksenia and Vanhatalo, Jussi and Wahler, Michael}}, booktitle = {{Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques}}, pages = {{5--15}}, publisher = {{Elsevier}}, title = {{{The Role of Visual Modeling and Model Transformations in Business-driven Development}}}, doi = {{http://dx.doi.org/10.1016/j.entcs.2008.04.025}}, volume = {{211}}, year = {{2006}}, } @inproceedings{8409, author = {{Küster, Jochen and Abd-El-Razik, Mohamed}}, booktitle = {{Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)}}, pages = {{62--77}}, publisher = {{Springer}}, title = {{{Validation of Model Transformations - First Experiences using a White Box Approach}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_24}}, volume = {{4364/2007}}, year = {{2006}}, } @inproceedings{8410, author = {{Küster, Jochen and Koehler, Jana and Ryndina, Ksenia}}, booktitle = {{2nd Workshop on Business Processes Design (BPD'06)}}, pages = {{35--44}}, publisher = {{Springer}}, title = {{{Improving Business Process Models with Reference Models in Business-Driven Development}}}, doi = {{http://dx.doi.org/10.1007/11837862}}, volume = {{4103}}, year = {{2006}}, } @inproceedings{8411, author = {{Sauer, Stefan and Dürksen, Marcus and Gebel, Alexander and Hannwacker, Dennis}}, booktitle = {{Proceedings of the workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova (Italy)}}, publisher = {{CEUR Workshop Proceedings}}, title = {{{GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces}}}, volume = {{214}}, year = {{2006}}, } @inproceedings{8412, author = {{Schattkowsky, Tim}}, booktitle = {{Proceedings of the 2nd workshop on Aspect-Oriented Software Development (satellite event of the International Conference on Automated Software Engineering, ASE 2006), Tokyo (Japan)}}, pages = {{30--34}}, publisher = {{IEEE Computer Society}}, title = {{{Capturing Implementation Aspects in UML-based Functional Specifications}}}, year = {{2006}}, } @proceedings{7781, editor = {{Sauer, Stefan}}, publisher = {{CEUR-WS.org}}, title = {{{Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference}}}, volume = {{159}}, year = {{2005}}, } @inproceedings{7934, author = {{Störrle, Harald and Hendrik Hausmann, Jan}}, booktitle = {{Software Engineering}}, pages = {{117--128}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Towards a Formal Semantics of UML 2.0 Activities}}}, volume = {{64}}, year = {{2005}}, } @inproceedings{7935, author = {{Belli, Fevzi and Güldali, Baris}}, booktitle = {{Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)}}, pages = {{321--331}}, publisher = {{Springer}}, title = {{{A holistic approach to test-driven model checking}}}, year = {{2005}}, } @inproceedings{7936, abstract = {{Spreadsheets are widely used in all kinds of business applications. Numerous studies have shown that they contain many errors that sometimes have dramatic impacts. One reason for this situation is the low-level, cell-oriented development process of spreadsheets. We improve this process by introducing and formalizing a higher-level object-oriented model termed ClassSheet. While still following the tabular look-and-feel of spreadsheets, ClassSheets allow the developer to express explicitly business object structures within a spreadsheet, which is achieved by integrating concepts from the UML (Unified Modeling Language). A stepwise automatic transformation process generates a spreadsheet application that is consistent with the ClassSheet model. Thus, by deploying the formal underpinning of ClassSheets, a large variety of errors can be prevented that occur in many existing spreadsheet applications today. The presented ClassSheet approach links spreadsheet applications to the object-oriented modeling world and advocates an automatic model-driven development process for spreadsheet applications of high quality.}}, author = {{Engels, Gregor and Erwig, Martin}}, booktitle = {{Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)}}, pages = {{124--133}}, publisher = {{ACM Press}}, title = {{{ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications}}}, year = {{2005}}, }