@inproceedings{8427, author = {{Ellerweg, Jens and Engels, Gregor and Güldali, Baris}}, booktitle = {{INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI)}}, pages = {{211--214}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Modellbasierter Komponententest mit visuellen Kontrakten}}}, volume = {{133}}, year = {{2008}}, } @inproceedings{8428, author = {{von der Maßen, Thomas and Wübbeke, Andreas}}, booktitle = {{Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PiK 2008)}}, pages = {{285--296}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Modellierung von Variabilität in der Geschäftsanalyse – eine industrielle Fallstudie}}}, volume = {{122}}, year = {{2008}}, } @inproceedings{8429, 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 merging them. In this paper, we study a basic scenario, derive requirements and present a prototype for detecting and resolving changes between process models.}}, author = {{Küster, Jochen and Gerth, Christian and Förster, Alexander and Engels, Gregor}}, booktitle = {{Proceedings of the Forum at the CAiSE'08 Conference on Advanced Information Systems Engineering}}, pages = {{89--92}}, publisher = {{CEUR-WS.org}}, title = {{{A Tool for Process Merging in Business-Driven Development}}}, doi = {{http://ceur-ws.org/Vol-344/paper23.pdf}}, volume = {{344}}, year = {{2008}}, } @inproceedings{8430, author = {{Schattkowsky, Tim and Xie, Tao}}, booktitle = {{Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA)}}, title = {{{UML and IP-XACT for Integrated SPRINT IP Management}}}, year = {{2008}}, } @proceedings{7778, editor = {{Engels, Gregor and Opdyke, B. and C. Schmidt, D. and Weil, F.}}, publisher = {{Springer}}, title = {{{Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA)}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-75209-7}}, volume = {{4735}}, year = {{2007}}, } @proceedings{7779, editor = {{Pleuß, Andreas and Van den Bergh, Jan and Hußmann, Heinrich and Sauer, Stefan and Görlich, Daniel}}, publisher = {{University of Aachen}}, title = {{{Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI '07), Nashville, Tennessee (USA)}}}, volume = {{297}}, year = {{2007}}, } @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{7960, author = {{Küster, Jochen and Ryndina, Ksenia and Gall, Harald}}, booktitle = {{Proceedings of the conference on Business Process Management (BPM 2007), Brisbane (Australia)}}, pages = {{165--181}}, publisher = {{Springer}}, title = {{{Generation of Business Process Models for Object Life Cycle Compliance}}}, doi = {{https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1007/978-3-540-75183-0_13}}, volume = {{4714}}, year = {{2007}}, } @inproceedings{7961, author = {{Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich and Bödcher, Alexander}}, booktitle = {{MoDELS 2006 Workshops}}, pages = {{101--105}}, publisher = {{Springer}}, title = {{{Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_13}}, volume = {{4364}}, 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{7964, author = {{Mlynarski, Michael and Hinkelmann, Knut and Magenheim, Johannes and Nelkner, Tobias and Reinhardt, Wolfgang and Holzweissig, Kai}}, booktitle = {{Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007}}, pages = {{487--492}}, publisher = {{Springer}}, title = {{{KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management}}}, 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}}, } @inproceedings{7966, author = {{Hess, Andreas and Humm, Bernhard and Voß, Markus and Engels, Gregor}}, booktitle = {{Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)}}, pages = {{122--129}}, publisher = {{IEEE Computer Society}}, title = {{{Structuring Software Cities - A Multidimensional Approach}}}, year = {{2007}}, } @inproceedings{7967, author = {{Mlynarski, Michael and Nelkner, Tobias and Reinhardt, Wolfgang}}, booktitle = {{Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn}}, pages = {{99--102}}, title = {{{Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz}}}, year = {{2007}}, } @inproceedings{7968, author = {{Küster, Jochen and Ryndina, Ksenia and Gall, Harald}}, booktitle = {{Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)}}, pages = {{136--150}}, publisher = {{Springer}}, title = {{{Improving Inconsistency Resolution with Side-effect Evaluation and Costs}}}, doi = {{https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10}}, volume = {{4735}}, year = {{2007}}, } @inproceedings{7969, author = {{Ryndina, Ksenia and Küster, Jochen and Gall, Harald}}, booktitle = {{Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)}}, pages = {{165--181}}, publisher = {{Springer}}, title = {{{Generation of Business Process Models for Object Life Cycle Compliance}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-75183-0}}, volume = {{4714/2007}}, year = {{2007}}, } @inproceedings{7970, abstract = {{We consider the problem of exploring an unknown environment using a swarm of autonomous robots with collective behavior emerging from their local rules. Each robot has only a very restricted view on the environment which makes cooperation difficult. We introduce a software system which is capable of simulating a large number of such robots (e.g. 1000) on highly complex terrains with millions of obstacles. Its main purpose is to easily integrate and evaluate any kind of algorithm for controlling the robot behavior. The simulation may be observed in real-time via a visualization that displays both the individual and the collective progress of the robots. We present the system design, its main features and underlying concepts.}}, author = {{Arens, Stephan and Buss, Alexander and Deck, Helena and Dynia, Miroslaw and Fischer, Matthias and Hagedorn, Holger and Isaak, Peter and Kutylowski, Jaroslaw and Meyer auf der Heide, Friedhelm and Nesterow, Viktor and Ogiermann, Adrian and Stobbe, Boris and Storm, Thomas and Wachsmuth, Henning}}, booktitle = {{Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment}}, pages = {{215--222}}, publisher = {{Heinz Nixdorf Institut, University of Paderborn}}, title = {{{Smart Teams: Simulating Large Robotic Swarms in Vast Environments}}}, year = {{2007}}, } @inproceedings{7971, author = {{Zimmermann, Olaf and Gschwind, Thomas and Küster, Jochen and Leymann, Frank and Schuster, Nelly}}, booktitle = {{Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)}}, pages = {{15--32}}, publisher = {{Springer}}, title = {{{Reusable Architectural Decision Models for Enterprise Application Development}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-77619-2_2}}, year = {{2007}}, } @techreport{8216, author = {{Gehrke, Matthias and Güldali, Baris and Kindler, Ekkart}}, publisher = {{University of Paderborn, s-lab}}, title = {{{"Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität}}}, year = {{2007}}, }