@inproceedings{7958, author = {{Schattkowsky, Tim and Engels, Gregor and Förster, Alexander}}, booktitle = {{Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)}}, pages = {{286ff.}}, publisher = {{IEEE Computer Society}}, title = {{{A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency}}}, doi = {{http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22}}, year = {{2007}}, } @inproceedings{7962, 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.}}, author = {{Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)}}, pages = {{537--546}}, publisher = {{Springer}}, title = {{{Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-73279-2_60}}, volume = {{4554}}, year = {{2007}}, } @inproceedings{7963, author = {{Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Erwig, Martin}}, booktitle = {{Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)}}, number = {{9}}, pages = {{383--398}}, publisher = {{Journal of Object Technology}}, title = {{{ClassSheets - model-based, object-oriented design of spreadsheet applications}}}, doi = {{http://www.jot.fm/issues/issue_2007_10/paper19/index.html}}, volume = {{6}}, year = {{2007}}, } @inproceedings{7965, author = {{Förster, Alexander and Engels, Gregor and Schattkowsky, Tim and Van Der Straeten, Ragnhild}}, booktitle = {{Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)}}, pages = {{197--208}}, publisher = {{IEEE Computer Society}}, title = {{{Verification of Business Process Quality Constraints Based on Visual Process Patterns}}}, doi = {{http://dx.doi.org/10.1109/TASE.2007.56}}, year = {{2007}}, } @article{7375, author = {{Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}}, journal = {{Forschungsforum Paderborn}}, pages = {{56--60}}, title = {{{Software-Qualität - überall! - Excel-lente Software}}}, volume = {{10}}, year = {{2007}}, } @inproceedings{8414, 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 2006 International Conference on Models in Software Engineering (MoDELS 2006)}}, pages = {{182--192}}, publisher = {{Springer}}, title = {{{Towards Model-Driven Unit Testing}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_23}}, volume = {{4364}}, year = {{2007}}, } @inproceedings{8415, author = {{Soltenborn, Christian and Engels, Gregor}}, booktitle = {{Symposium "A Formal Semantics for UML" (satellite event of the MoDELS conference 2006), Genova (Italy)}}, pages = {{329--330}}, publisher = {{Springer}}, title = {{{Analysis of UML Activities with Dynamic Meta Modeling Techniques}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_42}}, volume = {{4364}}, year = {{2007}}, } @inproceedings{7949, author = {{Schattkowsky, Tim and Hendrik Hausmann, Jan and Engels, Gregor}}, booktitle = {{Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)}}, pages = {{737--752}}, publisher = {{Springer}}, title = {{{Using UML Activities for System-on-Chip Design and Synthesis}}}, doi = {{dx.doi.org/10.1007/11880240_51}}, volume = {{4199/2006}}, year = {{2006}}, } @inproceedings{7953, abstract = {{As the Unified Modeling Language (UML) has by now seen widespread and successful use in the software industry and academia alike, it has also found its way into many computer science curricula. An outstanding advantage of teaching UML is that it enables an illustration of many crucial concepts of software engineering, far beyond its concrete notation. Most important among these concepts is that of abstraction. We present a course design which demonstrates the use of UML as a vehicle for teaching such core concepts of software engineering. Multimedia elements and tools help to efficiently convey the courses message to the students.}}, author = {{Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}}, booktitle = {{Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)}}, pages = {{306--319}}, publisher = {{Springer}}, title = {{{Teaching UML Is Teaching Software Engineering Is Teaching Abstraction}}}, volume = {{3844 / 2006}}, year = {{2006}}, } @inproceedings{7954, abstract = {{The model-driven development (MDD) 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. Here, models are used to specify minimal requirements and are transformed into assertions on the code level for monitoring hand-coded programs during execution. We show how well-understood results from the graph transformation community can be deployed to support this model-driven monitoring approach. In particular, models in the form of visual contracts are defined by graph transitions with loose semantics, while the automatic transformation from models to JML assertions on the code level is defined by strict graph transformation rules. Both aspects are supported and realized by a dedicated Eclipse plug-in.}}, author = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}}, booktitle = {{Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)}}, pages = {{336--350}}, publisher = {{Springer}}, title = {{{Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract}}}, doi = {{http://dx.doi.org/10.1007/11841883}}, volume = {{4178}}, year = {{2006}}, } @inproceedings{7955, author = {{Förster, Alexander and Schattkowsky, Tim and Engels, Gregor and Van Der Straeten, Ragnhild}}, booktitle = {{IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)}}, pages = {{135--142}}, publisher = {{IEEE Computer Society}}, title = {{{A Pattern-driven Development Process for Quality Standard-conforming Business Process Models}}}, year = {{2006}}, } @inproceedings{7956, abstract = {{The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level, to the model level. It uses visual contracts for graphically specifying the pre- and post-conditions of an operation. Java classes with JML (Java Modeling Language) assertions are generated from visual contracts to facilitate automatic monitoring of the correctness of the programmer's implementation.}}, author = {{Lohmann, Marc and Engels, Gregor and Sauer, Stefan}}, booktitle = {{Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)}}, pages = {{355--356}}, publisher = {{IEEE Computer Society}}, title = {{{Model-driven Monitoring: Generating Assertions from Visual Contracts}}}, doi = {{http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52}}, year = {{2006}}, } @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}}, } @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}}, } @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{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}}, } @inproceedings{7937, author = {{Förster, Alexander and Engels, Gregor and Schattkowsky, Tim}}, booktitle = {{Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)}}, pages = {{2--16}}, publisher = {{Springer}}, title = {{{Activity Diagram Patterns for Modeling Quality Constraints in Business Processes}}}, volume = {{3713}}, year = {{2005}}, }