[{"status":"public","type":"conference","publication":"Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)","language":[{"iso":"eng"}],"_id":"8333","user_id":"52534","department":[{"_id":"66"}],"year":"2000","citation":{"mla":"Corradini, Andrea, et al. “Graphical Operational Semantics.” <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. 411–18.","bibtex":"@inproceedings{Corradini_Heckel_Montanari_2000, title={Graphical Operational Semantics}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2000}, pages={411–418} }","short":"A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–418.","apa":"Corradini, A., Heckel, R., &#38; Montanari, U. (2000). Graphical Operational Semantics. In <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)</i> (pp. 411–418). Carleton Scientific.","ieee":"A. Corradini, R. Heckel, and U. Montanari, “Graphical Operational Semantics,” in <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)</i>, 2000, pp. 411–418.","chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Graphical Operational Semantics.” In <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland)</i>, 411–18. Carleton Scientific, 2000.","ama":"Corradini A, Heckel R, Montanari U. Graphical Operational Semantics. 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:411-418."},"page":"411-418","title":"Graphical Operational Semantics","date_updated":"2022-01-06T07:03:53Z","publisher":"Carleton Scientific","author":[{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Montanari, Ugo","last_name":"Montanari","first_name":"Ugo"}],"date_created":"2019-03-05T13:29:22Z"},{"title":"Towards Role-based Modeling of Autonomous Agents","date_created":"2019-03-05T13:29:23Z","author":[{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:53Z","citation":{"mla":"Depke, Ralph, and Reiko Heckel. “Towards Role-Based Modeling of Autonomous Agents.” <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>, 2000.","bibtex":"@inproceedings{Depke_Heckel_2000, title={Towards Role-based Modeling of Autonomous Agents}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, author={Depke, Ralph and Heckel, Reiko}, year={2000} }","short":"R. Depke, R. Heckel, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.","apa":"Depke, R., &#38; Heckel, R. (2000). Towards Role-based Modeling of Autonomous Agents. In <i>Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)</i>.","ama":"Depke R, Heckel R. Towards Role-based Modeling of Autonomous Agents. In: <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>. ; 2000.","chicago":"Depke, Ralph, and Reiko Heckel. “Towards Role-Based Modeling of Autonomous Agents.” In <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>, 2000.","ieee":"R. Depke and R. Heckel, “Towards Role-based Modeling of Autonomous Agents,” in <i>Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)</i>, 2000."},"year":"2000","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8334","status":"public","type":"conference","publication":"Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)"},{"type":"conference","publication":"Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland)","status":"public","user_id":"52534","department":[{"_id":"66"}],"_id":"8335","language":[{"iso":"eng"}],"citation":{"chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML.” In <i>Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland)</i>. Limerick, Ireland: University of Limerick, 2000.","ieee":"R. Depke, R. Heckel, and J. Küster, “Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML,” in <i>Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland)</i>, 2000.","ama":"Depke R, Heckel R, Küster J. Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML. In: <i>Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland)</i>. Limerick, Ireland: University of Limerick; 2000.","mla":"Depke, Ralph, et al. “Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML.” <i>Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland)</i>, University of Limerick, 2000.","short":"R. Depke, R. Heckel, J. Küster, in: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland), University of Limerick, Limerick, Ireland, 2000.","bibtex":"@inproceedings{Depke_Heckel_Küster_2000, place={Limerick, Ireland}, title={Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML}, booktitle={Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland)}, publisher={University of Limerick}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }","apa":"Depke, R., Heckel, R., &#38; Küster, J. (2000). Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML. In <i>Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland)</i>. Limerick, Ireland: University of Limerick."},"year":"2000","place":"Limerick, Ireland","date_created":"2019-03-05T13:29:24Z","author":[{"last_name":"Depke","full_name":"Depke, Ralph","first_name":"Ralph"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"}],"publisher":"University of Limerick","date_updated":"2022-01-06T07:03:53Z","title":"Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML"},{"status":"public","publication":"Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8336","citation":{"mla":"Depke, Ralph, et al. “Deploying Agents in an Electronic Banking Environment.” <i>Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)</i>, 2000.","bibtex":"@inproceedings{Depke_Heckel_Küster_2000, title={Deploying Agents in an Electronic Banking Environment}, booktitle={Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }","short":"R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.","apa":"Depke, R., Heckel, R., &#38; Küster, J. (2000). Deploying Agents in an Electronic Banking Environment. In <i>Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)</i>.","ieee":"R. Depke, R. Heckel, and J. Küster, “Deploying Agents in an Electronic Banking Environment,” in <i>Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)</i>, 2000.","chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Deploying Agents in an Electronic Banking Environment.” In <i>Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)</i>, 2000.","ama":"Depke R, Heckel R, Küster J. Deploying Agents in an Electronic Banking Environment. In: <i>Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)</i>. ; 2000."},"year":"2000","title":"Deploying Agents in an Electronic Banking Environment","author":[{"last_name":"Depke","full_name":"Depke, Ralph","first_name":"Ralph"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"}],"date_created":"2019-03-05T13:29:26Z","date_updated":"2022-01-06T07:03:53Z"},{"language":[{"iso":"eng"}],"_id":"8337","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)","title":"Rollenbasierte Modellierung autonomer Agenten","publisher":"Universität Münster","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Jochen","full_name":"Küster, Jochen","last_name":"Küster"}],"date_created":"2019-03-05T13:29:27Z","year":"2000","place":"Münster","citation":{"apa":"Depke, R., Heckel, R., &#38; Küster, J. (2000). Rollenbasierte Modellierung autonomer Agenten. In <i>Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)</i>. Münster: Universität Münster.","bibtex":"@inproceedings{Depke_Heckel_Küster_2000, place={Münster}, title={Rollenbasierte Modellierung autonomer Agenten}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, publisher={Universität Münster}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }","mla":"Depke, Ralph, et al. “Rollenbasierte Modellierung Autonomer Agenten.” <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>, Universität Münster, 2000.","short":"R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), Universität Münster, Münster, 2000.","ama":"Depke R, Heckel R, Küster J. Rollenbasierte Modellierung autonomer Agenten. In: <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>. Münster: Universität Münster; 2000.","ieee":"R. Depke, R. Heckel, and J. Küster, “Rollenbasierte Modellierung autonomer Agenten,” in <i>Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)</i>, 2000.","chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Rollenbasierte Modellierung Autonomer Agenten.” In <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>. Münster: Universität Münster, 2000."}},{"title":"Formalizing the Development of Agent-Based Systems Using Graph Processes","author":[{"last_name":"Depke","full_name":"Depke, Ralph","first_name":"Ralph"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"date_created":"2019-03-05T13:29:28Z","publisher":"Carleton Scientific","date_updated":"2022-01-06T07:03:53Z","page":"419-426","citation":{"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.","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.","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.","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.","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.","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} }","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."},"year":"2000","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8338","status":"public","publication":"Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)","type":"conference"},{"language":[{"iso":"eng"}],"_id":"8339","department":[{"_id":"66"}],"user_id":"52534","status":"public","publication":"Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)","type":"conference","title":"From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation","publisher":"Carleton Scientific","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"date_created":"2019-03-05T13:29:29Z","year":"2000","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.","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.","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} }","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."}},{"date_updated":"2022-01-06T07:03:53Z","publisher":"Ludwig-Maximilians-University","date_created":"2019-03-05T13:29:30Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"}],"title":"Modeling Concurrent Behavior through Consistent Statechart Views","issue":"0006","place":"Munich (Germany)","year":"2000","page":"44-49","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.","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} }","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.","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.","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."},"_id":"8340","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","type":"conference","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"},{"issue":"71","year":"2000","page":"186-202","citation":{"ama":"Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. <i>Bulletin of the EATCS</i>. 2000;(71):186-202.","chicago":"Engels, Gregor, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques.” <i>Bulletin of the EATCS</i>, no. 71 (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.","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} }","short":"G. Engels, R. Heckel, Bulletin of the EATCS (2000) 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."},"date_updated":"2022-01-06T07:03:36Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_created":"2019-01-31T15:43:34Z","title":"Graph Transformation and Visual Modeling Techniques","publication":"Bulletin of the EATCS","type":"journal_article","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"}],"status":"public","_id":"7396","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"department":[{"_id":"66"}],"user_id":"52534","_id":"7397","language":[{"iso":"eng"}],"publication":"Bulletin of the EATCS","type":"journal_article","status":"public","date_created":"2019-01-31T15:45:13Z","author":[{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:36Z","title":"Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo","issue":"72","page":"69-76","citation":{"short":"A. Corradini, R. Heckel, Bulletin of the EATCS (2000) 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.","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} }","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.","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"},{"title":"Agenten im Auftrag des Bankkunden","volume":31,"date_created":"2019-01-31T15:45:41Z","author":[{"first_name":"Ralph","full_name":"Depke, Ralph","last_name":"Depke"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Matthew","full_name":"Langham, Matthew","last_name":"Langham"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"        31","page":"32-33","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.","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.","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} }","mla":"Depke, Ralph, et al. “Agenten Im Auftrag Des Bankkunden.” <i>Geldinstitute</i>, vol. 31, no. 1–2, 2000, pp. 32–33.","short":"R. Depke, R. Heckel, J. Küster, M. Langham, Geldinstitute 31 (2000) 32–33."},"year":"2000","issue":"1-2","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7398","status":"public","publication":"Geldinstitute","type":"journal_article"},{"type":"book","abstract":[{"lang":"eng","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"}],"status":"public","_id":"7509","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"2000","citation":{"ama":"Doberkat E-E. <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster; 2000.","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.","apa":"Doberkat, E.-E. (2000). <i>Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster.","short":"E.-E. Doberkat, Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht, 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} }","mla":"Doberkat, Ernst-Erich. <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht</i>. LIT Verlag Münster, 2000."},"publisher":"LIT Verlag Münster","date_updated":"2022-01-06T07:03:39Z","author":[{"first_name":"Ernst-Erich","last_name":"Doberkat","full_name":"Doberkat, Ernst-Erich"}],"date_created":"2019-02-04T22:27:59Z","title":"Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht"},{"abstract":[{"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.","lang":"ger"}],"status":"public","type":"book_chapter","publication":"Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht","language":[{"iso":"eng"}],"_id":"7520","user_id":"52534","department":[{"_id":"66"}],"place":"Münster","year":"2000","citation":{"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.","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.","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.","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} }","short":"G. Engels, U. Kelter, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 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."},"page":"27-56","title":"Unterstützende Angebote der Softwarebegleitgruppe","date_updated":"2022-01-06T07:03:39Z","publisher":"LIT","author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"first_name":"Udo","last_name":"Kelter","full_name":"Kelter, Udo"},{"last_name":"Depke","full_name":"Depke, Ralph","first_name":"Ralph"},{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"}],"date_created":"2019-02-04T22:53:21Z"},{"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.","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.","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.","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.","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."},"page":"277-294","year":"2000","place":"Münster","title":"Ergebnisse - vergleichende Darstellung","date_created":"2019-02-04T22:54:41Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Ralph","full_name":"Depke, Ralph","last_name":"Depke"},{"last_name":"Mehner","full_name":"Mehner, Katharina","first_name":"Katharina"}],"date_updated":"2022-01-06T07:03:39Z","publisher":"LIT","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","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7521"},{"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","type":"book_chapter","publication":"Proceedings of Advances in Object-Oriented Modeling","language":[{"iso":"eng"}],"_id":"7522","user_id":"52534","department":[{"_id":"66"}],"year":"2000","citation":{"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.","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.","short":"G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.","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."},"page":"307-332","title":"Coordinated Collaboration of Objects","date_updated":"2022-01-06T07:03:39Z","publisher":"The MIT Press","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"},{"first_name":"Gerti","full_name":"Kappel, Gerti","last_name":"Kappel"}],"date_created":"2019-02-04T22:55:21Z"},{"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)","type":"conference","status":"public","_id":"8341","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","language":[{"iso":"eng"}],"place":"London, UK","year":"2000","page":"310-322","intvolume":"      1764","citation":{"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.","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>","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.","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>"},"date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","volume":1764,"author":[{"full_name":"Gadducci, Fabio","last_name":"Gadducci","first_name":"Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Koch, Manuel","last_name":"Koch","first_name":"Manuel"}],"date_created":"2019-03-05T13:29:31Z","title":"A Fully Abstract Model for Graph-Interpreted Temporal Logic","doi":"http://dx.doi.org/10.1007/b75045"},{"date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","volume":1779,"date_created":"2019-03-05T13:29:33Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Andreas","full_name":"Zamperoni, Andreas","last_name":"Zamperoni"}],"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","year":"2000","place":"Berlin/Heidelberg","intvolume":"      1779","page":"359-368","citation":{"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>","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.","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>","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>."},"_id":"8342","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","language":[{"iso":"eng"}],"publication":"Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)","type":"conference","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"},{"_id":"8343","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the 7th GI-Workshop GROOM","type":"conference","status":"public","publisher":"University of Koblenz-Landau","date_updated":"2022-01-06T07:03:53Z","volume":20,"date_created":"2019-03-05T13:29:34Z","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"}],"title":"Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML","issue":"2","year":"2000","page":"43-44","intvolume":"        20","citation":{"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.","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.","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.","short":"R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, 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} }","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."}},{"issue":"0006","year":"2000","place":"Munich (Germany)","citation":{"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.","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.","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.","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.","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.","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} }","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."},"page":"63-69","date_updated":"2022-01-06T07:03:53Z","publisher":"Ludwig-Maximilians-University","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"}],"date_created":"2019-03-05T13:29:35Z","title":"Strengthening the Semantics of UML Collaboration Diagrams","type":"conference","publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","status":"public","_id":"8344","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"place":"York, UK","year":"2000","citation":{"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.","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.","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.","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} }","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."},"date_updated":"2022-01-06T07:03:53Z","publisher":"University of York","date_created":"2019-03-05T13:29:36Z","author":[{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Joachim","last_name":"Stroop","full_name":"Stroop, Joachim"}],"title":"Towards Consistency of Dynamic Models and Analysis of Timing Constraints","type":"conference","publication":"Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)","status":"public","_id":"8345","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]}]