[{"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."}],"publication":"Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht","citation":{"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.","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.","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.","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.","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."},"type":"book_chapter","department":[{"_id":"66"}],"place":"Münster","date_created":"2019-02-04T22:54:41Z","date_updated":"2022-01-06T07:03:39Z","status":"public","title":"Ergebnisse - vergleichende Darstellung","year":"2000","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Depke, Ralph","first_name":"Ralph","last_name":"Depke"},{"last_name":"Mehner","first_name":"Katharina","full_name":"Mehner, Katharina"}],"user_id":"52534","page":"277-294","_id":"7521","publisher":"LIT","language":[{"iso":"eng"}]},{"page":"307-332","publisher":"The MIT Press","_id":"7522","language":[{"iso":"eng"}],"user_id":"52534","status":"public","year":"2000","title":"Coordinated Collaboration of Objects","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Groenewegen, Luuk","first_name":"Luuk","last_name":"Groenewegen"},{"first_name":"Gerti","last_name":"Kappel","full_name":"Kappel, Gerti"}],"date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-04T22:55:21Z","type":"book_chapter","department":[{"_id":"66"}],"publication":"Proceedings of Advances in Object-Oriented Modeling","citation":{"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} }","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.","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.","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.","short":"G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.","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.","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."},"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."}]},{"date_created":"2019-03-05T13:29:31Z","place":"London, UK","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)","citation":{"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>","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.","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.","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>.","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>.","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} }"},"page":"310-322","language":[{"iso":"eng"}],"_id":"8341","publisher":"Springer","series_title":"LNCS","user_id":"52534","doi":"http://dx.doi.org/10.1007/b75045","volume":1764,"title":"A Fully Abstract Model for Graph-Interpreted Temporal Logic","status":"public","year":"2000","author":[{"last_name":"Gadducci","first_name":"Fabio","full_name":"Gadducci, Fabio"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Koch, Manuel","last_name":"Koch","first_name":"Manuel"}],"date_updated":"2022-01-06T07:03:53Z","intvolume":"      1764"},{"language":[{"iso":"eng"}],"series_title":"LNCS","doi":"http://dx.doi.org/10.1007/3-540-45104-8_28","title":"Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!","year":"2000","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Zamperoni, Andreas","first_name":"Andreas","last_name":"Zamperoni"}],"date_updated":"2022-01-06T07:03:53Z","intvolume":"      1779","date_created":"2019-03-05T13:29:33Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)","abstract":[{"lang":"eng","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."}],"page":"359-368","_id":"8342","publisher":"Springer","user_id":"52534","volume":1779,"status":"public","place":"Berlin/Heidelberg","citation":{"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>.","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} }","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.","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>","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>.","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."}},{"date_created":"2019-03-05T13:29:34Z","department":[{"_id":"66"}],"type":"conference","citation":{"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.","short":"R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 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.","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.","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} }","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.","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."},"publication":"Proceedings of the 7th GI-Workshop GROOM","issue":"2","language":[{"iso":"eng"}],"_id":"8343","publisher":"University of Koblenz-Landau","page":"43-44","volume":20,"user_id":"52534","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer","id":"447"}],"title":"Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML","year":"2000","status":"public","intvolume":"        20","date_updated":"2022-01-06T07:03:53Z"},{"citation":{"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.","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.","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.","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.","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."},"publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","issue":"0006","place":"Munich (Germany)","date_created":"2019-03-05T13:29:35Z","department":[{"_id":"66"}],"type":"conference","author":[{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"id":"447","full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer"}],"title":"Strengthening the Semantics of UML Collaboration Diagrams","year":"2000","status":"public","date_updated":"2022-01-06T07:03:53Z","_id":"8344","publisher":"Ludwig-Maximilians-University","language":[{"iso":"eng"}],"page":"63-69","user_id":"52534"},{"publication":"Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), 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.","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.","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.","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.","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.","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.","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} }"},"date_created":"2019-03-05T13:29:36Z","place":"York, UK","type":"conference","department":[{"_id":"66"}],"status":"public","title":"Towards Consistency of Dynamic Models and Analysis of Timing Constraints","year":"2000","author":[{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"full_name":"Stroop, Joachim","first_name":"Joachim","last_name":"Stroop"}],"date_updated":"2022-01-06T07:03:53Z","publisher":"University of York","_id":"8345","language":[{"iso":"eng"}],"user_id":"52534"},{"language":[{"iso":"eng"}],"_id":"8346","publisher":"Universität Münster","page":"14-18","volume":24,"user_id":"52534","author":[{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"}],"title":"Methodische Aspekte von Modellierungssprachen für nebenläufige Software","status":"public","year":"2000","intvolume":"        24","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-05T13:29:37Z","department":[{"_id":"66"}],"type":"conference","citation":{"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.","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.","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} }","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.","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.","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."},"publication":"Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)","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."}]},{"citation":{"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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)","date_created":"2019-03-05T13:29:39Z","department":[{"_id":"66"}],"type":"conference","author":[{"full_name":"Mehner, Katharina","first_name":"Katharina","last_name":"Mehner"},{"last_name":"Wagner","first_name":"Annika","full_name":"Wagner, Annika"}],"title":"Visualisierung der Synchronisation von Java-Threads mit UML","status":"public","year":"2000","intvolume":"        15","date_updated":"2022-01-06T07:03:53Z","series_title":"Koblenzer Schriften zur Informatik","_id":"8347","language":[{"iso":"eng"}],"publisher":"Fölbach","volume":15,"user_id":"52534"},{"publisher":"Springer","_id":"7792","series_title":"Informatik aktuell","language":[{"iso":"eng"}],"user_id":"52534","editor":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Beiersdörfer","first_name":"K.","full_name":"Beiersdörfer, K."},{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"}],"status":"public","title":"Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)","year":"1999","date_updated":"2022-01-06T07:03:46Z","date_created":"2019-02-19T19:13:34Z","place":"Berlin/Heidelberg","type":"conference_editor","department":[{"_id":"66"}],"citation":{"chicago":"Engels, Gregor, K. Beiersdörfer, and Wilhelm Schäfer, eds. <i>Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany)</i>. Informatik Aktuell. Berlin/Heidelberg: Springer, 1999.","short":"G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.","apa":"Engels, G., Beiersdörfer, K., &#38; Schäfer, W. (Eds.). (1999). <i>Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)</i>. Berlin/Heidelberg: Springer.","ieee":"G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., <i>Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)</i>. Berlin/Heidelberg: Springer, 1999.","ama":"Engels G, Beiersdörfer K, Schäfer W, eds. <i>Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany)</i>. Berlin/Heidelberg: Springer; 1999.","bibtex":"@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }","mla":"Engels, Gregor, et al., editors. <i>Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany)</i>. Springer, 1999."}},{"page":"605-611","_id":"7849","publisher":"CSREA Press","language":[{"iso":"eng"}],"user_id":"52534","volume":2,"status":"public","title":"Patterns as a Means for Intelligent Software Engineering","year":"1999","author":[{"last_name":"Deugo","first_name":"Dwight","full_name":"Deugo, Dwight"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"first_name":"Franz","last_name":"Oppacher","full_name":"Oppacher, Franz"},{"first_name":"Ingo","last_name":"von Otte","full_name":"von Otte, Ingo"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"         2","date_created":"2019-02-20T14:13:43Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)","citation":{"mla":"Deugo, Dwight, et al. “Patterns as a Means for Intelligent Software Engineering.” <i>Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, vol. 2, CSREA Press, 1999, pp. 605–11.","bibtex":"@inproceedings{Deugo_Küster_Oppacher_von Otte_1999, title={Patterns as a Means for Intelligent Software Engineering}, volume={2}, booktitle={Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)}, publisher={CSREA Press}, author={Deugo, Dwight and Küster, Jochen and Oppacher, Franz and von Otte, Ingo}, year={1999}, pages={605–611} }","ama":"Deugo D, Küster J, Oppacher F, von Otte I. Patterns as a Means for Intelligent Software Engineering. In: <i>Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>. Vol 2. CSREA Press; 1999:605-611.","ieee":"D. Deugo, J. Küster, F. Oppacher, and I. von Otte, “Patterns as a Means for Intelligent Software Engineering,” in <i>Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, 1999, vol. 2, pp. 605–611.","apa":"Deugo, D., Küster, J., Oppacher, F., &#38; von Otte, I. (1999). Patterns as a Means for Intelligent Software Engineering. In <i>Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i> (Vol. 2, pp. 605–611). CSREA Press.","short":"D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.","chicago":"Deugo, Dwight, Jochen Küster, Franz Oppacher, and Ingo von Otte. “Patterns as a Means for Intelligent Software Engineering.” In <i>Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, 2:605–11. CSREA Press, 1999."}},{"citation":{"bibtex":"@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg}, series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684}, booktitle={Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS} }","short":"A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.","ama":"Corradini A, Heckel R, Montanari U. Tile Transition Systems as Structured Coalgebras. In: <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>. Vol 1684. LNCS. Berlin/Heidelberg: Springer; 1999:13-38.","chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Tile Transition Systems as Structured Coalgebras.” In <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>, 1684:13–38. LNCS. Berlin/Heidelberg: Springer, 1999.","ieee":"A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured Coalgebras,” in <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>, 1999, vol. 1684, pp. 13–38.","mla":"Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.” <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>, vol. 1684, Springer, 1999, pp. 13–38.","apa":"Corradini, A., Heckel, R., &#38; Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i> (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer."},"publication":"Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT '99)","date_created":"2019-02-20T14:14:10Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference","author":[{"last_name":"Corradini","first_name":"Andrea","full_name":"Corradini, Andrea"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Montanari","first_name":"Ugo","full_name":"Montanari, Ugo"}],"year":"1999","status":"public","title":"Tile Transition Systems as Structured Coalgebras","intvolume":"      1684","date_updated":"2022-01-06T07:03:47Z","series_title":"LNCS","_id":"7850","language":[{"iso":"eng"}],"publisher":"Springer","page":"13-38","volume":1684,"user_id":"52534"},{"citation":{"chicago":"Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” In <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>, 1999.","short":"A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999.","apa":"Cherchago, A. (1999). Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>.","ieee":"A. Cherchago, “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development,” in <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>, 1999.","ama":"Cherchago A. Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In: <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>. ; 1999.","bibtex":"@inproceedings{Cherchago_1999, title={Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development}, booktitle={Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)}, author={Cherchago, Alexey}, year={1999} }","mla":"Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>, 1999."},"publication":"Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference \"New Information Technologies in Scientific Researches and in Education\" (Ryazan, Russia)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-20T14:14:39Z","date_updated":"2022-01-06T07:03:47Z","author":[{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"}],"title":"Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development","status":"public","year":"1999","user_id":"52534","_id":"7851","language":[{"iso":"eng"}]},{"date_created":"2019-02-20T14:15:05Z","place":"Ostfildern","department":[{"_id":"66"}],"type":"conference","citation":{"mla":"Engels, Gregor, et al. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>, vol. 8, Technische Akademie Esslingen, 1999, pp. 531–40.","bibtex":"@inproceedings{Engels_Depke_Borowski_1999, place={Ostfildern}, title={Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung}, volume={8}, booktitle={Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen}, publisher={Technische Akademie Esslingen}, author={Engels, Gregor and Depke, Ralph and Borowski, Christoph}, year={1999}, pages={531–540} }","ama":"Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In: <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>. Vol 8. Ostfildern: Technische Akademie Esslingen; 1999:531-540.","ieee":"G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>, 1999, vol. 8, pp. 531–540.","apa":"Engels, G., Depke, R., &#38; Borowski, C. (1999). Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i> (Vol. 8, pp. 531–540). Ostfildern: Technische Akademie Esslingen.","chicago":"Engels, Gregor, Ralph Depke, and Christoph Borowski. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” In <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>, 8:531–40. Ostfildern: Technische Akademie Esslingen, 1999.","short":"G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540."},"publication":"Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen","abstract":[{"lang":"eng","text":"Today e-commerce applications use web browsers as an uniform user interface and they rely on databases as data sources. Different technologies exist for database access: common gateway interface (CGI), Java and its database interface java database connectivity (JDBC), proprietary approaches of database vendors, etc. We present criteria for the selection of an appropriate solution and we successivly apply them in our application development process. Throughout the development process of internet based database applications object oriented techniques can be used. The unified modeling language (UML) is used for requirement analysis and design of the application and the implementation proceeds with the programming language Java. The transition from the object oriented modeling language UML to the object oriented programming language Java succeeds smoothly. We report on our experience with the modeling tool Rational Rose 98 of Rational, Inc. We use Java and JDBC to implement a seminar reservation system that can be regarded as a small e-commerce application."}],"_id":"7852","publisher":"Technische Akademie Esslingen","language":[{"iso":"eng"}],"page":"531-540","volume":8,"user_id":"52534","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"last_name":"Borowski","first_name":"Christoph","full_name":"Borowski, Christoph"}],"year":"1999","status":"public","title":"Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung","intvolume":"         8","date_updated":"2022-01-06T07:03:47Z"},{"place":"Berlin/Heidelberg","date_created":"2019-02-20T14:36:26Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA","citation":{"ieee":"G. Engels, R. Hücking, S. Sauer, and A. Wagner, “UML Collaboration Diagrams and Their Transformation to Java,” in <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>, 1999, vol. 1723, pp. 473–488.","apa":"Engels, G., Hücking, R., Sauer, S., &#38; Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. In <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i> (Vol. 1723, pp. 473–488). Berlin/Heidelberg: Springer.","mla":"Engels, Gregor, et al. “UML Collaboration Diagrams and Their Transformation to Java.” <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>, vol. 1723, Springer, 1999, pp. 473–88.","bibtex":"@inproceedings{Engels_Hücking_Sauer_Wagner_1999, place={Berlin/Heidelberg}, series={LNCS}, title={UML Collaboration Diagrams and Their Transformation to Java}, volume={1723}, booktitle={Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA}, publisher={Springer}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999}, pages={473–488}, collection={LNCS} }","ama":"Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. In: <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.","short":"G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.","chicago":"Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. “UML Collaboration Diagrams and Their Transformation to Java.” In <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>, 1723:473–88. LNCS. Berlin/Heidelberg: Springer, 1999."},"page":"473-488","_id":"7856","series_title":"LNCS","language":[{"iso":"eng"}],"publisher":"Springer","user_id":"52534","volume":1723,"title":"UML Collaboration Diagrams and Their Transformation to Java","status":"public","year":"1999","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"full_name":"Hücking, Roland","first_name":"Roland","last_name":"Hücking"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"      1723"},{"page":"80-100","_id":"7858","language":[{"iso":"eng"}],"series_title":"Electronic Notes in Theoretical Computer Science","publisher":"Elsevier","doi":"http://dx.doi.org/10.1016/S1571-0661(05)80309-3","user_id":"52534","volume":29,"status":"public","year":"1999","title":"A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting","author":[{"last_name":"Gadducci","first_name":"Fabio","full_name":"Gadducci, Fabio"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Llabrés, Mercé","first_name":"Mercé","last_name":"Llabrés"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"        29","date_created":"2019-02-20T14:36:57Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)","citation":{"bibtex":"@inproceedings{Gadducci_Heckel_Llabrés_1999, series={Electronic Notes in Theoretical Computer Science}, title={A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}, volume={29}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>}, booktitle={Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)}, publisher={Elsevier}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1999}, pages={80–100}, collection={Electronic Notes in Theoretical Computer Science} }","ama":"Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>. Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>","mla":"Gadducci, Fabio, et al. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, vol. 29, Elsevier, 1999, pp. 80–100, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>.","short":"F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.","chicago":"Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” In <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, 29:80–100. Electronic Notes in Theoretical Computer Science. Elsevier, 1999. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>.","ieee":"F. Gadducci, R. Heckel, and M. Llabrés, “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting,” in <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, 1999, vol. 29, pp. 80–100.","apa":"Gadducci, F., Heckel, R., &#38; Llabrés, M. (1999). A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i> (Vol. 29, pp. 80–100). Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>"},"abstract":[{"lang":"eng","text":"In this paper the concurrent semantics of double-pushout (DPO) graph rewriting, which is classically defined in terms of shift-equivalence classes of graph derivations, is axiomatised via the construction of a free monoidal bi-category. In contrast to a previous attempt based on 2-categories, the use of bi-categories allows to define rewriting on concrete graphs. Thus, the problem of composition of isomorphism classes of rewriting sequences is avoided. Moreover, as a first step towards the recovery of the full expressive power of the formalism via a purely algebraic description, the concept of disconnected rules is introduced, i.e., rules whose interface graphs are made of disconnected nodes and edges only. It is proved that, under reasonable assumptions, rewriting via disconnected rules enjoys similar concurrency properties like in the classical approach."}]},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-20T14:37:40Z","citation":{"mla":"Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, no. 258, 1999.","bibtex":"@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel, Reiko}, year={1999} }","ama":"Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML. In: <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>. ; 1999.","ieee":"R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,” in <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, 1999, no. 258.","apa":"Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and UML. In <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>.","short":"R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.","chicago":"Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” In <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, 1999."},"issue":"258","publication":"Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems","user_id":"52534","_id":"7859","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:47Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"year":"1999","status":"public","title":"Modeling Agent-Based Systems with Graph Transformation and UML"},{"status":"public","title":"Extending UML for Modeling of Multimedia Applications","year":"1999","author":[{"id":"447","first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"date_updated":"2022-01-06T07:03:47Z","page":"80-87","language":[{"iso":"eng"}],"_id":"7860","publisher":"IEEE Computer Society","doi":"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878","user_id":"52534","publication":"Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)","citation":{"bibtex":"@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending UML for Modeling of Multimedia Applications}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>}, booktitle={Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={80–87} }","chicago":"Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” In <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, 80–87. Tokyo, Japan: IEEE Computer Society, 1999. <a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>.","short":"S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.","ama":"Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications. In: <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>. Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>","ieee":"S. Sauer and G. Engels, “Extending UML for Modeling of Multimedia Applications,” in <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, 1999, pp. 80–87.","apa":"Sauer, S., &#38; Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i> (pp. 80–87). Tokyo, Japan: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>","mla":"Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, IEEE Computer Society, 1999, pp. 80–87, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>."},"abstract":[{"text":"An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a coherent multimedia application model. In this sense, we extend the model-view-controller paradigm towards multimedia.As a result, we present OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications that is based on the Unified Modeling Language (UML). The structural and behavioral diagram types of UML have been analyzed and are adapted and extended according to multimedia application characteristics.A presentation diagram is introduced and integrated to adequately describe the visual presentation. In addition to explaining the different diagram types, we also give pragmatic guidelines on how to deploy and combine the various diagrams.","lang":"eng"}],"place":"Tokyo, Japan","date_created":"2019-02-20T14:38:09Z","type":"conference","department":[{"_id":"66"}]},{"report_number":"99-02","citation":{"mla":"Ehrig, Hartmut, et al. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","bibtex":"@book{Ehrig_Heckel_Llabrés_Orejas_1999, title={Basic Properties of Double Pullback Graph Transitions}, publisher={Technical University of Berlin}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1999} }","ama":"Ehrig H, Heckel R, Llabrés M, Orejas F. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin; 1999.","ieee":"H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","apa":"Ehrig, H., Heckel, R., Llabrés, M., &#38; Orejas, F. (1999). <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin.","chicago":"Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","short":"H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999."},"type":"report","department":[{"_id":"66"}],"date_created":"2019-03-03T16:13:00Z","date_updated":"2022-01-06T07:03:52Z","title":"Basic Properties of Double Pullback Graph Transitions","year":"1999","status":"public","author":[{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Llabrés","first_name":"Mercé","full_name":"Llabrés, Mercé"},{"first_name":"Fernando","last_name":"Orejas","full_name":"Orejas, Fernando"}],"user_id":"52534","publisher":"Technical University of Berlin","_id":"8203","language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T07:03:52Z","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Hücking, Roland","last_name":"Hücking","first_name":"Roland"},{"full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer","id":"447"},{"last_name":"Wagner","first_name":"Annika","full_name":"Wagner, Annika"}],"year":"1999","title":"UML Collaboration Diagrams and Their Transformation to Java","status":"public","user_id":"52534","language":[{"iso":"eng"}],"_id":"8204","publisher":"University of Paderborn, Department of Computer Science","report_number":"99-208","citation":{"apa":"Engels, G., Hücking, R., Sauer, S., &#38; Wagner, A. (1999). <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science.","ieee":"G. Engels, R. Hücking, S. Sauer, and A. Wagner, <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","short":"G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.","chicago":"Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","mla":"Engels, Gregor, et al. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","ama":"Engels G, Hücking R, Sauer S, Wagner A. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science; 1999.","bibtex":"@book{Engels_Hücking_Sauer_Wagner_1999, title={UML Collaboration Diagrams and Their Transformation to Java}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999} }"},"department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:13:01Z"}]