@inproceedings{7879, author = {{Lütkemeier, Björn and Thöne, Sebastian}}, booktitle = {{Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)}}, publisher = {{Konradin-Verlag}}, title = {{{Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle}}}, year = {{2001}}, } @inproceedings{7880, author = {{Baldan, Paolo and Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko}}, booktitle = {{Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)}}, pages = {{502--518}}, publisher = {{Springer}}, title = {{{Compositional Modeling of Reactive Systems Using Open Nets}}}, volume = {{2154}}, year = {{2001}}, } @inproceedings{7881, author = {{Küster, Jochen and Stroop, Joachim}}, booktitle = {{Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)}}, pages = {{31--40}}, publisher = {{IEEE Computer Society}}, title = {{{Consistent Design of Embedded Real-Time Systems with UML-RT}}}, doi = {{https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815}}, year = {{2001}}, } @inproceedings{7882, author = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}}, booktitle = {{Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)}}, pages = {{640--647}}, publisher = {{ACM Press}}, title = {{{Improving the Agent-Oriented Modeling Process with Roles}}}, year = {{2001}}, } @inproceedings{7883, author = {{Depke, Ralph and Heckel, Reiko}}, booktitle = {{Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany)}}, publisher = {{Technische Akademie Esslingen}}, title = {{{Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform}}}, year = {{2001}}, } @inproceedings{7884, abstract = {{Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.}}, author = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen}}, booktitle = {{Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}}, pages = {{272--287}}, publisher = {{Springer}}, title = {{{Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}}}, doi = {{http://dx.doi.org/10.1007/3-540-45441-1_21}}, volume = {{2185}}, year = {{2001}}, } @inproceedings{7885, abstract = {{Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, w e discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.}}, author = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}}, booktitle = {{Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)}}, number = {{5}}, pages = {{186--195}}, publisher = {{ACM Press}}, title = {{{A methodology for specifying and analyzing consistency of object-oriented behavioral models}}}, doi = {{http://dx.doi.org/10.1145/503271.503235}}, volume = {{26}}, year = {{2001}}, } @inproceedings{7886, author = {{Geiger, Christian and Flake, Stephan and Küster, Jochen}}, booktitle = {{Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)}}, title = {{{Towards UML-based Analysis and Design of Multi-Agent Systems}}}, year = {{2001}}, } @inproceedings{7887, author = {{Heckel, Reiko and Engels, Gregor}}, booktitle = {{Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)}}, number = {{UNL-DI-1-2001}}, pages = {{42--47}}, publisher = {{Universidade Nova de Lisboa}}, title = {{{Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution}}}, year = {{2001}}, } @inproceedings{7888, author = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}}, booktitle = {{Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}}, pages = {{80--87}}, publisher = {{IEEE Computer Society}}, title = {{{Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams}}}, year = {{2001}}, } @inproceedings{7889, abstract = {{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.}}, author = {{Hendrik Hausmann, Jan and Heckel, Reiko}}, booktitle = {{Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)}}, pages = {{595--599}}, publisher = {{Österreichische Computer Gesellschaft}}, title = {{{Use Cases as views: A formal approach to Requirements engineering in the Unified Process}}}, volume = {{1}}, year = {{2001}}, } @inproceedings{7890, abstract = {{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.}}, author = {{Heckel, Reiko}}, booktitle = {{Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems}}, pages = {{129--134}}, publisher = {{DFG Research Group "Petri Net Technology"}}, title = {{{Open Petri Nets as Semantic Model for Business Process Integration}}}, year = {{2001}}, } @inproceedings{7891, author = {{Heckel, Reiko and Sauer, Stefan}}, booktitle = {{Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}}, pages = {{109--123}}, publisher = {{Springer}}, title = {{{Strengthening UML Collaboration Diagrams by State Transformations}}}, doi = {{http://dx.doi.org/10.1007/3-540-45314-8_9}}, volume = {{2029}}, year = {{2001}}, } @inproceedings{7892, author = {{Küster, Jochen}}, booktitle = {{Proceedings of the Forum on Design Languages (FDL'01)}}, title = {{{Towards Behavior Consistent Modeling in UML-RT}}}, year = {{2001}}, } @inproceedings{7893, abstract = {{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.}}, author = {{Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}}, pages = {{248--255}}, publisher = {{IEEE Computer Society}}, title = {{{UML-based Behavior Specification of Interactive Multimedia Applications}}}, doi = {{http://dx.doi.org/10.1109/HCC.2001.995271}}, year = {{2001}}, } @inproceedings{7894, author = {{Heckel, Reiko and Zündorf, Albert}}, booktitle = {{Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)}}, editor = {{Ehrig, H. and Padberg, J.}}, pages = {{41--51}}, publisher = {{Elsevier}}, title = {{{How to Specify a Graph Transformation Approach - A Meta Model for Fujaba}}}, volume = {{44}}, year = {{2001}}, } @inproceedings{8127, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 7th International Building Performance Simulation Association Conference, Rio de Janeiro (Brasilien), 13.–15. August 2001, S. 619–626}}, title = {{{New façade system consisting of combined photovoltaic and solar thermal generators with building insulation}}}, year = {{2001}}, } @inproceedings{8128, author = {{Krauter, Stefan and Ochs, F. and Depping, T.}}, booktitle = {{Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2598–2599}}, title = {{{Satellite Monitoring of Remote PV-Systems}}}, year = {{2001}}, } @inproceedings{8129, author = {{Ochs, F. and Krauter, Stefan}}, booktitle = {{Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2595–2597}}, title = {{{Development of an All-in-one Solar Home System}}}, year = {{2001}}, } @inproceedings{8130, author = {{Ochs, F. and Krauter, Stefan}}, booktitle = {{Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919}}, title = {{{Online Energy Monitoring and Control of a School Building}}}, year = {{2001}}, } @inproceedings{8131, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262}}, title = {{{Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation}}}, year = {{2001}}, } @inproceedings{8132, author = {{Krauter, Stefan and Valentin, G.}}, booktitle = {{Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 283–285}}, title = {{{Software for Simulation of Photovoltaic Systems in Buildings}}}, year = {{2001}}, } @inproceedings{8133, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band. 2, S. 1049–1052}}, title = {{{RIO 02 – The World Energy and Climate Event}}}, year = {{2001}}, } @inproceedings{8138, author = {{Krauter, Stefan and Ochs, F.}}, booktitle = {{Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S.1641–1647}}, title = {{{All-in-one Solar Home System}}}, year = {{2001}}, } @inproceedings{8139, author = {{Krauter, Stefan and Depping, T. and Ochs, F.}}, booktitle = {{Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australien), 25.–.30 November 2001, S. 1485–1490}}, title = {{{A Satellite Monitoring System for Remote Renewable Energy Systems in Brazil}}}, year = {{2001}}, } @inproceedings{8140, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S. 1473–1480}}, title = {{{RIO 02 – World Climate and Energy Event}}}, year = {{2001}}, } @techreport{8211, author = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}}, publisher = {{University of Paderborn, Department of Computer Science}}, title = {{{On the Specification and Analysis of Protocols in UML-RT}}}, year = {{2001}}, } @article{5848, author = {{Kundisch, Dennis and Dzienziol, J. and Eberhardt, M. and Pinnow, M.}}, journal = {{WIRTSCHAFTSINFORMATIK}}, number = {{3}}, pages = {{305--315}}, title = {{{Vergleichsmöglichkeiten für Finanzdienstleistungsangebote im WWW}}}, volume = {{43}}, year = {{2001}}, } @article{5849, author = {{Kundisch, Dennis and Wolfersberger, P. and Klöpfer, E.}}, journal = {{The International Journal on Media Management}}, number = {{2}}, pages = {{91--104}}, title = {{{Enabling eCCRM: Multi-Channel Model and Management for Financial eServices}}}, volume = {{3}}, year = {{2001}}, } @inproceedings{6010, author = {{Kundisch, Dennis and Wolfersberger, P. and Calaminus, D. and Klöpfer, E.}}, booktitle = {{Proceedings of the 34th Hawaii International Conference on System Sciences (HICSS)}}, editor = {{Sprague, R. H.}}, location = {{Wailea, Maui, Hawaii, USA}}, title = {{{Enabling eCCRM: Content Model and Management for Financial eServices}}}, volume = {{7}}, year = {{2001}}, } @inproceedings{6011, author = {{Kundisch, Dennis and Schell, A.}}, booktitle = {{Proceedings of the International Conference on Internet Computing 2001 (IC)}}, editor = {{Graham, P. and Maheswaran, M. and Eskicioglu, M. R.}}, location = {{Las Vegas, Nevada, USA}}, pages = {{471--474}}, title = {{{Mobile Pricing for Congested UMTS Networks}}}, volume = {{1}}, year = {{2001}}, } @inbook{6219, author = {{Kabst, Rüdiger}}, booktitle = {{Personalwirtschaft und Organisationskonzepte moderner Betriebe, Beiträge zur Arbeitsmarkt- und Berufsforschung, BeitrAB 252}}, editor = {{Bellman, Lutz and Minssen, Heiner and Wagenr, Petra}}, pages = {{1--14}}, title = {{{Kurzlebige Moden oder dominierende Arbeitsgebiete?: Personalpraktiken zwischen Wiedervereinigung und Jahrtausendwechsel}}}, year = {{2001}}, } @misc{6395, author = {{Kabst, Rüdiger}}, title = {{{Erfolgsfaktoren der Internationalisierung mittelständischer Unternehmen: Internationalisierungsverlauf und Expatriate Management, Paderborn 2001}}}, year = {{2001}}, } @techreport{6396, author = {{Weber, W and Kabst, Rüdiger}}, title = {{{Personalmanagement im internationalen Vergleich: The Cranfield Project on International Strategic Human Resource Management - Ergebnisbericht 2000, Paderborn 2001}}}, year = {{2001}}, } @article{4653, author = {{Beran, Jan and Feng, Yuanhua}}, journal = {{Statistical Review (Revista de Estatistica)}}, pages = {{125 -- 128}}, title = {{{A semiparametric fractional autoregressive model}}}, volume = {{2}}, year = {{2001}}, } @techreport{4662, author = {{Beran, Jan and Feng, Yuanhua}}, title = {{{Supplement to the paper "Iterative plug-in algorithms for SEMIFAR models - definition, convergence and asymptotic properties" - Detailed simulation results}}}, year = {{2001}}, } @article{4912, author = {{Fahr, Rene}}, journal = {{Statistisches Bundesamt (Hrsg.), Spektrum Bundesstatistik}}, title = {{{Gibt es eine Nachfrage nach produktiver Freizeit}}}, year = {{2001}}, } @book{7319, editor = {{Kremer, H.-Hugo and Sloane, Peter F. E.}}, title = {{{Konstruktion, Implementation und Evaluation komplexer Lehr- Lernarrangements - Fallbeispiele aus Deutschland, Niederlande und Österreich im Vergleich}}}, year = {{2001}}, } @book{7321, editor = {{Kremer, H.-Hugo and Sloane, Peter F. E.}}, title = {{{Lernfelder implementieren. Zur Entwicklung und Gestaltung fächer- und lernortübergreifender Lehr-Lernarrangements im Lernfeldkonzept}}}, year = {{2001}}, } @book{7322, editor = {{Kennerknecht, M. and Kremer, H.-Hugo and Sloane, Peter F. E.}}, title = {{{Planspiel zur Messebeteiligung. Zur Gestaltung von Lernsituationen im Lernfeldkonzept}}}, year = {{2001}}, } @article{7391, author = {{Padberg, Julia and Jansen, Lars and Ehrig, Hartmut and Schnieder, E. and Heckel, Reiko}}, journal = {{Transactions of the Society for Design and Process Science}}, number = {{1}}, pages = {{3--21}}, title = {{{Cooperability in Train Control Systems: Specification of Scenarios using Open Nets}}}, volume = {{5}}, year = {{2001}}, } @article{7392, author = {{Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}}, journal = {{Applied Categorical Structures}}, number = {{1}}, pages = {{83--110}}, title = {{{Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}}}, volume = {{9}}, year = {{2001}}, } @article{7393, abstract = {{In this paper, we perform such an analysis and identify requirements for a general role concept. We develop such a role concept for a modeling approach based on the UML and graph transformation systems and exemplify its use for the specification (and application) of protocols. Finally, we provide a run-time semantics for roles based on concepts from the theory of graph transformation.}}, author = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}}, journal = {{International Journal of Software Engineering and Knowledge Engineering}}, number = {{3}}, pages = {{281--302}}, title = {{{Roles in Agent-Oriented Modeling}}}, doi = {{http://dx.doi.org/10.1142/S0218194001000529}}, volume = {{11}}, year = {{2001}}, } @article{7394, author = {{Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}}, journal = {{Theoretical Computer Science}}, number = {{1-2}}, pages = {{27--55}}, title = {{{A Coalgebraic presentation of structured transition systems}}}, doi = {{http://dx.doi.org/10.1016/S0304-3975(00)00121-3}}, volume = {{260}}, year = {{2001}}, } @article{7395, abstract = {{Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen, die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein einheitliches Verständnis des Modells ermöglicht.}}, author = {{Engels, Gregor and Gaulke, Jens and Sauer, Stefan}}, journal = {{Forschungsforum Paderborn}}, pages = {{24--29}}, title = {{{Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}}}, volume = {{4}}, year = {{2001}}, } @inbook{7462, author = {{Bliemel, F and Eggert, A}}, booktitle = {{Roadm@p to E-Business}}, editor = {{Schögel, M and Tomczak, T and Belz, C}}, pages = {{620--633}}, publisher = {{Thexis}}, title = {{{Kundenbindung mit Electronic Commerce}}}, year = {{2001}}, } @inbook{7464, author = {{Kremer, H.-Hugo and Sloane, Peter F. E.}}, booktitle = {{Handbuch E-Learning: Expertenwissen aus Wissenschaft und Praxis, Grundwerk Dezember 2001}}, editor = {{Hohenstein, A. and Wilbers, K.}}, pages = {{1--18}}, title = {{{Virtuelle Seminare gestalten}}}, year = {{2001}}, } @article{7466, author = {{Dilger, B. and Kremer, H.-Hugo and Sloane, Peter F. E.}}, journal = {{Wirtschaft und Erziehung}}, number = {{9}}, pages = {{297--301}}, title = {{{Wissensforum als Instrument der Lernortkooperation}}}, year = {{2001}}, } @inbook{7469, author = {{Kremer, H.-Hugo and Sloane, Peter F. E.}}, booktitle = {{Modernisierung der Berufsbildung in Europa. Neue Befunde der berufs- und wirtschaftspädagogischen Forschung}}, editor = {{Reinisch, H. and Bader, R. and Straka, G. A.}}, pages = {{97--106}}, title = {{{Lehrerrolle und Lernfeldkonzept}}}, year = {{2001}}, } @inbook{7473, author = {{Kremer, H.-Hugo and Sloane, Peter F. E.}}, booktitle = {{Konstruktion, Implementation und Evaluation komplexer Lehr-Lernarrangements - Fallbeispiele aus Deutschland, Niederlande und Österreich im Vergleich}}, editor = {{Kremer, H.-H. and Sloane, P. F. E.}}, pages = {{5--10}}, title = {{{Vorbemerkungen}}}, year = {{2001}}, }