--- _id: '18576' abstract: - lang: eng text: In this paper we deal with two problems on star-shaped polygons. First, we present a Las-Vegas algorithm that uniformly at random creates a star-shaped polygon whose vertices are given by a point set ( S ) of ( n ) points in the plane that does not admit degenerate star-shaped polygons. The expected running time of the algorithm is ( O(n^2log n) ) and it uses ( O(n) ) memory. We call a star-shaped polygon degenerate if its kernel has 0 area.

Secondly, we show how to count all star-shaped polygons whose vertices are a subset of ( S ) in ( O(n^5log n) ) time and ( O(n) ) space. The algorithm can also be used for random uniform generation. We also present lower and upper bounds on the number of star-shaped polygons. author: - first_name: Christian full_name: Sohler, Christian last_name: Sohler citation: ama: 'Sohler C. Generating Random Star-Shaped Polygons. In: Proceedings of the 11th Canadian Conference on Computational Geometry (''CCCG’99). ; 1999:174-177.' apa: Sohler, C. (1999). Generating Random Star-Shaped Polygons. In Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99) (pp. 174–177). bibtex: '@inproceedings{Sohler_1999, title={Generating Random Star-Shaped Polygons}, booktitle={Proceedings of the 11th Canadian Conference on Computational Geometry (''CCCG’99)}, author={Sohler, Christian}, year={1999}, pages={174–177} }' chicago: Sohler, Christian. “Generating Random Star-Shaped Polygons.” In Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 174–77, 1999. ieee: C. Sohler, “Generating Random Star-Shaped Polygons,” in Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 1999, pp. 174–177. mla: Sohler, Christian. “Generating Random Star-Shaped Polygons.” Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 1999, pp. 174–77. short: 'C. Sohler, in: Proceedings of the 11th Canadian Conference on Computational Geometry (''CCCG’99), 1999, pp. 174–177.' date_created: 2020-08-28T14:20:42Z date_updated: 2022-01-06T06:53:40Z department: - _id: '63' language: - iso: eng page: 174-177 publication: Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG'99) status: public title: Generating Random Star-Shaped Polygons type: conference user_id: '15415' year: '1999' ... --- _id: '2210' author: - first_name: Petra full_name: Berenbrink, Petra last_name: Berenbrink - first_name: Marco full_name: Riedel, Marco last_name: Riedel - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler citation: ama: 'Berenbrink P, Riedel M, Scheideler C. Design of the PRESTO Multimedia Storage Network (Extended Abstract). In: International Workshop on Communication and Data Management in Large Networks (CDMLarge). ; 1999:2-12.' apa: Berenbrink, P., Riedel, M., & Scheideler, C. (1999). Design of the PRESTO Multimedia Storage Network (Extended Abstract). In International Workshop on Communication and Data Management in Large Networks (CDMLarge) (pp. 2–12). bibtex: '@inproceedings{Berenbrink_Riedel_Scheideler_1999, title={Design of the PRESTO Multimedia Storage Network (Extended Abstract)}, booktitle={International Workshop on Communication and Data Management in Large Networks (CDMLarge)}, author={Berenbrink, Petra and Riedel, Marco and Scheideler, Christian}, year={1999}, pages={2–12} }' chicago: Berenbrink, Petra, Marco Riedel, and Christian Scheideler. “Design of the PRESTO Multimedia Storage Network (Extended Abstract).” In International Workshop on Communication and Data Management in Large Networks (CDMLarge), 2–12, 1999. ieee: P. Berenbrink, M. Riedel, and C. Scheideler, “Design of the PRESTO Multimedia Storage Network (Extended Abstract),” in International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12. mla: Berenbrink, Petra, et al. “Design of the PRESTO Multimedia Storage Network (Extended Abstract).” International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12. short: 'P. Berenbrink, M. Riedel, C. Scheideler, in: International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12.' date_created: 2018-04-05T07:00:11Z date_updated: 2022-01-06T06:55:26Z ddc: - '040' department: - _id: '79' - _id: '63' file: - access_level: open_access content_type: application/pdf creator: florida date_created: 2018-04-12T08:34:00Z date_updated: 2018-04-12T08:34:00Z file_id: '2294' file_name: CDMLarge-99.pdf file_size: 211926 relation: main_file file_date_updated: 2018-04-12T08:34:00Z has_accepted_license: '1' language: - iso: eng oa: '1' page: 2-12 publication: International Workshop on Communication and Data Management in Large Networks (CDMLarge) status: public title: Design of the PRESTO Multimedia Storage Network (Extended Abstract) type: conference urn: '22109' user_id: '14955' year: '1999' ... --- _id: '2166' author: - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler - first_name: Berthold full_name: Vöcking, Berthold last_name: Vöcking citation: ama: 'Scheideler C, Vöcking B. From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. In: STOC. ; 1999:215--224.' apa: 'Scheideler, C., & Vöcking, B. (1999). From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. In STOC (pp. 215--224).' bibtex: '@inproceedings{Scheideler_Vöcking_1999, title={From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols}, booktitle={STOC}, author={Scheideler, Christian and Vöcking, Berthold}, year={1999}, pages={215--224} }' chicago: 'Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” In STOC, 215--224, 1999.' ieee: 'C. Scheideler and B. Vöcking, “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols,” in STOC, 1999, pp. 215--224.' mla: 'Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” STOC, 1999, pp. 215--224.' short: 'C. Scheideler, B. Vöcking, in: STOC, 1999, pp. 215--224.' date_created: 2018-04-03T08:57:30Z date_updated: 2022-01-06T06:55:10Z ddc: - '040' department: - _id: '79' - _id: '63' file: - access_level: open_access content_type: application/pdf creator: florida date_created: 2018-04-12T07:35:46Z date_updated: 2018-04-12T07:35:46Z file_id: '2289' file_name: STOC-99.pdf file_size: 227305 relation: main_file file_date_updated: 2018-04-12T07:35:46Z has_accepted_license: '1' language: - iso: eng oa: '1' page: 215--224 publication: STOC status: public title: 'From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols' type: conference urn: '21668' user_id: '14955' year: '1999' ... --- _id: '7792' citation: ama: 'Engels G, Beiersdörfer K, Schäfer W, eds. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer; 1999.' apa: 'Engels, G., Beiersdörfer, K., & Schäfer, W. (Eds.). (1999). Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer.' 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} }' chicago: 'Engels, Gregor, K. Beiersdörfer, and Wilhelm Schäfer, eds. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Informatik Aktuell. Berlin/Heidelberg: Springer, 1999.' ieee: 'G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer, 1999.' mla: 'Engels, Gregor, et al., editors. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). 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.' date_created: 2019-02-19T19:13:34Z date_updated: 2022-01-06T07:03:46Z department: - _id: '66' editor: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: K. full_name: Beiersdörfer, K. last_name: Beiersdörfer - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer language: - iso: eng place: Berlin/Heidelberg publisher: Springer series_title: Informatik aktuell status: public title: 'Informatik ''99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)' type: conference_editor user_id: '52534' year: '1999' ... --- _id: '7849' author: - first_name: Dwight full_name: Deugo, Dwight last_name: Deugo - first_name: Jochen full_name: Küster, Jochen last_name: Küster - first_name: Franz full_name: Oppacher, Franz last_name: Oppacher - first_name: Ingo full_name: von Otte, Ingo last_name: von Otte citation: ama: 'Deugo D, Küster J, Oppacher F, von Otte I. Patterns as a Means for Intelligent Software Engineering. In: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA). Vol 2. CSREA Press; 1999:605-611.' apa: Deugo, D., Küster, J., Oppacher, F., & von Otte, I. (1999). Patterns as a Means for Intelligent Software Engineering. In Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA) (Vol. 2, pp. 605–611). CSREA Press. 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} }' chicago: Deugo, Dwight, Jochen Küster, Franz Oppacher, and Ingo von Otte. “Patterns as a Means for Intelligent Software Engineering.” In Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 2:605–11. CSREA Press, 1999. ieee: D. Deugo, J. Küster, F. Oppacher, and I. von Otte, “Patterns as a Means for Intelligent Software Engineering,” in Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 1999, vol. 2, pp. 605–611. mla: Deugo, Dwight, et al. “Patterns as a Means for Intelligent Software Engineering.” Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), vol. 2, CSREA Press, 1999, pp. 605–11. 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.' date_created: 2019-02-20T14:13:43Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' intvolume: ' 2' language: - iso: eng page: 605-611 publication: Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA) publisher: CSREA Press status: public title: Patterns as a Means for Intelligent Software Engineering type: conference user_id: '52534' volume: 2 year: '1999' ... --- _id: '7850' author: - first_name: Andrea full_name: Corradini, Andrea last_name: Corradini - first_name: Reiko full_name: Heckel, Reiko last_name: Heckel - first_name: Ugo full_name: Montanari, Ugo last_name: Montanari citation: ama: 'Corradini A, Heckel R, Montanari U. Tile Transition Systems as Structured Coalgebras. In: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99). Vol 1684. LNCS. Berlin/Heidelberg: Springer; 1999:13-38.' apa: 'Corradini, A., Heckel, R., & Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99) (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer.' 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} }' chicago: 'Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Tile Transition Systems as Structured Coalgebras.” In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1684:13–38. LNCS. Berlin/Heidelberg: Springer, 1999.' ieee: A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured Coalgebras,” in Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1999, vol. 1684, pp. 13–38. mla: Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.” Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), vol. 1684, Springer, 1999, pp. 13–38. 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.' date_created: 2019-02-20T14:14:10Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' intvolume: ' 1684' language: - iso: eng page: 13-38 place: Berlin/Heidelberg publication: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT '99) publisher: Springer series_title: LNCS status: public title: Tile Transition Systems as Structured Coalgebras type: conference user_id: '52534' volume: 1684 year: '1999' ... --- _id: '7851' author: - first_name: Alexey full_name: Cherchago, Alexey last_name: Cherchago citation: ama: 'Cherchago A. Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. 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 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). 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} }' chicago: Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” 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. ieee: A. Cherchago, “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development,” 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. mla: Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” 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. 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.' date_created: 2019-02-20T14:14:39Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' language: - iso: eng 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) status: public title: Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development type: conference user_id: '52534' year: '1999' ... --- _id: '7852' 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.' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Ralph full_name: Depke, Ralph last_name: Depke - first_name: Christoph full_name: Borowski, Christoph last_name: Borowski citation: ama: 'Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen. Vol 8. Ostfildern: Technische Akademie Esslingen; 1999:531-540.' apa: 'Engels, G., Depke, R., & Borowski, C. (1999). Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen (Vol. 8, pp. 531–540). Ostfildern: Technische Akademie Esslingen.' 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} }' chicago: 'Engels, Gregor, Ralph Depke, and Christoph Borowski. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” In Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 8:531–40. Ostfildern: Technische Akademie Esslingen, 1999.' ieee: G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 1999, vol. 8, pp. 531–540. mla: Engels, Gregor, et al. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, vol. 8, Technische Akademie Esslingen, 1999, pp. 531–40. short: 'G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.' date_created: 2019-02-20T14:15:05Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' intvolume: ' 8' language: - iso: eng page: 531-540 place: Ostfildern publication: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen publisher: Technische Akademie Esslingen status: public title: Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung type: conference user_id: '52534' volume: 8 year: '1999' ... --- _id: '7856' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Roland full_name: Hücking, Roland last_name: Hücking - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer - first_name: Annika full_name: Wagner, Annika last_name: Wagner citation: ama: 'Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. In: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.' apa: 'Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. In Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA (Vol. 1723, pp. 473–488). Berlin/Heidelberg: Springer.' 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} }' chicago: 'Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. “UML Collaboration Diagrams and Their Transformation to Java.” In Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, 1723:473–88. LNCS. Berlin/Heidelberg: Springer, 1999.' ieee: 'G. Engels, R. Hücking, S. Sauer, and A. Wagner, “UML Collaboration Diagrams and Their Transformation to Java,” in Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, 1999, vol. 1723, pp. 473–488.' mla: 'Engels, Gregor, et al. “UML Collaboration Diagrams and Their Transformation to Java.” Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, vol. 1723, Springer, 1999, pp. 473–88.' 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.' date_created: 2019-02-20T14:36:26Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' intvolume: ' 1723' language: - iso: eng page: 473-488 place: Berlin/Heidelberg publication: 'Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA' publisher: Springer series_title: LNCS status: public title: UML Collaboration Diagrams and Their Transformation to Java type: conference user_id: '52534' volume: 1723 year: '1999' ... --- _id: '7858' 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. author: - first_name: Fabio full_name: Gadducci, Fabio last_name: Gadducci - first_name: Reiko full_name: Heckel, Reiko last_name: Heckel - first_name: Mercé full_name: Llabrés, Mercé last_name: Llabrés citation: ama: 'Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK). Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3' apa: Gadducci, F., Heckel, R., & Llabrés, M. (1999). A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK) (Vol. 29, pp. 80–100). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80309-3 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={http://dx.doi.org/10.1016/S1571-0661(05)80309-3}, 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} }' chicago: Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” In Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), 29:80–100. Electronic Notes in Theoretical Computer Science. Elsevier, 1999. http://dx.doi.org/10.1016/S1571-0661(05)80309-3. ieee: F. Gadducci, R. Heckel, and M. Llabrés, “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting,” in Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), 1999, vol. 29, pp. 80–100. mla: Gadducci, Fabio, et al. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), vol. 29, Elsevier, 1999, pp. 80–100, doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3. 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.' date_created: 2019-02-20T14:36:57Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' doi: http://dx.doi.org/10.1016/S1571-0661(05)80309-3 intvolume: ' 29' language: - iso: eng page: 80-100 publication: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK) publisher: Elsevier series_title: Electronic Notes in Theoretical Computer Science status: public title: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting type: conference user_id: '52534' volume: 29 year: '1999' ... --- _id: '7859' author: - first_name: Reiko full_name: Heckel, Reiko last_name: Heckel citation: ama: 'Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML. In: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems. ; 1999.' apa: Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and UML. In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems. 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} }' chicago: Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999. ieee: R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,” in Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999, no. 258. mla: Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, no. 258, 1999. short: 'R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.' date_created: 2019-02-20T14:37:40Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' issue: '258' language: - iso: eng publication: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems status: public title: Modeling Agent-Based Systems with Graph Transformation and UML type: conference user_id: '52534' year: '1999' ... --- _id: '7860' abstract: - lang: eng 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. author: - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications. In: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan). Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878' apa: 'Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878' bibtex: '@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending UML for Modeling of Multimedia Applications}, DOI={http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878}, 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 Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), 80–87. Tokyo, Japan: IEEE Computer Society, 1999. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878.' ieee: S. Sauer and G. Engels, “Extending UML for Modeling of Multimedia Applications,” in Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), 1999, pp. 80–87. mla: Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, 1999, pp. 80–87, doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878. 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.' date_created: 2019-02-20T14:38:09Z date_updated: 2022-01-06T07:03:47Z department: - _id: '66' doi: http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878 language: - iso: eng page: 80-87 place: Tokyo, Japan publication: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) publisher: IEEE Computer Society status: public title: Extending UML for Modeling of Multimedia Applications type: conference user_id: '52534' year: '1999' ... --- _id: '8203' author: - first_name: Hartmut full_name: Ehrig, Hartmut last_name: Ehrig - first_name: Reiko full_name: Heckel, Reiko last_name: Heckel - first_name: Mercé full_name: Llabrés, Mercé last_name: Llabrés - first_name: Fernando full_name: Orejas, Fernando last_name: Orejas citation: ama: Ehrig H, Heckel R, Llabrés M, Orejas F. Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin; 1999. apa: Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1999). Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin. 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} }' chicago: Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin, 1999. ieee: H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin, 1999. mla: Ehrig, Hartmut, et al. Basic Properties of Double Pullback Graph Transitions. 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. date_created: 2019-03-03T16:13:00Z date_updated: 2022-01-06T07:03:52Z department: - _id: '66' language: - iso: eng publisher: Technical University of Berlin report_number: 99-02 status: public title: Basic Properties of Double Pullback Graph Transitions type: report user_id: '52534' year: '1999' ... --- _id: '8204' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Roland full_name: Hücking, Roland last_name: Hücking - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer - first_name: Annika full_name: Wagner, Annika last_name: Wagner citation: ama: Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science; 1999. apa: Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science. 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} }' chicago: Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science, 1999. ieee: G. Engels, R. Hücking, S. Sauer, and A. Wagner, UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science, 1999. mla: Engels, Gregor, et al. UML Collaboration Diagrams and Their Transformation to Java. 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. date_created: 2019-03-03T16:13:01Z date_updated: 2022-01-06T07:03:52Z department: - _id: '66' language: - iso: eng publisher: University of Paderborn, Department of Computer Science report_number: 99-208 status: public title: UML Collaboration Diagrams and Their Transformation to Java type: report user_id: '52534' year: '1999' ... --- _id: '8205' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Pieter full_name: Jan t'Hoen, Pieter last_name: Jan t'Hoen - first_name: Ray full_name: Dassen, Ray last_name: Dassen - first_name: Luuk full_name: Groenewegen, Luuk last_name: Groenewegen - first_name: Ida full_name: G. Sprinkhuizen-Kuyper, Ida last_name: G. Sprinkhuizen-Kuyper - first_name: Pieter full_name: Koopman, Pieter last_name: Koopman citation: ama: Engels G, Jan t’Hoen P, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P. SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science; 1999:99-06. apa: Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp. 99–06). Leiden Institute of Advanced Computer Science. bibtex: '@book{Engels_Jan t’Hoen_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_1999, title={SOCCA Extended with UML like Packages}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Jan t’Hoen, Pieter and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter}, year={1999}, pages={99–06} }' chicago: Engels, Gregor, Pieter Jan t’Hoen, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, and Pieter Koopman. SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999. ieee: G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, and P. Koopman, SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06. mla: Engels, Gregor, et al. SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06. short: G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999. date_created: 2019-03-03T16:13:02Z date_updated: 2022-01-06T07:03:52Z department: - _id: '66' language: - iso: eng page: 99-06 publisher: Leiden Institute of Advanced Computer Science status: public title: SOCCA Extended with UML like Packages type: report user_id: '52534' year: '1999' ... --- _id: '8206' abstract: - lang: eng text: This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised. author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Ray full_name: Dassen, Ray last_name: Dassen - first_name: Luuk full_name: Groenewegen, Luuk last_name: Groenewegen - first_name: Ida full_name: G. Sprinkhuizen-Kuyper, Ida last_name: G. Sprinkhuizen-Kuyper - first_name: Pieter full_name: Koopman, Pieter last_name: Koopman - first_name: Pieter full_name: Jan t'Hoen, Pieter last_name: Jan t'Hoen citation: ama: 'Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science; 1999.' apa: 'Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science.' bibtex: '@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999, title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and Jan t’Hoen, Pieter}, year={1999} }' chicago: 'Engels, Gregor, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, Pieter Koopman, and Pieter Jan t’Hoen. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.' ieee: 'G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.' mla: 'Engels, Gregor, et al. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.' short: 'G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.' date_created: 2019-03-03T16:13:03Z date_updated: 2022-01-06T07:03:52Z department: - _id: '66' language: - iso: eng publisher: Leiden Institute of Advanced Computer Science report_number: 1999-03 status: public title: 'A Formalisation of SOCCA using Z, part 1: The Type Level Concepts' type: report user_id: '52534' year: '1999' ... --- _id: '8321' abstract: - lang: eng text: Der Entwicklungsprozeß von Multimediaanwendungen sollte ebenso wie der herkömmlicher Softwaresysteme eine Analyse und einen Entwurf beinhalten. In dieser Arbeit diskutieren wir, inwiefern die Modellierung der Struktur und des dynamischen Verhaltens einer Multimediaanwendung über die Modellierung herkömmlicher Software hinausgeht. Wir zeigen, daß Aspekte der Benutzungsschnittstelle und das Zeitverhalten integraler Bestandteil der Modellierung sein sollten. Als Ergebnis stellen wir die objektorientierte Modellierungssprache OMMMA-L vor, die auf der Unified Modeling Language (UML) aufbaut. Die Struktur- und Verhaltensdiagramme von UML wurden analysiert und gemäß der Charakteristika von Multimedia adaptiert bzw. erweitert. Im Klassendiagramm werden die Medientypen und die logische Struktur der Anwendung modelliert. Als Verhaltensdiagramme werden spezialisierte Sequenz- und Zustandsdiagramme eingesetzt. Mit dem Layoutdiagramm wird ein neuer Diagrammtyp hinzugefügt, der die integrierte und anschauliche Beschreibung der visuellen Darstellung und interaktiver Benutzereingaben einer Multimediaanwendung erlaubt. Neben der Vorstellung der einzelnen Diagrammtypen geben wir ein aus dem Metamodell zu UML abgeleitetes OMMMA-L-Metamodell an, in dem das Zusammenspiel der Modellelemente aus den verschiedenen Diagrammen spezifiziert wird. author: - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.' apa: 'Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.' bibtex: '@inproceedings{Sauer_Engels_1999, place={Karlsruhe, Germany}, title={UML-basierte Modellierung von Multimediaanwendungen}, booktitle={Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}, publisher={Teubner, Stuttgart}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={155–170} }' chicago: 'Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” In Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, 155–70. Karlsruhe, Germany: Teubner, Stuttgart, 1999.' ieee: S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe, 1999, pp. 155–170. mla: Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, 1999, pp. 155–70. short: 'S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.' date_created: 2019-03-05T13:29:08Z date_updated: 2022-01-06T07:03:53Z department: - _id: '66' language: - iso: eng page: 155-170 place: Karlsruhe, Germany publication: Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe publisher: Teubner, Stuttgart status: public title: UML-basierte Modellierung von Multimediaanwendungen type: conference user_id: '52534' year: '1999' ... --- _id: '8322' abstract: - lang: eng text: We present an object-oriented approach based on the Unified Modeling Language (UML) for modeling structure and dynamic behavior of a multimedia information system. We extend the Model-View-Controller paradigm for interactive systems towards multimedia and show that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a model. This is done in the intention of achieving a coherent model of a multimedia information system. As a result, we present OMMMA-L a UML-based language for the Object-Oriented Modeling of MultiMedia Applications. OMMMA-L deploys class and state diagrams of UML as well as an extended sequence diagram and a newly introduced presentation diagram to adequately specify the visual presentation within a multimedia information system. In addition to explaining the different diagram types, we also define pragmatic rules on how to deploy and combine the various diagrams. Additionally, we relate OMMMA-L to basic ideas of multimedia information systems. author: - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Sauer S, Engels G. OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA). Indian Wells, California, USA; 1999:64-71.' apa: 'Sauer, S., & Engels, G. (1999). OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) (pp. 64–71). Indian Wells, California, USA.' bibtex: '@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA}, title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={64–71} }' chicago: 'Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” In Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 64–71. Indian Wells, California, USA, 1999.' ieee: 'S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems,” in Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.' mla: 'Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.' short: 'S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.' date_created: 2019-03-05T13:29:09Z date_updated: 2022-01-06T07:03:53Z department: - _id: '66' language: - iso: eng page: 64-71 place: Indian Wells, California, USA publication: Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) status: public title: 'OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems' type: conference user_id: '52534' year: '1999' ... --- _id: '8323' author: - first_name: Andrea full_name: Corradini, Andrea last_name: Corradini - first_name: Martin full_name: Große-Rhode, Martin last_name: Große-Rhode - first_name: Reiko full_name: Heckel, Reiko last_name: Heckel citation: ama: 'Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal). Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:http://dx.doi.org/10.1007/3-540-48483-3_7' apa: 'Corradini, A., Große-Rhode, M., & Heckel, R. (1999). An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal) (Vol. 1589, pp. 92–106). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-48483-3_7' bibtex: '@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg}, series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit Double Theories}, volume={1589}, DOI={http://dx.doi.org/10.1007/3-540-48483-3_7}, booktitle={Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999}, pages={92–106}, collection={LNCS} }' chicago: 'Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” In Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), 1589:92–106. LNCS. Berlin/Heidelberg: Springer, 1999. http://dx.doi.org/10.1007/3-540-48483-3_7.' ieee: A. Corradini, M. Große-Rhode, and R. Heckel, “An Algebra of Graph Derivations using Finite (co-) limit Double Theories,” in Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), 1999, vol. 1589, pp. 92–106. mla: Corradini, Andrea, et al. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), vol. 1589, Springer, 1999, pp. 92–106, doi:http://dx.doi.org/10.1007/3-540-48483-3_7. short: 'A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.' date_created: 2019-03-05T13:29:10Z date_updated: 2022-01-06T07:03:53Z department: - _id: '66' doi: http://dx.doi.org/10.1007/3-540-48483-3_7 intvolume: ' 1589' language: - iso: eng page: 92-106 place: Berlin/Heidelberg publication: Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal) publisher: Springer series_title: LNCS status: public title: An Algebra of Graph Derivations using Finite (co-) limit Double Theories type: conference user_id: '52534' volume: 1589 year: '1999' ... --- _id: '8324' author: - first_name: Andrea full_name: Corradini, Andrea last_name: Corradini - first_name: Reiko full_name: Heckel, Reiko last_name: Heckel - first_name: Ugo full_name: Montanari, Ugo last_name: Montanari citation: ama: 'Corradini A, Heckel R, Montanari U. From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99). Vol 19. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7' apa: 'Corradini, A., Heckel, R., & Montanari, U. (1999). From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) (Vol. 19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7' bibtex: '@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands}, series={Electronic Notes in TCS}, title={From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80273-7}, booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic Notes in TCS} }' chicago: 'Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” In Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), 19:118–41. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier, 1999. http://dx.doi.org/10.1016/S1571-0661(05)80273-7.' ieee: 'A. Corradini, R. Heckel, and U. Montanari, “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence,” in Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99), 1999, vol. 19, pp. 118–141.' mla: 'Corradini, Andrea, et al. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), vol. 19, Elsevier, 1999, pp. 118–41, doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7.' short: 'A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.' date_created: 2019-03-05T13:29:11Z date_updated: 2022-01-06T07:03:53Z department: - _id: '66' doi: http://dx.doi.org/10.1016/S1571-0661(05)80273-7 intvolume: ' 19' language: - iso: eng page: 118-141 place: Amsterdam, The Netherlands publication: Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) publisher: Elsevier series_title: Electronic Notes in TCS status: public title: 'From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence' type: conference user_id: '52534' volume: 19 year: '1999' ...