[{"year":"2002","place":"New York, NY, USA","page":"105-155 ","citation":{"mla":"Hendrik Hausmann, Jan, et al. “Detecting Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.” <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, ACM Press, 2002, pp. 105–55, doi:<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>.","short":"J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), ACM Press, New York, NY, USA, 2002, pp. 105–155.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Taentzer_2002, place={New York, NY, USA}, title={Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation}, DOI={<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>}, booktitle={Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)}, publisher={ACM Press}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Taentzer, Gabriele}, year={2002}, pages={105–155} }","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Taentzer, G. (2002). Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i> (pp. 105–155). New York, NY, USA: ACM Press. <a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>","ama":"Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In: <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>. New York, NY, USA: ACM Press; 2002:105-155. doi:<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>","ieee":"J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation,” in <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, 2002, pp. 105–155.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Gabriele Taentzer. “Detecting Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.” In <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, 105–55. New York, NY, USA: ACM Press, 2002. <a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>."},"publisher":"ACM Press","date_updated":"2022-01-06T07:03:47Z","author":[{"last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan","first_name":"Jan"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Gabriele","full_name":"Taentzer, Gabriele","last_name":"Taentzer"}],"date_created":"2019-02-21T10:59:09Z","title":"Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation","doi":"http://doi.acm.org/10.1145/581339.581355","publication":"Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)","type":"conference","status":"public","_id":"7901","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"year":"2002","place":"Grandview, TX, USA","citation":{"ama":"Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In: <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.","chicago":"Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” In <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 63–77. Grandview, TX, USA: Society of Design and Process Science, 2002.","ieee":"R. Heckel and M. Chouikha, “Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets,” in <i>Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002, pp. 63–77.","apa":"Heckel, R., &#38; Chouikha, M. (2002). Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In <i>Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i> (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.","short":"R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77.","mla":"Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, Society of Design and Process Science, 2002, pp. 63–77.","bibtex":"@inproceedings{Heckel_Chouikha_2002, place={Grandview, TX, USA}, title={Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets}, booktitle={Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={Society of Design and Process Science}, author={Heckel, Reiko and Chouikha, Mourad}, year={2002}, pages={63–77} }"},"page":"63-77","date_updated":"2022-01-06T07:03:47Z","publisher":"Society of Design and Process Science","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Mourad","full_name":"Chouikha, Mourad","last_name":"Chouikha"}],"date_created":"2019-02-21T10:59:49Z","title":"Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets","type":"conference","publication":"Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA)","status":"public","_id":"7902","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"title":"Confluence of Typed Attributed Graph Transformation Systems","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Gabriele","full_name":"Taentzer, Gabriele","last_name":"Taentzer"}],"date_created":"2019-02-21T11:00:30Z","publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","page":"161-176","citation":{"chicago":"Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed Attributed Graph Transformation Systems.” In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 161–76. Berlin/Heidelberg: Springer, 2002.","ieee":"R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph Transformation Systems,” in <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2002, pp. 161–176.","ama":"Heckel R, Küster J, Taentzer G. Confluence of Typed Attributed Graph Transformation Systems. In: <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>. Berlin/Heidelberg: Springer; 2002:161-176.","apa":"Heckel, R., Küster, J., &#38; Taentzer, G. (2002). Confluence of Typed Attributed Graph Transformation Systems. In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i> (pp. 161–176). Berlin/Heidelberg: Springer.","mla":"Heckel, Reiko, et al. “Confluence of Typed Attributed Graph Transformation Systems.” <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, Springer, 2002, pp. 161–76.","bibtex":"@inproceedings{Heckel_Küster_Taentzer_2002, place={Berlin/Heidelberg}, title={Confluence of Typed Attributed Graph Transformation Systems}, booktitle={Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele}, year={2002}, pages={161–176} }","short":"R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 161–176."},"place":"Berlin/Heidelberg","year":"2002","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7903","status":"public","publication":"Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","type":"conference"},{"title":"JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs","publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","volume":2269,"date_created":"2019-02-21T11:01:07Z","author":[{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"}],"year":"2002","place":"Berlin/Heidelberg","page":"163-175","intvolume":"      2269","citation":{"ama":"Mehner K. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In: <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>. Vol 2269. LNCS. Berlin/Heidelberg: Springer; 2002:163-175.","ieee":"K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs,” in <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, 2002, vol. 2269, pp. 163–175.","chicago":"Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” In <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, 2269:163–75. LNCS. Berlin/Heidelberg: Springer, 2002.","apa":"Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i> (Vol. 2269, pp. 163–175). Berlin/Heidelberg: Springer.","short":"K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.","bibtex":"@inproceedings{Mehner_2002, place={Berlin/Heidelberg}, series={LNCS}, title={JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs}, volume={2269}, booktitle={Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)}, publisher={Springer}, author={Mehner, Katharina}, year={2002}, pages={163–175}, collection={LNCS} }","mla":"Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, vol. 2269, Springer, 2002, pp. 163–75."},"language":[{"iso":"eng"}],"_id":"7904","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","status":"public","publication":"Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)","type":"conference"},{"publication":"Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)","type":"conference","status":"public","_id":"7905","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","language":[{"iso":"eng"}],"year":"2002","place":"London, UK","page":"336-350","citation":{"apa":"Schattkowsky, T., &#38; Lohmann, M. (2002). Rapid Development of Modular Dynamic Web Sites Using UML. In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i> (pp. 336–350). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>","mla":"Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, Springer, 2002, pp. 336–50, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>.","bibtex":"@inproceedings{Schattkowsky_Lohmann_2002, place={London, UK}, series={LNCS}, title={Rapid Development of Modular Dynamic Web Sites Using UML}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>}, booktitle={Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2002}, pages={336–350}, collection={LNCS} }","short":"T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.","chicago":"Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 336–50. LNCS. London, UK: Springer, 2002. <a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>.","ieee":"T. Schattkowsky and M. Lohmann, “Rapid Development of Modular Dynamic Web Sites Using UML,” in <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2002, pp. 336–350.","ama":"Schattkowsky T, Lohmann M. Rapid Development of Modular Dynamic Web Sites Using UML. In: <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>. LNCS. London, UK: Springer; 2002:336-350. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>"},"date_updated":"2022-01-06T07:03:47Z","publisher":"Springer","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"}],"date_created":"2019-02-21T11:01:45Z","title":"Rapid Development of Modular Dynamic Web Sites Using UML","doi":"http://dx.doi.org/10.1007/3-540-45800-X"},{"user_id":"52534","department":[{"_id":"66"}],"_id":"7906","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)","status":"public","date_created":"2019-02-21T11:02:12Z","author":[{"first_name":"Alexey","full_name":"Cherchago, Alexey","last_name":"Cherchago"}],"date_updated":"2022-01-06T07:03:47Z","publisher":"ACTA Press","title":"Formal Semantics for a UML fragment using UML/OCL metamodeling","citation":{"ama":"Cherchago A. Formal Semantics for a UML fragment using UML/OCL metamodeling. In: <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press; 2002.","chicago":"Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” In <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press, 2002.","ieee":"A. Cherchago, “Formal Semantics for a UML fragment using UML/OCL metamodeling,” in <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>, 2002.","apa":"Cherchago, A. (2002). Formal Semantics for a UML fragment using UML/OCL metamodeling. In <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press.","mla":"Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>, ACTA Press, 2002.","short":"A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.","bibtex":"@inproceedings{Cherchago_2002, title={Formal Semantics for a UML fragment using UML/OCL metamodeling}, booktitle={Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)}, publisher={ACTA Press}, author={Cherchago, Alexey}, year={2002} }"},"year":"2002"},{"citation":{"short":"P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck, Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, University of Bonn, 2002.","bibtex":"@book{Constanza_Kniesel_Mehner_Pulvermüller_Speck_2002, title={Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement}, publisher={University of Bonn}, author={Constanza, Pascal and Kniesel, Günther and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}, year={2002} }","mla":"Constanza, Pascal, et al. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","apa":"Constanza, P., Kniesel, G., Mehner, K., Pulvermüller, E., &#38; Speck, A. (2002). <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn.","ieee":"P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and A. Speck, <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","chicago":"Constanza, Pascal, Günther Kniesel, Katharina Mehner, Elke Pulvermüller, and Andreas Speck. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","ama":"Constanza P, Kniesel G, Mehner K, Pulvermüller E, Speck A. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn; 2002."},"year":"2002","date_created":"2019-03-03T16:13:10Z","author":[{"first_name":"Pascal","last_name":"Constanza","full_name":"Constanza, Pascal"},{"first_name":"Günther","last_name":"Kniesel","full_name":"Kniesel, Günther"},{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"},{"full_name":"Pulvermüller, Elke","last_name":"Pulvermüller","first_name":"Elke"},{"full_name":"Speck, Andreas","last_name":"Speck","first_name":"Andreas"}],"date_updated":"2022-01-06T07:03:52Z","publisher":"University of Bonn","title":"Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement","type":"report","report_number":"IAI-TR-2002-1","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"8212","language":[{"iso":"eng"}]},{"title":"Concurrency and Loose Semantics of Open Graph Transformation Systems","date_updated":"2022-01-06T07:03:36Z","date_created":"2019-01-31T15:36:17Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Mercé","full_name":"Llabrés, Mercé","last_name":"Llabrés"},{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"first_name":"Fernando","last_name":"Orejas","full_name":"Orejas, Fernando"}],"volume":12,"year":"2002","citation":{"apa":"Heckel, R., Llabrés, M., Ehrig, H., &#38; Orejas, F. (2002). Concurrency and Loose Semantics of Open Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>, <i>12</i>(4), 349–376.","bibtex":"@article{Heckel_Llabrés_Ehrig_Orejas_2002, title={Concurrency and Loose Semantics of Open Graph Transformation Systems}, volume={12}, number={4}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2002}, pages={349–376} }","short":"R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.","mla":"Heckel, Reiko, et al. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i>, vol. 12, no. 4, 2002, pp. 349–76.","chicago":"Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i> 12, no. 4 (2002): 349–76.","ieee":"R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics of Open Graph Transformation Systems,” <i>Mathematical Structures in Computer Science</i>, vol. 12, no. 4, pp. 349–376, 2002.","ama":"Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency and Loose Semantics of Open Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>. 2002;12(4):349-376."},"intvolume":"        12","page":"349-376","issue":"4","language":[{"iso":"eng"}],"_id":"7385","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"journal_article","publication":"Mathematical Structures in Computer Science"},{"department":[{"_id":"66"}],"user_id":"52534","_id":"7387","language":[{"iso":"eng"}],"publication":"Transactions of the SDPS: Journal of Integrated Design & Process Science","type":"journal_article","status":"public","abstract":[{"text":"Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of componentbased systems derived from those models.","lang":"eng"}],"volume":6,"author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"last_name":"Groenewegen","full_name":"Groenewegen, Luuk","first_name":"Luuk"}],"date_created":"2019-01-31T15:38:09Z","date_updated":"2022-01-06T07:03:36Z","title":"Consistent Interaction of Software Components","issue":"4","intvolume":"         6","page":"2-22","citation":{"chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i> 6, no. 4 (2002): 2–22.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, pp. 2–22, 2002.","ama":"Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>. 2002;6(4):2-22.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, <i>6</i>(4), 2–22.","bibtex":"@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction of Software Components}, volume={6}, number={4}, journal={Transactions of the SDPS: Journal of Integrated Design &#38; Process Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }","mla":"Engels, Gregor, et al. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, 2002, pp. 2–22.","short":"G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design &#38; Process Science 6 (2002) 2–22."},"year":"2002"},{"year":"2002","citation":{"apa":"Depke, R., Heckel, R., &#38; Küster, J. (2002). Formal Agent-Oriented Modeling with Graph Transformation. <i>Science of Computer Programming</i>, <i>44</i>, 229–252.","bibtex":"@article{Depke_Heckel_Küster_2002, title={Formal Agent-Oriented Modeling with Graph Transformation}, volume={44}, journal={Science of Computer Programming}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2002}, pages={229–252} }","mla":"Depke, Ralph, et al. “Formal Agent-Oriented Modeling with Graph Transformation.” <i>Science of Computer Programming</i>, vol. 44, 2002, pp. 229–52.","short":"R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002) 229–252.","ama":"Depke R, Heckel R, Küster J. Formal Agent-Oriented Modeling with Graph Transformation. <i>Science of Computer Programming</i>. 2002;44:229-252.","chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Formal Agent-Oriented Modeling with Graph Transformation.” <i>Science of Computer Programming</i> 44 (2002): 229–52.","ieee":"R. Depke, R. Heckel, and J. Küster, “Formal Agent-Oriented Modeling with Graph Transformation,” <i>Science of Computer Programming</i>, vol. 44, pp. 229–252, 2002."},"intvolume":"        44","page":"229-252","date_updated":"2022-01-06T07:03:36Z","author":[{"first_name":"Ralph","full_name":"Depke, Ralph","last_name":"Depke"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"}],"date_created":"2019-01-31T15:39:00Z","volume":44,"title":"Formal Agent-Oriented Modeling with Graph Transformation","type":"journal_article","publication":"Science of Computer Programming","status":"public","_id":"7388","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"issue":"17","year":"2002","intvolume":"         1","page":"41-44","citation":{"apa":"Doberkat, E.-E., &#38; Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik. <i>Informatik Forschung Und Entwicklung</i>, <i>1</i>(17), 41–44.","short":"E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.","bibtex":"@article{Doberkat_Engels_2002, title={MuSofT - Multimedia in der Softwaretechnik}, volume={1}, number={17}, journal={Informatik Forschung und Entwicklung}, author={Doberkat, Ernst-Erich and Engels, Gregor}, year={2002}, pages={41–44} }","mla":"Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” <i>Informatik Forschung Und Entwicklung</i>, vol. 1, no. 17, 2002, pp. 41–44.","ama":"Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. <i>Informatik Forschung und Entwicklung</i>. 2002;1(17):41-44.","chicago":"Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” <i>Informatik Forschung Und Entwicklung</i> 1, no. 17 (2002): 41–44.","ieee":"E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” <i>Informatik Forschung und Entwicklung</i>, vol. 1, no. 17, pp. 41–44, 2002."},"date_updated":"2022-01-06T07:03:36Z","volume":1,"author":[{"last_name":"Doberkat","full_name":"Doberkat, Ernst-Erich","first_name":"Ernst-Erich"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-01-31T15:39:38Z","title":"MuSofT - Multimedia in der Softwaretechnik","publication":"Informatik Forschung und Entwicklung","type":"journal_article","abstract":[{"text":"Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe, um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur Distribution der entwickelten Materialien vor.","lang":"ger"}],"status":"public","_id":"7389","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7390","status":"public","type":"journal_article","publication":"Theoretical Computer Science","doi":"http://dx.doi.org/10.1016/S0304-3975(01)00025-1","title":"Compositional SOS and Beyond: A Coalgebraic View of Open Systems","author":[{"last_name":"Corradini","full_name":"Corradini, Andrea","first_name":"Andrea"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Montanari","full_name":"Montanari, Ugo","first_name":"Ugo"}],"date_created":"2019-01-31T15:40:17Z","volume":280,"date_updated":"2022-01-06T07:03:36Z","citation":{"chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” <i>Theoretical Computer Science</i> 280, no. 1–2 (2002): 163–92. <a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>.","ieee":"A. Corradini, R. Heckel, and U. Montanari, “Compositional SOS and Beyond: A Coalgebraic View of Open Systems,” <i>Theoretical Computer Science</i>, vol. 280, no. 1–2, pp. 163–192, 2002.","ama":"Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic View of Open Systems. <i>Theoretical Computer Science</i>. 2002;280(1-2):163-192. doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>","apa":"Corradini, A., Heckel, R., &#38; Montanari, U. (2002). Compositional SOS and Beyond: A Coalgebraic View of Open Systems. <i>Theoretical Computer Science</i>, <i>280</i>(1–2), 163–192. <a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>","bibtex":"@article{Corradini_Heckel_Montanari_2002, title={Compositional SOS and Beyond: A Coalgebraic View of Open Systems}, volume={280}, DOI={<a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2002}, pages={163–192} }","mla":"Corradini, Andrea, et al. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” <i>Theoretical Computer Science</i>, vol. 280, no. 1–2, 2002, pp. 163–92, doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>.","short":"A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192."},"intvolume":"       280","page":"163-192","year":"2002","issue":"1-2"},{"citation":{"chicago":"Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko Heckel. “High-Level Net Processes.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer, H.  Ehrig, J.  Karhumäki, and A.  Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. <a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>.","ieee":"H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.","ama":"Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes. In: Brauer W, Ehrig H, Karhumäki J, Salomaa  A, eds. <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:191-219. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>","bibtex":"@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}, editor={Brauer, W.  and Ehrig, H.  and Karhumäki, J.  and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS} }","short":"H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa  (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.","mla":"Ehrig, Hartmut, et al. “High-Level Net Processes.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer et al., vol. 2300, Springer, 2002, pp. 191–219, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>.","apa":"Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., &#38; Heckel, R. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, &#38; A. Salomaa  (Eds.), <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>"},"page":"191-219","intvolume":"      2300","place":"Berlin/Heidelberg","year":"2002","doi":"http://dx.doi.org/10.1007/3-540-45711-9_12","title":"High-Level Net Processes","author":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"first_name":"Kathrin","last_name":"Hoffmann","full_name":"Hoffmann, Kathrin"},{"last_name":"Padberg","full_name":"Padberg, Julia","first_name":"Julia"},{"last_name":"Baldan","full_name":"Baldan, Paolo","first_name":"Paolo"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"date_created":"2019-02-04T23:02:26Z","volume":2300,"publisher":"Springer","date_updated":"2022-01-06T07:03:39Z","status":"public","editor":[{"last_name":"Brauer","full_name":"Brauer, W. ","first_name":"W. "},{"last_name":"Ehrig","full_name":"Ehrig, H. ","first_name":"H. "},{"first_name":"J. ","full_name":"Karhumäki, J. ","last_name":"Karhumäki"},{"first_name":"A. ","full_name":"Salomaa , A. ","last_name":"Salomaa "}],"type":"book_chapter","publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","language":[{"iso":"eng"}],"series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"_id":"7524"},{"abstract":[{"text":"The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.","lang":"eng"}],"status":"public","type":"book_chapter","publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","language":[{"iso":"eng"}],"_id":"7525","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"year":"2002","place":"Berlin/Heidelberg","citation":{"bibtex":"@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={2002}, pages={257–276}, collection={LNCS} }","short":"G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.","mla":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, Springer, 2002, pp. 257–76.","apa":"Engels, G., &#38; Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.","ama":"Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.","ieee":"G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.","chicago":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002."},"page":"257-276","intvolume":"      2300","title":"Towards Team-Automata-Driven Object-Oriented Collaborative Work","date_updated":"2022-01-06T07:03:39Z","publisher":"Springer","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Luuk","full_name":"Groenewegen, Luuk","last_name":"Groenewegen"}],"date_created":"2019-02-04T23:03:52Z","volume":2300},{"page":"377-384","citation":{"ama":"Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.","ieee":"G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.","chicago":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.","bibtex":"@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics}, title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Doberkat, Ernst-Erich}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics} }","mla":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, Gesellschaft für Informatik (GI), 2002, pp. 377–84.","short":"G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.","apa":"Engels, G., &#38; Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i> (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI)."},"year":"2002","place":"Bonn","volume":"P-19","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Ernst-Erich","full_name":"Doberkat, Ernst-Erich","last_name":"Doberkat"}],"date_created":"2019-02-04T23:04:36Z","publisher":"Gesellschaft für Informatik (GI)","date_updated":"2022-01-06T07:03:39Z","title":"Multimedia in der Informatik-Lehre","publication":"Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics","type":"book_chapter","status":"public","abstract":[{"lang":"eng","text":"Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert."}],"department":[{"_id":"66"}],"series_title":"Lecture Notes in Informatics","user_id":"52534","_id":"7526","language":[{"iso":"eng"}]},{"status":"public","abstract":[{"text":"The notion of processes for low-level Petri nets based on occurrence nets is well known and it represents the basis for the study of the non-sequential behavior of Petri nets. Processes for high-level nets N are often defined as processes of the low level net Flat(N) which is obtained from N via a construction called flattening. In this paper we define high-level processes for high-level nets based on a suitable notion of high-level occurrence nets. The flattening of a high-level occurrence net is in general not a low-level occurrence net, due to so called assignment conflicts in the high-level net. The main technical result is a syntactical characterization of assignment conflicts. But the main focus of this paper is a conceptual discussion of future perspectives of high-level net processes including concurrency and data type aspects. Specifically, in the second part of the paper, we discuss possible extensions of high-level net processes, which are formally introduced for algebraic high-level nets in the first part of this paper. Of special interest are high-level processes with data type behavior, amalgamation, and other kinds of constructions, which are essential aspects for a proposed component concept for high-level nets.","lang":"eng"}],"editor":[{"first_name":"W.","full_name":" Brauer, W.","last_name":" Brauer"},{"full_name":" Ehrig, H.","last_name":" Ehrig","first_name":"H."},{"first_name":"J.","full_name":"Karhumäki, J.","last_name":"Karhumäki"},{"first_name":"A. ","last_name":"Salomaa ","full_name":"Salomaa , A. "}],"type":"book_chapter","publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","language":[{"iso":"eng"}],"series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"_id":"7527","citation":{"apa":"Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., &#38; Heckel, R. (2002). High-Level Net Processes. In W.  Brauer, H.  Ehrig, J. Karhumäki, &#38; A. Salomaa  (Eds.), <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>","mla":"Ehrig, Hartmut, et al. “High-Level Net Processes.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer et al., vol. 2300, Springer, 2002, pp. 191–219, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>.","short":"H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W.  Brauer, H.  Ehrig, J. Karhumäki, A. Salomaa  (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.","bibtex":"@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}, editor={ Brauer, W. and  Ehrig, H. and Karhumäki, J. and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS} }","ieee":"H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, W.  Brauer, H.  Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.","chicago":"Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko Heckel. “High-Level Net Processes.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer, H.  Ehrig, J. Karhumäki, and A.  Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. <a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>.","ama":"Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes. In:  Brauer W,  Ehrig H, Karhumäki J, Salomaa  A, eds. <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:191-219. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>"},"page":"191-219","intvolume":"      2300","place":"Berlin/Heidelberg","year":"2002","doi":"http://dx.doi.org/10.1007/3-540-45711-9_12","title":"High-Level Net Processes","date_created":"2019-02-05T11:54:53Z","author":[{"first_name":"Hartmut","full_name":"Ehrig, Hartmut","last_name":"Ehrig"},{"first_name":"Kathrin","full_name":"Hoffmann, Kathrin","last_name":"Hoffmann"},{"first_name":"Julia","full_name":"Padberg, Julia","last_name":"Padberg"},{"last_name":"Baldan","full_name":"Baldan, Paolo","first_name":"Paolo"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"volume":2300,"date_updated":"2022-01-06T07:03:39Z","publisher":"Springer"},{"abstract":[{"lang":"eng","text":"The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated."}],"editor":[{"last_name":"Brauer","full_name":"Brauer, W. ","first_name":"W. "},{"first_name":"H.","last_name":"Ehring","full_name":"Ehring, H."},{"first_name":"J. ","full_name":"Karhumäki, J. ","last_name":"Karhumäki"},{"first_name":"A. ","last_name":"Salomaa","full_name":"Salomaa, A. "}],"status":"public","type":"book_chapter","publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","language":[{"iso":"eng"}],"_id":"7528","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"year":"2002","place":"Berlin/Heidelberg","citation":{"mla":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer et al., vol. 2300, Springer, 2002, pp. 257–76.","bibtex":"@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, editor={Brauer, W.  and Ehring, H. and Karhumäki, J.  and Salomaa, A. Editors}, year={2002}, pages={257–276}, collection={LNCS} }","short":"G. Engels, L. Groenewegen, in: W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.","apa":"Engels, G., &#38; Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In W. Brauer, H. Ehring, J. Karhumäki, &#38; A. Salomaa (Eds.), <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.","chicago":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer, H. Ehring, J.  Karhumäki, and A.  Salomaa, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.","ieee":"G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.","ama":"Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Brauer W, Ehring H, Karhumäki J, Salomaa A, eds. <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276."},"intvolume":"      2300","page":"257-276","title":"Towards Team-Automata-Driven Object-Oriented Collaborative Work","publisher":"Springer","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-05T11:57:09Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"last_name":"Groenewegen","full_name":"Groenewegen, Luuk","first_name":"Luuk"}],"volume":2300},{"language":[{"iso":"eng"}],"user_id":"52534","series_title":"Lecture Notes in Informatics","department":[{"_id":"66"}],"_id":"7529","status":"public","abstract":[{"text":"Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.","lang":"ger"}],"editor":[{"last_name":"Schubert","full_name":"Schubert, S. ","first_name":"S. "},{"first_name":"B. ","full_name":"Reusch, B. ","last_name":"Reusch"},{"full_name":"Jesse, N. ","last_name":"Jesse","first_name":"N. "}],"type":"book_chapter","publication":"Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics","title":"Multimedia in der Informatik-Lehre","date_created":"2019-02-05T11:59:25Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"full_name":"Doberkat, Ernst-Erich","last_name":"Doberkat","first_name":"Ernst-Erich"}],"volume":"P-19","publisher":"Gesellschaft für Informatik (GI)","date_updated":"2022-01-06T07:03:39Z","citation":{"mla":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, edited by S.  Schubert et al., vol. P-19, Gesellschaft für Informatik (GI), 2002, pp. 377–84.","bibtex":"@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics}, title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Doberkat, Ernst-Erich}, editor={Schubert, S.  and Reusch, B.  and Jesse, N. Editors}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics} }","short":"G. Engels, E.-E. Doberkat, in: S. Schubert, B. Reusch, N. Jesse (Eds.), Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.","apa":"Engels, G., &#38; Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In S. Schubert, B. Reusch, &#38; N. Jesse (Eds.), <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i> (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).","ama":"Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Schubert S, Reusch B, Jesse N, eds. <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.","chicago":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, edited by S.  Schubert, B.  Reusch, and N.  Jesse, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.","ieee":"G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384."},"page":"377-384","place":"Bonn","year":"2002"},{"user_id":"52534","series_title":"Electronic Notes in Theoretical Computer Science","department":[{"_id":"66"}],"_id":"8363","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)","status":"public","abstract":[{"lang":"eng","text":"A major concern of software development today is the integration of applications of different enterprises, e.g., over the internet. This requires a shift of focus from system development towards integration of enterprise models and evolution of systems. We propose a conceptual framework for a method addressing these issues and discuss its formalization by means of graph transformation concepts."}],"author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2019-03-06T11:12:56Z","volume":51,"publisher":"Elsevier","date_updated":"2022-01-06T07:03:53Z","doi":"http://dx.doi.org/10.1016/S1571-0661(04)80198-1","title":"Towards a Formal Framework for Inter-Enterprise Application Integration","citation":{"ama":"Heckel R, Engels G. Towards a Formal Framework for Inter-Enterprise Application Integration. In: <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>. Vol 51. Electronic Notes in Theoretical Computer Science. Elsevier; 2002:139-151. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>","chicago":"Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise Application Integration.” In <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>, 51:139–51. Electronic Notes in Theoretical Computer Science. Elsevier, 2002. <a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>.","ieee":"R. Heckel and G. Engels, “Towards a Formal Framework for Inter-Enterprise Application Integration,” in <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>, 2002, vol. 51, pp. 139–151.","apa":"Heckel, R., &#38; Engels, G. (2002). Towards a Formal Framework for Inter-Enterprise Application Integration. In <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i> (Vol. 51, pp. 139–151). Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>","mla":"Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise Application Integration.” <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>, vol. 51, Elsevier, 2002, pp. 139–51, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>.","short":"R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.","bibtex":"@inproceedings{Heckel_Engels_2002, series={Electronic Notes in Theoretical Computer Science}, title={Towards a Formal Framework for Inter-Enterprise Application Integration}, volume={51}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>}, booktitle={Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)}, publisher={Elsevier}, author={Heckel, Reiko and Engels, Gregor}, year={2002}, pages={139–151}, collection={Electronic Notes in Theoretical Computer Science} }"},"page":"139-151","intvolume":"        51","year":"2002"},{"intvolume":"      2784","page":"390-401","citation":{"ama":"Thöne S, Depke R, Engels G. Process-Oriented, Flexible Composition of Web Services with UML. In: <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland)</i>. Vol 2784. LNCS. Berlin/Heidelberg: Springer; 2002:390-401.","ieee":"S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition of Web Services with UML,” in <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)</i>, 2002, vol. 2784, pp. 390–401.","chicago":"Thöne, Sebastian, Ralph Depke, and Gregor Engels. “Process-Oriented, Flexible Composition of Web Services with UML.” In <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland)</i>, 2784:390–401. LNCS. Berlin/Heidelberg: Springer, 2002.","apa":"Thöne, S., Depke, R., &#38; Engels, G. (2002). Process-Oriented, Flexible Composition of Web Services with UML. In <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)</i> (Vol. 2784, pp. 390–401). Berlin/Heidelberg: Springer.","mla":"Thöne, Sebastian, et al. “Process-Oriented, Flexible Composition of Web Services with UML.” <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland)</i>, vol. 2784, Springer, 2002, pp. 390–401.","bibtex":"@inproceedings{Thöne_Depke_Engels_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Process-Oriented, Flexible Composition of Web Services with UML}, volume={2784}, booktitle={Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)}, publisher={Springer}, author={Thöne, Sebastian and Depke, Ralph and Engels, Gregor}, year={2002}, pages={390–401}, collection={LNCS} }","short":"S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401."},"place":"Berlin/Heidelberg","year":"2002","title":"Process-Oriented, Flexible Composition of Web Services with UML","volume":2784,"author":[{"full_name":"Thöne, Sebastian","last_name":"Thöne","first_name":"Sebastian"},{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"}],"date_created":"2019-03-06T11:12:57Z","date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","status":"public","abstract":[{"text":"The composition of elementary web services to larger-scale services has become an important means to enhance e-business collaborations. If such composite web services can also integrate legacy components that are not yet provided as web services, the number of possible compositions is increased. Following a process-oriented approach, the compositions can be described as control- and data-flow between available web services and components. This paper discusses the Business Process Execution Language for Web Services (BPEL4WS), an existing service composition language, and proposes UML-WSC as an alternative, visual language. For the advanced description of service interfaces, UML-WSC extends the type system of the established Web Service Definition Language (WSDL).","lang":"eng"}],"publication":"Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","_id":"8364"}]