TY - CONF AB - In Requirements Engineering structural and functional requirements for a new software system are gathered, analyzed, and manifested. Unfortunately the connection between these aspects gets lost in the standard object oriented methodology and has to be re-established later on. Not only is this tedious work but the detection of conflicts and inconsistencies in early phases is hindered by the separation of static and dynamic aspects. We propose the use of graph transformations to specify the connection between these aspects. Based on what we call an integrated business model, consistency analysis at the requirements model level becomes possible. Keywords: UML, Unified Process, functional specifications, integrated business model, graph transformation 1 Introduction At the beginning of each software development there are several ideas or visions of what the system to be build should achieve. The techniques developed in the area of requirements engineering are concerned with gathering, structuring and integrating these different ideas for the new system. It is the goal of this process to achieve a set of reasonable and consistent requirements for the further development process. The main problem is the detection and resolution of inconsistencies and conflicts between competing requirements. The application of formal methods and notations promises to support this task by enabling automated analysis. Although multiple formal methods have been proposed by scientists (see e.g. [7] for a survey), the standard methodologies in object oriented software engineering still use very informal and imprecise techniques in this phase of the development process. In particular, what is missing is a coupling between the structural (data) description (captured in class diagrams) and the behavior of the system (captured in activity and use case diagrams). In this paper we will show how to improve this situation by giving use cases a precise description, thus achieving a coupling of the dynamic and static parts of the model. This allows to apply formal techniques of consistency analysis. The paper is organized as follows: Section 2 gives an introduction to the requirements analysis phase in the Unified Process (UP) and points out some weak points of this approach. We will advance the basic ideas presented in the UP by further elaborating the ideas of a business model and formalizing their notion in Section 3. Section 4 introduces use case diagrams and their new role in the context of the integrated business model. Section 5 extends the notion of views to structure the whole requirements model and the concluding Section 6 gives perspectives toward further work on this topic. AU - Hendrik Hausmann, Jan AU - Heckel, Reiko ID - 7889 T2 - Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich) TI - Use Cases as views: A formal approach to Requirements engineering in the Unified Process VL - 1 ER - TY - CONF AB - One important application of Petri nets is thespecification of workflows. Such a specification is needed, for example, when interoperability of the workflows is an issue, which is frequently the case when business processes of different organizations shall be integrated.A workflow net is a Petri net satisfying some structural constraints, like the existence of one initial and one final place, and a corresponding soundness condition.An interorganizational workflow is modeled as a set of such workflow nets connected through additional places for asynchronous communication and synchronization requirements on transitions.In this contribution we interpret an interorganizational workflow as acomposition of open nets. This allows us to project processes of the overall net to open processes of the local nets and,vice versa, to deduce the global behavior from the behavior of the components.Such a compositional uunderstanding of workflows can be used to simulate and test local workflow nets in an unknown environment, and it provides the semantic justification for reusable components. AU - Heckel, Reiko ID - 7890 T2 - Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems TI - Open Petri Nets as Semantic Model for Business Process Integration ER - TY - CONF AU - Heckel, Reiko AU - Sauer, Stefan ID - 7891 T2 - Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy) TI - Strengthening UML Collaboration Diagrams by State Transformations VL - 2029 ER - TY - CONF AU - Küster, Jochen ID - 7892 T2 - Proceedings of the Forum on Design Languages (FDL'01) TI - Towards Behavior Consistent Modeling in UML-RT ER - TY - CONF AB - Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We propose an extension of the Unified Modeling Language (UML) for the integrated specification of multimedia systems based on an object-oriented development method. Since integration of co-existing timed procedural and interactive behavior is at the heart of multimedia systems, we focus on UML-based specification of behavior in this paper. In addition, we outline how these behavioral aspects are to be integrated with media, presentation, and software architecture modeling to achieve a coherent and consistent model. AU - Sauer, Stefan AU - Engels, Gregor ID - 7893 T2 - Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy) TI - UML-based Behavior Specification of Interactive Multimedia Applications ER - TY - CONF AU - Heckel, Reiko AU - Zündorf, Albert ED - Ehrig, H. ED - Padberg, J. ID - 7894 T2 - Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001) TI - How to Specify a Graph Transformation Approach - A Meta Model for Fujaba VL - 44 ER - TY - CONF AU - Krauter, Stefan ID - 8127 T2 - Proceedings of the 7th International Building Performance Simulation Association Conference, Rio de Janeiro (Brasilien), 13.–15. August 2001, S. 619–626 TI - New façade system consisting of combined photovoltaic and solar thermal generators with building insulation ER - TY - CONF AU - Krauter, Stefan AU - Ochs, F. AU - Depping, T. ID - 8128 T2 - Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2598–2599 TI - Satellite Monitoring of Remote PV-Systems ER - TY - CONF AU - Ochs, F. AU - Krauter, Stefan ID - 8129 T2 - Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2595–2597 TI - Development of an All-in-one Solar Home System ER - TY - CONF AU - Ochs, F. AU - Krauter, Stefan ID - 8130 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919 TI - Online Energy Monitoring and Control of a School Building ER - TY - CONF AU - Krauter, Stefan ID - 8131 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262 TI - Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation ER - TY - CONF AU - Krauter, Stefan AU - Valentin, G. ID - 8132 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 283–285 TI - Software for Simulation of Photovoltaic Systems in Buildings ER - TY - CONF AU - Krauter, Stefan ID - 8133 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band. 2, S. 1049–1052 TI - RIO 02 – The World Energy and Climate Event ER - TY - CONF AU - Krauter, Stefan AU - Ochs, F. ID - 8138 T2 - Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S.1641–1647 TI - All-in-one Solar Home System ER - TY - CONF AU - Krauter, Stefan AU - Depping, T. AU - Ochs, F. ID - 8139 T2 - Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australien), 25.–.30 November 2001, S. 1485–1490 TI - A Satellite Monitoring System for Remote Renewable Energy Systems in Brazil ER - TY - CONF AU - Krauter, Stefan ID - 8140 T2 - Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S. 1473–1480 TI - RIO 02 – World Climate and Energy Event ER - TY - GEN AU - Engels, Gregor AU - Küster, Jochen AU - Groenewegen, Luuk ID - 8211 TI - On the Specification and Analysis of Protocols in UML-RT ER - TY - JOUR AU - Kundisch, Dennis AU - Dzienziol, J. AU - Eberhardt, M. AU - Pinnow, M. ID - 5848 IS - 3 JF - WIRTSCHAFTSINFORMATIK TI - Vergleichsmöglichkeiten für Finanzdienstleistungsangebote im WWW VL - 43 ER - TY - JOUR AU - Kundisch, Dennis AU - Wolfersberger, P. AU - Klöpfer, E. ID - 5849 IS - 2 JF - The International Journal on Media Management TI - Enabling eCCRM: Multi-Channel Model and Management for Financial eServices VL - 3 ER - TY - CONF AU - Kundisch, Dennis AU - Wolfersberger, P. AU - Calaminus, D. AU - Klöpfer, E. ED - Sprague, R. H. ID - 6010 T2 - Proceedings of the 34th Hawaii International Conference on System Sciences (HICSS) TI - Enabling eCCRM: Content Model and Management for Financial eServices VL - 7 ER -