[{"date_created":"2019-03-05T13:29:28Z","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"date_updated":"2022-01-06T07:03:53Z","publisher":"Carleton Scientific","title":"Formalizing the Development of Agent-Based Systems Using Graph Processes","citation":{"short":"R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 419–426.","bibtex":"@inproceedings{Depke_Heckel_2000, title={Formalizing the Development of Agent-Based Systems Using Graph Processes}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Depke, Ralph and Heckel, Reiko}, year={2000}, pages={419–426} }","mla":"Depke, Ralph, and Reiko Heckel. “Formalizing the Development of Agent-Based Systems Using Graph Processes.” <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland)</i>, Carleton Scientific, 2000, pp. 419–26.","apa":"Depke, R., &#38; Heckel, R. (2000). Formalizing the Development of Agent-Based Systems Using Graph Processes. In <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)</i> (pp. 419–426). Carleton Scientific.","chicago":"Depke, Ralph, and Reiko Heckel. “Formalizing the Development of Agent-Based Systems Using Graph Processes.” In <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland)</i>, 419–26. Carleton Scientific, 2000.","ieee":"R. Depke and R. Heckel, “Formalizing the Development of Agent-Based Systems Using Graph Processes,” in <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)</i>, 2000, pp. 419–426.","ama":"Depke R, Heckel R. Formalizing the Development of Agent-Based Systems Using Graph Processes. In: <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland)</i>. Carleton Scientific; 2000:419-426."},"page":"419-426","year":"2000","user_id":"52534","department":[{"_id":"66"}],"_id":"8338","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)","status":"public"},{"date_created":"2019-03-05T13:29:29Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:53Z","publisher":"Carleton Scientific","title":"From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation","page":"373-382","citation":{"ama":"Engels G, Heckel R. From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. In: <i>Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland)</i>. Carleton Scientific; 2000:373-382.","chicago":"Engels, Gregor, and Reiko Heckel. “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.” In <i>Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland)</i>, 373–82. Carleton Scientific, 2000.","ieee":"G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation,” in <i>Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)</i>, 2000, pp. 373–382.","bibtex":"@inproceedings{Engels_Heckel_2000, title={From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)}, publisher={Carleton Scientific}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={373–382} }","mla":"Engels, Gregor, and Reiko Heckel. “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.” <i>Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland)</i>, Carleton Scientific, 2000, pp. 373–82.","short":"G. Engels, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland), Carleton Scientific, 2000, pp. 373–382.","apa":"Engels, G., &#38; Heckel, R. (2000). From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. In <i>Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)</i> (pp. 373–382). Carleton Scientific."},"year":"2000","department":[{"_id":"66"}],"user_id":"52534","_id":"8339","language":[{"iso":"eng"}],"publication":"Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)","type":"conference","status":"public"},{"language":[{"iso":"eng"}],"_id":"8340","user_id":"52534","department":[{"_id":"66"}],"abstract":[{"lang":"eng","text":"In concurrent systems, multiple components communicate with each other by exchanging messages. Each component may take part in several communication protocols at the same time, each one taking part over a so-called connector. Valid sequences of message exchanges are usually modeled in a communication protocol. There arise several important questions concerning protocols: Given a protocol how to ensure that each participant conforms to the protocol on the model level? Conversely, given multiple components how to extract the protocol? In our position statement, we propose a technique for ensuring protocol conformity based on extraction of statechart views from each component's statechart."}],"status":"public","type":"conference","publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","title":"Modeling Concurrent Behavior through Consistent Statechart Views","date_updated":"2022-01-06T07:03:53Z","publisher":"Ludwig-Maximilians-University","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"}],"date_created":"2019-03-05T13:29:30Z","place":"Munich (Germany)","year":"2000","citation":{"chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Modeling Concurrent Behavior through Consistent Statechart Views.” In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 44–49. Munich (Germany): Ludwig-Maximilians-University, 2000.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 2000, no. 0006, pp. 44–49.","ama":"Engels G, Küster J, Groenewegen L. Modeling Concurrent Behavior through Consistent Statechart Views. In: <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>. Munich (Germany): Ludwig-Maximilians-University; 2000:44-49.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2000). Modeling Concurrent Behavior through Consistent Statechart Views. In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i> (pp. 44–49). Munich (Germany): Ludwig-Maximilians-University.","mla":"Engels, Gregor, et al. “Modeling Concurrent Behavior through Consistent Statechart Views.” <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, no. 0006, Ludwig-Maximilians-University, 2000, pp. 44–49.","bibtex":"@inproceedings{Engels_Küster_Groenewegen_2000, place={Munich (Germany)}, title={Modeling Concurrent Behavior through Consistent Statechart Views}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2000}, pages={44–49} }","short":"G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 44–49."},"page":"44-49","issue":"0006"},{"publication":"Bulletin of the EATCS","type":"journal_article","status":"public","abstract":[{"text":"In order to provide semantic support for visual modeling techniques, new techniques have to be developed which help us to narrow the conceptual gap between graph-based visual modeling techniques like the UML and established methodologies of programming language semantics almost exclusively based on trees and terms. Concepts and results from the area of graph transformation can be used both as a basis for high-level rule-based visual languages, and as semantic domain for visual modeling techniques focusing on the structural and behavioral aspects of today's software systems. Moreover, graph transformation can provide the necessary technology in order to develop the graph-based counterparts of the denotational, operational, or algebraic semantics paradigms in the field of programming languages. In this paper, we substantiate these claims by examples of the use of graph transformation as visual modeling notion, semantic domain, and for the semantics of diagram languages.","lang":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7396","language":[{"iso":"eng"}],"issue":"71","page":"186-202","citation":{"apa":"Engels, G., &#38; Heckel, R. (2000). Graph Transformation and Visual Modeling Techniques. <i>Bulletin of the EATCS</i>, (71), 186–202.","bibtex":"@article{Engels_Heckel_2000, title={Graph Transformation and Visual Modeling Techniques}, number={71}, journal={Bulletin of the EATCS}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={186–202} }","mla":"Engels, Gregor, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques.” <i>Bulletin of the EATCS</i>, no. 71, 2000, pp. 186–202.","short":"G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.","ieee":"G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,” <i>Bulletin of the EATCS</i>, no. 71, pp. 186–202, 2000.","chicago":"Engels, Gregor, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques.” <i>Bulletin of the EATCS</i>, no. 71 (2000): 186–202.","ama":"Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. <i>Bulletin of the EATCS</i>. 2000;(71):186-202."},"year":"2000","author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"date_created":"2019-01-31T15:43:34Z","date_updated":"2022-01-06T07:03:36Z","title":"Graph Transformation and Visual Modeling Techniques"},{"status":"public","publication":"Bulletin of the EATCS","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7397","page":"69-76","citation":{"apa":"Corradini, A., &#38; Heckel, R. (2000). Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. <i>Bulletin of the EATCS</i>, (72), 69–76.","mla":"Corradini, Andrea, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo.” <i>Bulletin of the EATCS</i>, no. 72, 2000, pp. 69–76.","short":"A. Corradini, R. Heckel, Bulletin of the EATCS (2000) 69–76.","bibtex":"@article{Corradini_Heckel_2000, title={Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo}, number={72}, journal={Bulletin of the EATCS}, author={Corradini, Andrea and Heckel, Reiko}, year={2000}, pages={69–76} }","ieee":"A. Corradini and R. Heckel, “Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo,” <i>Bulletin of the EATCS</i>, no. 72, pp. 69–76, 2000.","chicago":"Corradini, Andrea, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo.” <i>Bulletin of the EATCS</i>, no. 72 (2000): 69–76.","ama":"Corradini A, Heckel R. Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. <i>Bulletin of the EATCS</i>. 2000;(72):69-76."},"year":"2000","issue":"72","title":"Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo","date_created":"2019-01-31T15:45:13Z","author":[{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"date_updated":"2022-01-06T07:03:36Z"},{"issue":"1-2","year":"2000","citation":{"chicago":"Depke, Ralph, Reiko Heckel, Jochen Küster, and Matthew Langham. “Agenten Im Auftrag Des Bankkunden.” <i>Geldinstitute</i> 31, no. 1–2 (2000): 32–33.","ieee":"R. Depke, R. Heckel, J. Küster, and M. Langham, “Agenten im Auftrag des Bankkunden,” <i>Geldinstitute</i>, vol. 31, no. 1–2, pp. 32–33, 2000.","ama":"Depke R, Heckel R, Küster J, Langham M. Agenten im Auftrag des Bankkunden. <i>Geldinstitute</i>. 2000;31(1-2):32-33.","short":"R. Depke, R. Heckel, J. Küster, M. Langham, Geldinstitute 31 (2000) 32–33.","mla":"Depke, Ralph, et al. “Agenten Im Auftrag Des Bankkunden.” <i>Geldinstitute</i>, vol. 31, no. 1–2, 2000, pp. 32–33.","bibtex":"@article{Depke_Heckel_Küster_Langham_2000, title={Agenten im Auftrag des Bankkunden}, volume={31}, number={1–2}, journal={Geldinstitute}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen and Langham, Matthew}, year={2000}, pages={32–33} }","apa":"Depke, R., Heckel, R., Küster, J., &#38; Langham, M. (2000). Agenten im Auftrag des Bankkunden. <i>Geldinstitute</i>, <i>31</i>(1–2), 32–33."},"page":"32-33","intvolume":"        31","date_updated":"2022-01-06T07:03:36Z","author":[{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"first_name":"Matthew","full_name":"Langham, Matthew","last_name":"Langham"}],"date_created":"2019-01-31T15:45:41Z","volume":31,"title":"Agenten im Auftrag des Bankkunden","type":"journal_article","publication":"Geldinstitute","status":"public","_id":"7398","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"title":"Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht","publisher":"LIT Verlag Münster","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-04T22:27:59Z","author":[{"first_name":"Ernst-Erich","last_name":"Doberkat","full_name":"Doberkat, Ernst-Erich"}],"year":"2000","citation":{"mla":"Doberkat, Ernst-Erich. <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster, 2000.","bibtex":"@book{Doberkat_2000, title={Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht}, publisher={LIT Verlag Münster}, author={Doberkat, Ernst-Erich}, year={2000} }","short":"E.-E. Doberkat, Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht, LIT Verlag Münster, 2000.","apa":"Doberkat, E.-E. (2000). <i>Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster.","chicago":"Doberkat, Ernst-Erich. <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster, 2000.","ieee":"E.-E. Doberkat, <i>Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster, 2000.","ama":"Doberkat E-E. <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster; 2000."},"language":[{"iso":"eng"}],"_id":"7509","user_id":"52534","department":[{"_id":"66"}],"abstract":[{"text":"Geleitwort Zu welchem Zweck fördert das Land Nordrhein-Westfalen Multimediaprojekte für die Hochschullehre? Inzwischen hat es sich herumgesprochen, dass die Computerunterstützung nicht nur den Zugriff auf Wissen und Information dramatisch verändern wird, sondern in Zukunft auch das Lernen selbst und die Gestaltung der Lernprozesse. Wird im gleichen Maße, wie Information weltweit über Netz zugriffsfähig wird, auch „Lernen“ zugriffsfähig? Hält die industrielle Arbeitsteilung Einzug auch in das Feld der Hochschullehre? Wird sich die Lehre vom Ort ihrer Entstehung, der Hochschule, verselbstständigen? Werden Weiterbildungseinrichtungen die Zweit- und Drittvermarktung übernehmen oder ganze Teile der jetzigen Lehraufgaben der Hochschulen ersetzen? Wird damit die räumliche Einbindung der Hochschullehre in den Ort Hochschule derartig aufgelöst, dass Hochschulen - jedenfalls viele von ihnen - ihren Charakter verlieren oder sehr ändern? Wird die kulturell-nationale Einbindung von Lehre unter dem Druck der Globalisierung und mit dem Mittel der Virtualität überflüssig? Werden Studierende, wo auch immer sie sind, künftig von vornherein Angebote in der lingua franca Englisch bevorzugen, und wenn sie dies tun, warum nicht gleich ein angelsächsisches Original? Seit der Erfindung des Buchdrucks hat keine technische Innovation ein solches Potenzial zur Veränderung von Lernprozessen und zur Veränderung der Institutionen des Lernens gehabt wie die vernetzte Computerunterstützung. Diese Potenziale entwickeln sich mit einer vergleichsweise großen Geschwindigkeit. Diese Geschwindigkeit ist lange Zeit unterschätzt worden. Daher wird zurzeit der Blick gerne Richtung USA gerichtet. Scheinbar ist dort alles weiter. Alte und neue Einrichtungen spezialisieren sich in diesem Feld. Testet man ab, in Bezug auf welche Anwendungen und welchen Nutzen die Entwicklung dort rascher bewältigt sein soll, relativiert sich das Bild. Vermarktbare Weiterbildung wird dort stärker als bei uns schon mit Multimedialität und Netzverteilung verbunden. Allerdings ist der Standard dafür, was Multimedialität oder Virtualität ist, nicht in jedem Fall beeindruckend. Konzepte für ganze Hochschulen, die soweit umgesetzt sind, dass Anlass zur Sorge in Bezug auf ein Gefälle zwischen den USA und uns bestünde, sind z.Zt. so (noch) nicht zu sehen. Trotzdem, die konkurrenzhafte Globalisierung erfasst auch unsere Hochschulen. Der Nachteil, den man heute noch nicht hat, kann morgen schon Wirklichkeit sein. Vor diesem Hintergrund gibt es mehrere Felder, in denen das Land Nordrhein-Westfalen das gemeinsame Engagement von Land und Hochschulen für wesentlich hält: * Kein Student sollte die Hochschule verlassen - gleich in welchem Fach - ohne sich in der Nutzung der computerunterstützten Informationsangebote und eines computerunterstützten Lerner-Arbeitsplatzes auszukennen. * Jede Hochschule muss sich das Ziel setzen, in einem überschaubaren Zeitraum eine vernünftige integrierte technische Unterstützung für den Gesamtkomplex des Informationsmanagements und des Lernens zu realisieren. Diese Plattform soll hochschulfreundlich den wirklichen Abläufen folgen und möglichst überschaubare Kosten für den Support und die Erneuerung verursachen. * In allen Fächern sollten die Hochschulen so schnell wie möglich die Vorteile multimedial unterstützten Lernens fachlich realisieren. Für diese Seite, den Content, gibt es sowohl im Land Nordrhein-Westfalen als auch bundesweit entsprechende Programme, um Lernsoftware, die hochschulübergreifend einsetzbar ist, zu entwickeln. Es braucht aber mehr: Um in einer Hochschule eine lebendige und sinnvolle Nutzung des Computers für den Lehrbetrieb zu ermöglichen, sollte die ganze Flut an Informationen, an grauer Literatur, an hand-outs, an Folien, an Dingen, die man nur ein Semester braucht oder die in mehreren Semestern wachsen, an disziplinär entstehenden Papieren, aber auch an Ergebnissen interdisziplinärer Zusammenarbeit für die Lehre in einer integrierten nutzerfreundlichen Technik zur Verfügung stehen. Ziel muss sein, dass der Studierende ohne Medienbruch seinen eigenen „virtuellen Schreibtisch“ im Hochschulnetz hat. Und Ziel muss es auch sein, dass Hochschullehrer ohne „Sklaven“ (Hiwi aus der Informatik) ihre Inhalte ins Netz bekommen. Auch die Kompetenz im virtuellen berufsbegleitenden Studium, die die Universität in Hagen als traditionell einzige Fernuniversität im deutschsprachigen Raum auf dem Hintergrund gewachsenen Betreuungs-Know-hows hat, sollte kooperativ allen Hochschulen zugute kommen können. Diese Ziele vor Augen hat das MSWWF zusammen mit der Landesrektorenkonferenz den Universitätsverbund Multimedia (UVM) als standortübergreifendes Kompetenznetzwerk ins Leben gerufen. Hier wurde vor drei Jahren das „Leitprojekt Wirtschaftswissenschaften“ ausgeschrieben. Die Idee war, dass in den Wirtschaftswissenschaften schon ausreichend viele Ansätze für breitere Kooperationen zu sehen waren und es sich gleichzeitig um ein Massenfach handelt, dessen Überlastprobleme zur Nutzung von Multimedia als Mittel der Verbesserung der Qualität der Lehre geradezu herausfordern. Ziel war auch, über den technischen Bereich hinaus die Gesprächsmöglichkeiten über Arbeitsteilungen und wechselseitiges, ergänzendes und kooperatives Nutzen zu entwickeln und zu verbessern. Der Weg der letzten Jahre war für alle Beteiligten nicht ohne Mühen. Denn die Hochschullehre, so war es immer übereinstimmende Interpretation, gehört zu den vornehmen Bereichen der Wissenschaftsfreiheit, d.h. jeder einzelne Hochschullehrer verantwortet seine Lehre individuell und etwaige Abstimmung bezieht sich nur auf die Erfüllung der Studienordnung, des notwendigen semesterweisen Angebotes und ähnlicher Rahmensetzungen und erfolgt jeweils an der eigenen Hochschule im eigenen Fach. Noch einmal zurück zu den USA. Dort wird prognostiziert, dass der Bildungsmarkt der Markt der Zukunft ist - und zwar schon kurzfristig. Das Vordringen der nur durch Geldströme gesteuerten Marktmechanismen in Bereiche, deren Entwicklung eben noch konsensual durch gesellschaftliche Willensbildung geprägt wurden, hat schon in anderen Bereichen verblüfft. Wir sollten daher nicht naiv sein und die eigene Aneignung der Potentiale virtueller Lernumgebungen nicht versäumen. Entscheidend wird die Fähigkeit unserer Hochschulen sein, eine Neujustierung zu leisten zwischen der multimedial standardisierbaren Lehre einerseits und dem diskursiven, erörternden, forschungsorientierten Input des individuellen Hochschullehrers andererseits. Daran, wie gut es gelingt, mit den neuen Konzepten zu überzeugen, wird sich entscheiden, wie weit die Hochschule der Zukunft der Hochschule, die wir kennen, noch gleichen wird. Nur wer mitspielt, kann mitprägen. Düsseldorf, im Februar 2000 Monika Kramme Ministerium für Schule und Weiterbildung, Wissenschaft und Forschung","lang":"eng"}],"status":"public","type":"book"},{"title":"Unterstützende Angebote der Softwarebegleitgruppe","date_updated":"2022-01-06T07:03:39Z","publisher":"LIT","date_created":"2019-02-04T22:53:21Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Kelter, Udo","last_name":"Kelter","first_name":"Udo"},{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"}],"year":"2000","place":"Münster","page":"27-56","citation":{"chicago":"Engels, Gregor, Udo Kelter, Ralph Depke, and Katharina Mehner. “Unterstützende Angebote Der Softwarebegleitgruppe.” In <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>, 27–56. Münster: LIT, 2000.","ieee":"G. Engels, U. Kelter, R. Depke, and K. Mehner, “Unterstützende Angebote der Softwarebegleitgruppe,” in <i>Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>, Münster: LIT, 2000, pp. 27–56.","ama":"Engels G, Kelter U, Depke R, Mehner K. Unterstützende Angebote der Softwarebegleitgruppe. In: <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>. Münster: LIT; 2000:27-56.","short":"G. Engels, U. Kelter, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 27–56.","bibtex":"@inbook{Engels_Kelter_Depke_Mehner_2000, place={Münster}, title={Unterstützende Angebote der Softwarebegleitgruppe}, booktitle={Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}, publisher={LIT}, author={Engels, Gregor and Kelter, Udo and Depke, Ralph and Mehner, Katharina}, year={2000}, pages={27–56} }","mla":"Engels, Gregor, et al. “Unterstützende Angebote Der Softwarebegleitgruppe.” <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>, LIT, 2000, pp. 27–56.","apa":"Engels, G., Kelter, U., Depke, R., &#38; Mehner, K. (2000). Unterstützende Angebote der Softwarebegleitgruppe. In <i>Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i> (pp. 27–56). Münster: LIT."},"language":[{"iso":"eng"}],"_id":"7520","department":[{"_id":"66"}],"user_id":"52534","abstract":[{"lang":"ger","text":"In diesem Kapitel sollen das Vorgehensmodell zur Entwicklung von multimedialen Lehreinheiten und der Fragebogen zur Erstellung eines deskriptiven Vorgehensmodells vorgestellt werden. Diese Dokumente sind von der Softwarebegleitgruppe im Projektverlauf für die Projektteilnehmer aus den wirtschaftswissenschaftlichen Fakultäten erstellt worden."}],"status":"public","publication":"Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht","type":"book_chapter"},{"title":"Ergebnisse - vergleichende Darstellung","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"}],"date_created":"2019-02-04T22:54:41Z","publisher":"LIT","date_updated":"2022-01-06T07:03:39Z","citation":{"ama":"Engels G, Depke R, Mehner K. Ergebnisse - vergleichende Darstellung. In: <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>. Münster: LIT; 2000:277-294.","chicago":"Engels, Gregor, Ralph Depke, and Katharina Mehner. “Ergebnisse - Vergleichende Darstellung.” In <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>, 277–94. Münster: LIT, 2000.","ieee":"G. Engels, R. Depke, and K. Mehner, “Ergebnisse - vergleichende Darstellung,” in <i>Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>, Münster: LIT, 2000, pp. 277–294.","apa":"Engels, G., Depke, R., &#38; Mehner, K. (2000). Ergebnisse - vergleichende Darstellung. In <i>Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i> (pp. 277–294). Münster: LIT.","bibtex":"@inbook{Engels_Depke_Mehner_2000, place={Münster}, title={Ergebnisse - vergleichende Darstellung}, booktitle={Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}, publisher={LIT}, author={Engels, Gregor and Depke, Ralph and Mehner, Katharina}, year={2000}, pages={277–294} }","mla":"Engels, Gregor, et al. “Ergebnisse - Vergleichende Darstellung.” <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>, LIT, 2000, pp. 277–94.","short":"G. Engels, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 277–294."},"page":"277-294","place":"Münster","year":"2000","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7521","status":"public","abstract":[{"lang":"ger","text":"Auf der Grundlage der im vorherigen Kapitel zusammengefaßten Beschreibungen der Aktivitäten an den einzelnen Standorten Bochum, Köln, Münster und Siegen soll in diesem Kapitel versucht werden, die beschriebenen Erfahrungen zu strukturieren und zu vergleichen. Hierbei geht es in erster Linie um eine qualitative Analyse. Es wird also nicht gefragt und bewertet, welche konkret quantitativ meßbaren Ergebnisse erzielt wurden, sondern welcher Standort welche Aktivitäten durchgeführt hat, um das gesteckte Ziel zu erreichen. Das Ziel dieser vergleichenden Analyse liegt vor allem in dem Erkenntnisgewinn, welche Aktivitäten von welchen Personenkreisen in einer Fakultät durchgeführt werden können bzw. sollten, um eine adäquate Unterstützung der Lehre durch Multimedia-Techniken zu erzielen."}],"type":"book_chapter","publication":"Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht"},{"publication":"Proceedings of Advances in Object-Oriented Modeling","type":"book_chapter","abstract":[{"lang":"eng","text":"The computer has evolved from the purpose of pure number crunching to supporting the coordinated collaboration between human and/or artificial beings to reach a certain goal. Object-oriented modelling techniques based on the central notions of object interaction and object collaboration should provide the semantic expressivity to model such coordinated collaboration. Based on an investigation of the object-oriented modelling standard UML, however, the weaknesses of the existing modelling concepts are revealed. SOCCA is presented instead, which is an object-oriented specification language supporting the arbitrarily fine-grained synchronisation of processes, i.e., active objects. Based on several examples of the EU rental car system the expressive power of SOCCA is discussed and compared to related approaches."}],"status":"public","_id":"7522","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"2000","page":"307-332","citation":{"short":"G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.","bibtex":"@inbook{Engels_Groenewegen_Kappel_2000, title={Coordinated Collaboration of Objects}, booktitle={Proceedings of Advances in Object-Oriented Modeling}, publisher={The MIT Press}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={2000}, pages={307–332} }","mla":"Engels, Gregor, et al. “Coordinated Collaboration of Objects.” <i>Proceedings of Advances in Object-Oriented Modeling</i>, The MIT Press, 2000, pp. 307–32.","apa":"Engels, G., Groenewegen, L., &#38; Kappel, G. (2000). Coordinated Collaboration of Objects. In <i>Proceedings of Advances in Object-Oriented Modeling</i> (pp. 307–332). The MIT Press.","ieee":"G. Engels, L. Groenewegen, and G. Kappel, “Coordinated Collaboration of Objects,” in <i>Proceedings of Advances in Object-Oriented Modeling</i>, The MIT Press, 2000, pp. 307–332.","chicago":"Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Coordinated Collaboration of Objects.” In <i>Proceedings of Advances in Object-Oriented Modeling</i>, 307–32. The MIT Press, 2000.","ama":"Engels G, Groenewegen L, Kappel G. Coordinated Collaboration of Objects. In: <i>Proceedings of Advances in Object-Oriented Modeling</i>. The MIT Press; 2000:307-332."},"date_updated":"2022-01-06T07:03:39Z","publisher":"The MIT Press","date_created":"2019-02-04T22:55:21Z","author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"last_name":"Groenewegen","full_name":"Groenewegen, Luuk","first_name":"Luuk"},{"first_name":"Gerti","last_name":"Kappel","full_name":"Kappel, Gerti"}],"title":"Coordinated Collaboration of Objects"},{"title":"A Fully Abstract Model for Graph-Interpreted Temporal Logic","doi":"http://dx.doi.org/10.1007/b75045","publisher":"Springer","date_updated":"2022-01-06T07:03:53Z","volume":1764,"date_created":"2019-03-05T13:29:31Z","author":[{"first_name":"Fabio","full_name":"Gadducci, Fabio","last_name":"Gadducci"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"}],"year":"2000","place":"London, UK","intvolume":"      1764","page":"310-322","citation":{"ama":"Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>. Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 1764:310–22. LNCS. London, UK: Springer, 2000. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>.","ieee":"F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted Temporal Logic,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 2000, vol. 1764, pp. 310–322.","apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (2000). A Fully Abstract Model for Graph-Interpreted Temporal Logic. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i> (Vol. 1764, pp. 310–322). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>","bibtex":"@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS}, title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764}, DOI={<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={2000}, pages={310–322}, collection={LNCS} }","mla":"Gadducci, Fabio, et al. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, vol. 1764, Springer, 2000, pp. 310–22, doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>.","short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322."},"language":[{"iso":"eng"}],"_id":"8341","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","status":"public","publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)","type":"conference"},{"title":"Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!","doi":"http://dx.doi.org/10.1007/3-540-45104-8_28","publisher":"Springer","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-05T13:29:33Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"first_name":"Andreas","full_name":"Zamperoni, Andreas","last_name":"Zamperoni"}],"volume":1779,"year":"2000","place":"Berlin/Heidelberg","citation":{"ieee":"G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!,” in <i>Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>, 2000, vol. 1779, pp. 359–368.","chicago":"Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” In <i>Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>, 1779:359–68. LNCS. Berlin/Heidelberg: Springer, 2000. <a href=\"http://dx.doi.org/10.1007/3-540-45104-8_28\">http://dx.doi.org/10.1007/3-540-45104-8_28</a>.","ama":"Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In: <i>Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>. Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45104-8_28\">http://dx.doi.org/10.1007/3-540-45104-8_28</a>","bibtex":"@inproceedings{Engels_Zamperoni_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}, volume={1779}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45104-8_28\">http://dx.doi.org/10.1007/3-540-45104-8_28</a>}, booktitle={Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}, publisher={Springer}, author={Engels, Gregor and Zamperoni, Andreas}, year={2000}, pages={359–368}, collection={LNCS} }","mla":"Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” <i>Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>, vol. 1779, Springer, 2000, pp. 359–68, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45104-8_28\">http://dx.doi.org/10.1007/3-540-45104-8_28</a>.","short":"G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.","apa":"Engels, G., &#38; Zamperoni, A. (2000). Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In <i>Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i> (Vol. 1779, pp. 359–368). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45104-8_28\">http://dx.doi.org/10.1007/3-540-45104-8_28</a>"},"page":"359-368","intvolume":"      1779","language":[{"iso":"eng"}],"_id":"8342","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"abstract":[{"text":"This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)"},{"language":[{"iso":"eng"}],"_id":"8343","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the 7th GI-Workshop GROOM","title":"Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML","publisher":"University of Koblenz-Landau","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-05T13:29:34Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"}],"volume":20,"year":"2000","citation":{"apa":"Heckel, R., &#38; Sauer, S. (2000). Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In <i>Proceedings of the 7th GI-Workshop GROOM</i> (Vol. 20, pp. 43–44). University of Koblenz-Landau.","short":"R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.","mla":"Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur Definition Einer Operationalen Semantik Für Die UML.” <i>Proceedings of the 7th GI-Workshop GROOM</i>, vol. 20, no. 2, University of Koblenz-Landau, 2000, pp. 43–44.","bibtex":"@inproceedings{Heckel_Sauer_2000, title={Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}, volume={20}, number={2}, booktitle={Proceedings of the 7th GI-Workshop GROOM}, publisher={University of Koblenz-Landau}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={43–44} }","ieee":"R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in <i>Proceedings of the 7th GI-Workshop GROOM</i>, 2000, vol. 20, no. 2, pp. 43–44.","chicago":"Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur Definition Einer Operationalen Semantik Für Die UML.” In <i>Proceedings of the 7th GI-Workshop GROOM</i>, 20:43–44. University of Koblenz-Landau, 2000.","ama":"Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: <i>Proceedings of the 7th GI-Workshop GROOM</i>. Vol 20. University of Koblenz-Landau; 2000:43-44."},"intvolume":"        20","page":"43-44","issue":"2"},{"issue":"0006","page":"63-69","citation":{"short":"R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.","mla":"Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, no. 0006, Ludwig-Maximilians-University, 2000, pp. 63–69.","bibtex":"@inproceedings{Heckel_Sauer_2000, place={Munich (Germany)}, title={Strengthening the Semantics of UML Collaboration Diagrams}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={63–69} }","apa":"Heckel, R., &#38; Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i> (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.","chicago":"Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 63–69. Munich (Germany): Ludwig-Maximilians-University, 2000.","ieee":"R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration Diagrams,” in <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 2000, no. 0006, pp. 63–69.","ama":"Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>. Munich (Germany): Ludwig-Maximilians-University; 2000:63-69."},"year":"2000","place":"Munich (Germany)","date_created":"2019-03-05T13:29:35Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Sauer","id":"447","full_name":"Sauer, Stefan","first_name":"Stefan"}],"publisher":"Ludwig-Maximilians-University","date_updated":"2022-01-06T07:03:53Z","title":"Strengthening the Semantics of UML Collaboration Diagrams","publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"8344","language":[{"iso":"eng"}]},{"publication":"Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)","type":"conference","status":"public","_id":"8345","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"2000","place":"York, UK","citation":{"apa":"Küster, J., &#38; Stroop, J. (2000). Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In <i>Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)</i>. York, UK: University of York.","short":"J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.","bibtex":"@inproceedings{Küster_Stroop_2000, place={York, UK}, title={Towards Consistency of Dynamic Models and Analysis of Timing Constraints}, booktitle={Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}, publisher={University of York}, author={Küster, Jochen and Stroop, Joachim}, year={2000} }","mla":"Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models and Analysis of Timing Constraints.” <i>Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK)</i>, University of York, 2000.","chicago":"Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models and Analysis of Timing Constraints.” In <i>Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK)</i>. York, UK: University of York, 2000.","ieee":"J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis of Timing Constraints,” in <i>Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)</i>, 2000.","ama":"Küster J, Stroop J. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In: <i>Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK)</i>. York, UK: University of York; 2000."},"publisher":"University of York","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-05T13:29:36Z","author":[{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"full_name":"Stroop, Joachim","last_name":"Stroop","first_name":"Joachim"}],"title":"Towards Consistency of Dynamic Models and Analysis of Timing Constraints"},{"intvolume":"        24","page":"14-18","citation":{"ieee":"K. Mehner and T. Schattkowsky, “Methodische Aspekte von Modellierungssprachen für nebenläufige Software,” in <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>, 2000, vol. 24, pp. 14–18.","chicago":"Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen Für Nebenläufige Software.” In <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>, 24:14–18. Universität Münster, 2000.","ama":"Mehner K, Schattkowsky T. Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In: <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>. Vol 24. Universität Münster; 2000:14-18.","apa":"Mehner, K., &#38; Schattkowsky, T. (2000). Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i> (Vol. 24, pp. 14–18). Universität Münster.","short":"K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.","bibtex":"@inproceedings{Mehner_Schattkowsky_2000, title={Methodische Aspekte von Modellierungssprachen für nebenläufige Software}, volume={24}, booktitle={Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}, publisher={Universität Münster}, author={Mehner, Katharina and Schattkowsky, Tim}, year={2000}, pages={14–18} }","mla":"Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen Für Nebenläufige Software.” <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>, vol. 24, Universität Münster, 2000, pp. 14–18."},"year":"2000","title":"Methodische Aspekte von Modellierungssprachen für nebenläufige Software","volume":24,"date_created":"2019-03-05T13:29:37Z","author":[{"last_name":"Mehner","full_name":"Mehner, Katharina","first_name":"Katharina"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"}],"date_updated":"2022-01-06T07:03:53Z","publisher":"Universität Münster","status":"public","abstract":[{"lang":"eng","text":"In den letzten Jahren ist ein deutlicher Trend zu verstärkt nebenläufiger Software festzustellen. Hierfür gibt es verschiedene Gründe, wie die rasante Verbreitung des Internets mit seinen Client/Server-Architekturen und die verstärkte Unterstützung nebenläufiger Programmierung in neuen Programmiersprachen wie z.B. Java. Softwareentwickler werden somit zunehmend mit dem Problem der Synchronisation der nebenläufigen Abläufe in der Software konfrontiert. Dabei treten immer wieder gravierende Fehler auf. Besonders problematisch ist in diesem Zusammenhang der Nichtdeterminismus nebenläufiger Abläufe, der dazu führt, dass Fehler unter Umständen bei Tests nicht auffällig werden, weil das Auftreten der Fehler von einem bestimmten Zeitverhalten abhängt, das beim Test nicht auftritt. Die Situation wird noch erschwert, wenn man nebenläufige Software aus Komponenten verschiedener Hersteller zusammensetzt. Bei der Zusammenarbeit dieser Komponenten auftretende Fehler im nebenläufigen Ablauf sind besonders schwierig zu diagnostizieren und zu beheben, da über die verwendeten Komponenten meist nichts außerhalb ihrer nicht notwendigerweise vollständigen und korrekten Spezifikation bekannt ist. Dies ist ein aktuelles Problem, da Komponententechnologien den Kern vieler moderner Anwendungen bilden. Viele Fehler in nebenläufiger Software sind auf grundsätzliche Fehler beim Entwurf der Software zurückzuführen. Auch beim Übergang vom Modell zur Implementierung entstehen Fehler, insbesondere wenn das Modell nicht direkt bei der Implementierung umsetzbar ist. Dies ist häufig der Fall, weil die Implementierung meist auf der Verwendung einfacher Synchronisationskonstrukte, wie z.B. Semaphoren, basiert, welche in der verwendeten Modellierung kein direktes Gegenstück haben. Es ist also entscheidend, dass die Softwareentwickler beim Entwurf ein klares Bild von der zu entwickelnden Software erhalten, welches leicht in der Implementierung umzusetzen ist. Wir wollen im folgenden grundlegende Strukturen nebenläufiger Softwaresysteme aufzeigen, basierend darauf Anforderungen an Modellierungssprachen für solche Systeme formulieren und existierende Modellierungssprachen auf diese Anforderungen hin untersuchen. Dabei werden wir sehen, dass sich in diesen Systemen kleinere, nahezu in sich abgeschlossene, Abläufe identifizieren lassen, die wir als Operationen bezeichnen werden. Betrachtet man die Implementation so ist festzustellen, dass hier einige einfache Konstrukte im Vordergrund stehen, auf die das Modell abgebildet werden muss. Damit ergeben sich aus unserer Sicht zwei wesentliche Forderungen an Modellierungssprachen: · Die Aufteilung in einzelne Operationen soll gefördert werden. · Gängige Synchronisationskonstrukte sollen direkt dargestellt werden, um die Lesbarkeit der Darstellung zu verbessern und um den Übergang in die Implementierung zu vereinfachen. Im nächsten Abschnitt werden wir die grundlegende Struktur nebenläufiger Software beschreiben, bevor wir dann Anforderungen diskutieren. Wir werden State Charts als eine gebräuchliche Modellierungssprache hinsichtlich dieser Anforderungen untersuchen und dabei sehen, dass diese den Forderungen nicht vollständig gerecht werden. Dies wird an einem Beispiel vertieft. Abschließend gehen wir kurz auf den Übergang von der Modellierung in die Implementierung ein."}],"publication":"Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8346"},{"year":"2000","citation":{"ama":"Mehner K, Wagner A. Visualisierung der Synchronisation von Java-Threads mit UML. In: <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>. Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.","chicago":"Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von Java-Threads Mit UML.” In <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>, Vol. 15. Koblenzer Schriften Zur Informatik. Fölbach, 2000.","ieee":"K. Mehner and A. Wagner, “Visualisierung der Synchronisation von Java-Threads mit UML,” in <i>Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>, 2000, vol. 15.","apa":"Mehner, K., &#38; Wagner, A. (2000). Visualisierung der Synchronisation von Java-Threads mit UML. In <i>Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i> (Vol. 15). Fölbach.","bibtex":"@inproceedings{Mehner_Wagner_2000, series={Koblenzer Schriften zur Informatik}, title={Visualisierung der Synchronisation von Java-Threads mit UML}, volume={15}, booktitle={Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}, publisher={Fölbach}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, collection={Koblenzer Schriften zur Informatik} }","short":"K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.","mla":"Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von Java-Threads Mit UML.” <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>, vol. 15, Fölbach, 2000."},"intvolume":"        15","date_updated":"2022-01-06T07:03:53Z","publisher":"Fölbach","date_created":"2019-03-05T13:29:39Z","author":[{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"},{"first_name":"Annika","full_name":"Wagner, Annika","last_name":"Wagner"}],"volume":15,"title":"Visualisierung der Synchronisation von Java-Threads mit UML","type":"conference","publication":"Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)","status":"public","_id":"8347","user_id":"52534","series_title":"Koblenzer Schriften zur Informatik","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"year":"2000","issue":"4","title":"Reconfigurable accelerators for combinatorial problems","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","date_created":"2019-01-08T09:45:03Z","publication":"Computer","language":[{"iso":"eng"}],"citation":{"chicago":"Platzner, Marco. “Reconfigurable Accelerators for Combinatorial Problems.” <i>Computer</i> 33, no. 4 (2000): 58–60. <a href=\"https://doi.org/10.1109/2.839322\">https://doi.org/10.1109/2.839322</a>.","ieee":"M. Platzner, “Reconfigurable accelerators for combinatorial problems,” <i>Computer</i>, vol. 33, no. 4, pp. 58–60, 2000.","ama":"Platzner M. Reconfigurable accelerators for combinatorial problems. <i>Computer</i>. 2000;33(4):58-60. doi:<a href=\"https://doi.org/10.1109/2.839322\">10.1109/2.839322</a>","apa":"Platzner, M. (2000). Reconfigurable accelerators for combinatorial problems. <i>Computer</i>, <i>33</i>(4), 58–60. <a href=\"https://doi.org/10.1109/2.839322\">https://doi.org/10.1109/2.839322</a>","short":"M. Platzner, Computer 33 (2000) 58–60.","mla":"Platzner, Marco. “Reconfigurable Accelerators for Combinatorial Problems.” <i>Computer</i>, vol. 33, no. 4, Institute of Electrical and Electronics Engineers (IEEE), 2000, pp. 58–60, doi:<a href=\"https://doi.org/10.1109/2.839322\">10.1109/2.839322</a>.","bibtex":"@article{Platzner_2000, title={Reconfigurable accelerators for combinatorial problems}, volume={33}, DOI={<a href=\"https://doi.org/10.1109/2.839322\">10.1109/2.839322</a>}, number={4}, journal={Computer}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Platzner, Marco}, year={2000}, pages={58–60} }"},"page":"58-60","intvolume":"        33","publication_status":"published","publication_identifier":{"issn":["0018-9162"]},"doi":"10.1109/2.839322","date_updated":"2022-01-06T07:03:08Z","author":[{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"}],"volume":33,"status":"public","type":"journal_article","extern":"1","_id":"6507","user_id":"398","department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}]},{"publication_identifier":{"isbn":["1581131852"]},"publication_status":"published","citation":{"apa":"Meyer auf der Heide, F., Räcke, H., &#38; Westermann, M. (2000). Data management in hierarchical bus networks. <i>Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00</i>. <a href=\"https://doi.org/10.1145/341800.341814\">https://doi.org/10.1145/341800.341814</a>","bibtex":"@inproceedings{Meyer auf der Heide_Räcke_Westermann_2000, title={Data management in hierarchical bus networks}, DOI={<a href=\"https://doi.org/10.1145/341800.341814\">10.1145/341800.341814</a>}, booktitle={Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’00}, author={Meyer auf der Heide, Friedhelm and Räcke, Harald and Westermann, Matthias}, year={2000} }","short":"F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00, 2000.","mla":"Meyer auf der Heide, Friedhelm, et al. “Data Management in Hierarchical Bus Networks.” <i>Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00</i>, 2000, doi:<a href=\"https://doi.org/10.1145/341800.341814\">10.1145/341800.341814</a>.","ama":"Meyer auf der Heide F, Räcke H, Westermann M. Data management in hierarchical bus networks. In: <i>Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00</i>. ; 2000. doi:<a href=\"https://doi.org/10.1145/341800.341814\">10.1145/341800.341814</a>","ieee":"F. Meyer auf der Heide, H. Räcke, and M. Westermann, “Data management in hierarchical bus networks,” 2000, doi: <a href=\"https://doi.org/10.1145/341800.341814\">10.1145/341800.341814</a>.","chicago":"Meyer auf der Heide, Friedhelm, Harald Räcke, and Matthias Westermann. “Data Management in Hierarchical Bus Networks.” In <i>Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00</i>, 2000. <a href=\"https://doi.org/10.1145/341800.341814\">https://doi.org/10.1145/341800.341814</a>."},"year":"2000","date_created":"2020-04-09T13:06:23Z","author":[{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","id":"15523","full_name":"Meyer auf der Heide, Friedhelm"},{"first_name":"Harald","full_name":"Räcke, Harald","last_name":"Räcke"},{"last_name":"Westermann","full_name":"Westermann, Matthias","first_name":"Matthias"}],"date_updated":"2022-01-06T06:52:51Z","doi":"10.1145/341800.341814","title":"Data management in hierarchical bus networks","publication":"Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures  - SPAA '00","type":"conference","status":"public","department":[{"_id":"63"}],"user_id":"15415","_id":"16495","language":[{"iso":"eng"}]},{"_id":"16496","user_id":"15415","department":[{"_id":"63"}],"language":[{"iso":"eng"}],"type":"conference","publication":"SODA '00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms","abstract":[{"lang":"eng","text":"We present a general framework for the development of on-line algorithms for data management in networks with limited memory capacities. These algorithms dynamically create and delete copies of shared data objects that can be read and written by the nodes in the network. Our algorithms aim to minimize the congestion, i.e., the maximum communication load over all network resources, so that that none of these resources become a communication bottleneck. We give several examples of networks for which our framework yields efficient algorithms, including meshes, fat-trees, hypercubic networks, and complete networks. For example, our framework yields an $O(d cdot log n)$-competitive caching algorithm for $d$-dimensional meshes of size $n$ with respect to the congestion on the communication links, and an $O(1)$-competitive algorithms for complete networks with respect to the congestion at the memory modules due to remote accesses. Previous work on data management in networks either neglects memory capacity constraints or minimizes only the total communication load, i.e., the sum of the communication load over all resources, which may produce congestion as some of the links become bottlenecks."}],"status":"public","date_updated":"2022-01-06T06:52:51Z","author":[{"first_name":"Friedhelm","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"},{"first_name":"Berthold","last_name":"Vöcking","full_name":"Vöcking, Berthold"},{"first_name":"Matthias","full_name":"Westermann, Matthias","last_name":"Westermann"}],"date_created":"2020-04-09T13:16:15Z","title":"Caching in networks","publication_identifier":{"isbn":["0898714532"]},"year":"2000","citation":{"ama":"Meyer auf der Heide F, Vöcking B, Westermann M. Caching in networks. In: <i>SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms</i>. ; 2000:430–439.","chicago":"Meyer auf der Heide, Friedhelm, Berthold Vöcking, and Matthias Westermann. “Caching in Networks.” In <i>SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 430–439, 2000.","ieee":"F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Caching in networks,” in <i>SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms</i>, 2000, pp. 430–439.","apa":"Meyer auf der Heide, F., Vöcking, B., &#38; Westermann, M. (2000). Caching in networks. In <i>SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms</i> (pp. 430–439).","mla":"Meyer auf der Heide, Friedhelm, et al. “Caching in Networks.” <i>SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 2000, pp. 430–439.","bibtex":"@inproceedings{Meyer auf der Heide_Vöcking_Westermann_2000, title={Caching in networks}, booktitle={SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms}, author={Meyer auf der Heide, Friedhelm and Vöcking, Berthold and Westermann, Matthias}, year={2000}, pages={430–439} }","short":"F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439."},"page":"430–439"}]