[{"abstract":[{"text":"One important application of Petri nets is thespecification of workflows. Such a specification is needed, for example, when interoperability of the workflows is an issue, which is frequently the case when business processes of different organizations shall be integrated.A workflow net is a Petri net satisfying some structural constraints, like the existence of one initial and one final place, and a corresponding soundness condition.An interorganizational workflow is modeled as a set of such workflow nets connected through additional places for asynchronous communication and synchronization requirements on transitions.In this contribution we interpret an interorganizational workflow as acomposition of open nets. This allows us to project processes of the overall net to open processes of the local nets and,vice versa, to deduce the global behavior from the behavior of the components.Such a compositional uunderstanding of workflows can be used to simulate and test local workflow nets in an unknown environment, and it provides the semantic justification for reusable components.","lang":"eng"}],"status":"public","publication":"Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems","type":"conference","language":[{"iso":"eng"}],"_id":"7890","department":[{"_id":"66"}],"user_id":"52534","year":"2001","page":"129-134","citation":{"ama":"Heckel R. Open Petri Nets as Semantic Model for Business Process Integration. In: <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>. DFG Research Group “Petri Net Technology”; 2001:129-134.","chicago":"Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process Integration.” In <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>, 129–34. DFG Research Group “Petri Net Technology,” 2001.","ieee":"R. Heckel, “Open Petri Nets as Semantic Model for Business Process Integration,” in <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>, 2001, pp. 129–134.","mla":"Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process Integration.” <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>, DFG Research Group “Petri Net Technology,” 2001, pp. 129–34.","short":"R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, DFG Research Group “Petri Net Technology,” 2001, pp. 129–134.","bibtex":"@inproceedings{Heckel_2001, title={Open Petri Nets as Semantic Model for Business Process Integration}, booktitle={Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems}, publisher={DFG Research Group “Petri Net Technology”}, author={Heckel, Reiko}, year={2001}, pages={129–134} }","apa":"Heckel, R. (2001). Open Petri Nets as Semantic Model for Business Process Integration. In <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i> (pp. 129–134). DFG Research Group “Petri Net Technology.”"},"title":"Open Petri Nets as Semantic Model for Business Process Integration","publisher":"DFG Research Group \"Petri Net Technology\"","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T10:47:49Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}]},{"status":"public","type":"conference","publication":"Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)","language":[{"iso":"eng"}],"user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"7891","citation":{"apa":"Heckel, R., &#38; Sauer, S. (2001). Strengthening UML Collaboration Diagrams by State Transformations. In <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i> (Vol. 2029, pp. 109–123). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>","short":"R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.","mla":"Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams by State Transformations.” <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>, vol. 2029, Springer, 2001, pp. 109–23, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>.","bibtex":"@inproceedings{Heckel_Sauer_2001, place={London, UK}, series={LNCS}, title={Strengthening UML Collaboration Diagrams by State Transformations}, volume={2029}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>}, booktitle={Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}, publisher={Springer}, author={Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={109–123}, collection={LNCS} }","chicago":"Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams by State Transformations.” In <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>, 2029:109–23. LNCS. London, UK: Springer, 2001. <a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>.","ieee":"R. Heckel and S. Sauer, “Strengthening UML Collaboration Diagrams by State Transformations,” in <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>, 2001, vol. 2029, pp. 109–123.","ama":"Heckel R, Sauer S. Strengthening UML Collaboration Diagrams by State Transformations. In: <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>. Vol 2029. LNCS. London, UK: Springer; 2001:109-123. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>"},"intvolume":"      2029","page":"109-123","place":"London, UK","year":"2001","doi":"http://dx.doi.org/10.1007/3-540-45314-8_9","title":"Strengthening UML Collaboration Diagrams by State Transformations","date_created":"2019-02-21T10:48:46Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"}],"volume":2029,"date_updated":"2022-01-06T07:03:47Z","publisher":"Springer"},{"status":"public","publication":"Proceedings of the Forum on Design Languages (FDL'01)","type":"conference","language":[{"iso":"eng"}],"_id":"7892","department":[{"_id":"66"}],"user_id":"52534","place":"Lyon, France","year":"2001","citation":{"short":"J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.","bibtex":"@inproceedings{Küster_2001, place={Lyon, France}, title={Towards Behavior Consistent Modeling in UML-RT}, booktitle={Proceedings of the Forum on Design Languages (FDL’01)}, author={Küster, Jochen}, year={2001} }","mla":"Küster, Jochen. “Towards Behavior Consistent Modeling in UML-RT.” <i>Proceedings of the Forum on Design Languages (FDL’01)</i>, 2001.","apa":"Küster, J. (2001). Towards Behavior Consistent Modeling in UML-RT. In <i>Proceedings of the Forum on Design Languages (FDL’01)</i>. Lyon, France.","chicago":"Küster, Jochen. “Towards Behavior Consistent Modeling in UML-RT.” In <i>Proceedings of the Forum on Design Languages (FDL’01)</i>. Lyon, France, 2001.","ieee":"J. Küster, “Towards Behavior Consistent Modeling in UML-RT,” in <i>Proceedings of the Forum on Design Languages (FDL’01)</i>, 2001.","ama":"Küster J. Towards Behavior Consistent Modeling in UML-RT. In: <i>Proceedings of the Forum on Design Languages (FDL’01)</i>. Lyon, France; 2001."},"title":"Towards Behavior Consistent Modeling in UML-RT","date_updated":"2022-01-06T07:03:47Z","author":[{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"}],"date_created":"2019-02-21T10:49:48Z"},{"publication":"Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)","type":"conference","status":"public","abstract":[{"text":"Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We propose an extension of the Unified Modeling Language (UML) for the integrated specification of multimedia systems based on an object-oriented development method. Since integration of co-existing timed procedural and interactive behavior is at the heart of multimedia systems, we focus on UML-based specification of behavior in this paper. In addition, we outline how these behavioral aspects are to be integrated with media, presentation, and software architecture modeling to achieve a coherent and consistent model.","lang":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7893","language":[{"iso":"eng"}],"page":"248-255","citation":{"ama":"Sauer S, Engels G. UML-based Behavior Specification of Interactive Multimedia Applications. In: <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>. Washington, DC, USA: IEEE Computer Society; 2001:248-255. doi:<a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>","chicago":"Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of Interactive Multimedia Applications.” In <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, 248–55. Washington, DC, USA: IEEE Computer Society, 2001. <a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>.","ieee":"S. Sauer and G. Engels, “UML-based Behavior Specification of Interactive Multimedia Applications,” in <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, 2001, pp. 248–255.","mla":"Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of Interactive Multimedia Applications.” <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, IEEE Computer Society, 2001, pp. 248–55, doi:<a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>.","bibtex":"@inproceedings{Sauer_Engels_2001, place={Washington, DC, USA}, title={UML-based Behavior Specification of Interactive Multimedia Applications}, DOI={<a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>}, booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={2001}, pages={248–255} }","short":"S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.","apa":"Sauer, S., &#38; Engels, G. (2001). UML-based Behavior Specification of Interactive Multimedia Applications. In <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i> (pp. 248–255). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>"},"place":"Washington, DC, USA","year":"2001","author":[{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"}],"date_created":"2019-02-21T10:50:19Z","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:47Z","doi":"http://dx.doi.org/10.1109/HCC.2001.995271","title":"UML-based Behavior Specification of Interactive Multimedia Applications"},{"title":"How to Specify a Graph Transformation Approach - A Meta Model for Fujaba","date_created":"2019-02-21T10:51:09Z","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"first_name":"Albert","last_name":"Zündorf","full_name":"Zündorf, Albert"}],"volume":44,"date_updated":"2022-01-06T07:03:47Z","publisher":"Elsevier","citation":{"chicago":"Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.” In <i>Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001)</i>, edited by H. Ehrig and J. Padberg, 44:41–51. Electronic Notes in Theoretical Computer Science. Genova (Italy): Elsevier, 2001.","ieee":"R. Heckel and A. Zündorf, “How to Specify a Graph Transformation Approach - A Meta Model for Fujaba,” in <i>Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)</i>, 2001, vol. 44, pp. 41–51.","ama":"Heckel R, Zündorf A. How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. In: Ehrig H, Padberg J, eds. <i>Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001)</i>. Vol 44. Electronic Notes in Theoretical Computer Science. Genova (Italy): Elsevier; 2001:41-51.","bibtex":"@inproceedings{Heckel_Zündorf_2001, place={Genova (Italy)}, series={Electronic Notes in Theoretical Computer Science}, title={How to Specify a Graph Transformation Approach - A Meta Model for Fujaba}, volume={44}, booktitle={Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)}, publisher={Elsevier}, author={Heckel, Reiko and Zündorf, Albert}, editor={Ehrig, H. and Padberg, J.Editors}, year={2001}, pages={41–51}, collection={Electronic Notes in Theoretical Computer Science} }","short":"R. Heckel, A. Zündorf, in: H. Ehrig, J. Padberg (Eds.), Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001), Elsevier, Genova (Italy), 2001, pp. 41–51.","mla":"Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.” <i>Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001)</i>, edited by H. Ehrig and J. Padberg, vol. 44, Elsevier, 2001, pp. 41–51.","apa":"Heckel, R., &#38; Zündorf, A. (2001). How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. In H. Ehrig &#38; J. Padberg (Eds.), <i>Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)</i> (Vol. 44, pp. 41–51). Genova (Italy): Elsevier."},"page":"41-51","intvolume":"        44","year":"2001","place":"Genova (Italy)","language":[{"iso":"eng"}],"series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","department":[{"_id":"66"}],"_id":"7894","status":"public","editor":[{"full_name":"Ehrig, H.","last_name":"Ehrig","first_name":"H."},{"last_name":"Padberg","full_name":"Padberg, J.","first_name":"J."}],"type":"conference","publication":"Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)"},{"user_id":"52534","department":[{"_id":"66"}],"_id":"8211","language":[{"iso":"eng"}],"report_number":"01-221","type":"report","status":"public","author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"first_name":"Jochen","full_name":"Küster, Jochen","last_name":"Küster"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"}],"date_created":"2019-03-03T16:13:09Z","date_updated":"2022-01-06T07:03:52Z","publisher":"University of Paderborn, Department of Computer Science","title":"On the Specification and Analysis of Protocols in UML-RT","citation":{"short":"G. Engels, J. Küster, L. Groenewegen, On the Specification and Analysis of Protocols in UML-RT, University of Paderborn, Department of Computer Science, 2001.","bibtex":"@book{Engels_Küster_Groenewegen_2001, title={On the Specification and Analysis of Protocols in UML-RT}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2001} }","mla":"Engels, Gregor, et al. <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science, 2001.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2001). <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science.","ama":"Engels G, Küster J, Groenewegen L. <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science; 2001.","chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science, 2001.","ieee":"G. Engels, J. Küster, and L. Groenewegen, <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science, 2001."},"year":"2001"},{"title":"Cooperability in Train Control Systems: Specification of Scenarios using Open Nets","volume":5,"date_created":"2019-01-31T15:40:49Z","author":[{"first_name":"Julia","last_name":"Padberg","full_name":"Padberg, Julia"},{"first_name":"Lars","last_name":"Jansen","full_name":"Jansen, Lars"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"full_name":"Schnieder, E.","last_name":"Schnieder","first_name":"E."},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"         5","page":"3-21","citation":{"ama":"Padberg J, Jansen L, Ehrig H, Schnieder E, Heckel R. Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. <i>Transactions of the Society for Design and Process Science</i>. 2001;5(1):3-21.","chicago":"Padberg, Julia, Lars Jansen, Hartmut Ehrig, E. Schnieder, and Reiko Heckel. “Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets.” <i>Transactions of the Society for Design and Process Science</i> 5, no. 1 (2001): 3–21.","ieee":"J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, and R. Heckel, “Cooperability in Train Control Systems: Specification of Scenarios using Open Nets,” <i>Transactions of the Society for Design and Process Science</i>, vol. 5, no. 1, pp. 3–21, 2001.","mla":"Padberg, Julia, et al. “Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets.” <i>Transactions of the Society for Design and Process Science</i>, vol. 5, no. 1, 2001, pp. 3–21.","short":"J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of the Society for Design and Process Science 5 (2001) 3–21.","bibtex":"@article{Padberg_Jansen_Ehrig_Schnieder_Heckel_2001, title={Cooperability in Train Control Systems: Specification of Scenarios using Open Nets}, volume={5}, number={1}, journal={Transactions of the Society for Design and Process Science}, author={Padberg, Julia and Jansen, Lars and Ehrig, Hartmut and Schnieder, E. and Heckel, Reiko}, year={2001}, pages={3–21} }","apa":"Padberg, J., Jansen, L., Ehrig, H., Schnieder, E., &#38; Heckel, R. (2001). Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. <i>Transactions of the Society for Design and Process Science</i>, <i>5</i>(1), 3–21."},"year":"2001","issue":"1","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7391","status":"public","publication":"Transactions of the Society for Design and Process Science","type":"journal_article"},{"issue":"1","year":"2001","intvolume":"         9","page":"83-110","citation":{"short":"R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures 9 (2001) 83–110.","bibtex":"@article{Heckel_Ehrig_Wolter_Corradini_2001, title={Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}, volume={9}, number={1}, journal={Applied Categorical Structures}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={2001}, pages={83–110} }","mla":"Heckel, Reiko, et al. “Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.” <i>Applied Categorical Structures</i>, vol. 9, no. 1, 2001, pp. 83–110.","apa":"Heckel, R., Ehrig, H., Wolter, U., &#38; Corradini, A. (2001). Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. <i>Applied Categorical Structures</i>, <i>9</i>(1), 83–110.","ama":"Heckel R, Ehrig H, Wolter U, Corradini A. Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. <i>Applied Categorical Structures</i>. 2001;9(1):83-110.","ieee":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems,” <i>Applied Categorical Structures</i>, vol. 9, no. 1, pp. 83–110, 2001.","chicago":"Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.” <i>Applied Categorical Structures</i> 9, no. 1 (2001): 83–110."},"date_updated":"2022-01-06T07:03:36Z","volume":9,"date_created":"2019-01-31T15:41:19Z","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"last_name":"Wolter","full_name":"Wolter, Uwe","first_name":"Uwe"},{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"}],"title":"Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems","publication":"Applied Categorical Structures","type":"journal_article","status":"public","_id":"7392","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"user_id":"52534","department":[{"_id":"66"}],"_id":"7393","language":[{"iso":"eng"}],"type":"journal_article","publication":"International Journal of Software Engineering and Knowledge Engineering","status":"public","abstract":[{"text":"In this paper, we perform such an analysis and identify requirements for a general role concept. We develop such a role concept for a modeling approach based on the UML and graph transformation systems and exemplify its use for the specification (and application) of protocols. Finally, we provide a run-time semantics for roles based on concepts from the theory of graph transformation.","lang":"eng"}],"author":[{"last_name":"Depke","full_name":"Depke, Ralph","first_name":"Ralph"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Jochen","full_name":"Küster, Jochen","last_name":"Küster"}],"date_created":"2019-01-31T15:41:42Z","volume":11,"date_updated":"2022-01-06T07:03:36Z","doi":"http://dx.doi.org/10.1142/S0218194001000529","title":"Roles in Agent-Oriented Modeling","issue":"3","citation":{"apa":"Depke, R., Heckel, R., &#38; Küster, J. (2001). Roles in Agent-Oriented Modeling. <i>International Journal of Software Engineering and Knowledge Engineering</i>, <i>11</i>(3), 281–302. <a href=\"http://dx.doi.org/10.1142/S0218194001000529\">http://dx.doi.org/10.1142/S0218194001000529</a>","mla":"Depke, Ralph, et al. “Roles in Agent-Oriented Modeling.” <i>International Journal of Software Engineering and Knowledge Engineering</i>, vol. 11, no. 3, 2001, pp. 281–302, doi:<a href=\"http://dx.doi.org/10.1142/S0218194001000529\">http://dx.doi.org/10.1142/S0218194001000529</a>.","bibtex":"@article{Depke_Heckel_Küster_2001, title={Roles in Agent-Oriented Modeling}, volume={11}, DOI={<a href=\"http://dx.doi.org/10.1142/S0218194001000529\">http://dx.doi.org/10.1142/S0218194001000529</a>}, number={3}, journal={International Journal of Software Engineering and Knowledge Engineering}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={281–302} }","short":"R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering and Knowledge Engineering 11 (2001) 281–302.","ieee":"R. Depke, R. Heckel, and J. Küster, “Roles in Agent-Oriented Modeling,” <i>International Journal of Software Engineering and Knowledge Engineering</i>, vol. 11, no. 3, pp. 281–302, 2001.","chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Roles in Agent-Oriented Modeling.” <i>International Journal of Software Engineering and Knowledge Engineering</i> 11, no. 3 (2001): 281–302. <a href=\"http://dx.doi.org/10.1142/S0218194001000529\">http://dx.doi.org/10.1142/S0218194001000529</a>.","ama":"Depke R, Heckel R, Küster J. Roles in Agent-Oriented Modeling. <i>International Journal of Software Engineering and Knowledge Engineering</i>. 2001;11(3):281-302. doi:<a href=\"http://dx.doi.org/10.1142/S0218194001000529\">http://dx.doi.org/10.1142/S0218194001000529</a>"},"intvolume":"        11","page":"281-302","year":"2001"},{"volume":260,"author":[{"last_name":"Corradini","full_name":"Corradini, Andrea","first_name":"Andrea"},{"first_name":"Martin","last_name":"Große-Rhode","full_name":"Große-Rhode, Martin"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_created":"2019-01-31T15:42:22Z","date_updated":"2022-01-06T07:03:36Z","doi":"http://dx.doi.org/10.1016/S0304-3975(00)00121-3","title":"A Coalgebraic presentation of structured transition systems","issue":"1-2","intvolume":"       260","page":"27-55","citation":{"ama":"Corradini A, Große-Rhode M, Heckel R. A Coalgebraic presentation of structured transition systems. <i>Theoretical Computer Science</i>. 2001;260(1-2):27-55. doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>","chicago":"Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “A Coalgebraic Presentation of Structured Transition Systems.” <i>Theoretical Computer Science</i> 260, no. 1–2 (2001): 27–55. <a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>.","ieee":"A. Corradini, M. Große-Rhode, and R. Heckel, “A Coalgebraic presentation of structured transition systems,” <i>Theoretical Computer Science</i>, vol. 260, no. 1–2, pp. 27–55, 2001.","apa":"Corradini, A., Große-Rhode, M., &#38; Heckel, R. (2001). A Coalgebraic presentation of structured transition systems. <i>Theoretical Computer Science</i>, <i>260</i>(1–2), 27–55. <a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>","short":"A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.","bibtex":"@article{Corradini_Große-Rhode_Heckel_2001, title={A Coalgebraic presentation of structured transition systems}, volume={260}, DOI={<a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={2001}, pages={27–55} }","mla":"Corradini, Andrea, et al. “A Coalgebraic Presentation of Structured Transition Systems.” <i>Theoretical Computer Science</i>, vol. 260, no. 1–2, 2001, pp. 27–55, doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>."},"year":"2001","department":[{"_id":"66"}],"user_id":"52534","_id":"7394","language":[{"iso":"eng"}],"publication":"Theoretical Computer Science","type":"journal_article","status":"public"},{"year":"2001","citation":{"ieee":"G. Engels, J. Gaulke, and S. Sauer, “Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil,” <i>Forschungsforum Paderborn</i>, vol. 4, pp. 24–29, 2001.","chicago":"Engels, Gregor, Jens Gaulke, and Stefan Sauer. “Modelle Für Automobile Software - Objektorientierte Modellierung von Eingebetteten, Interaktiven Softwaresystemen Im Automobil.” <i>Forschungsforum Paderborn</i> 4 (2001): 24–29.","ama":"Engels G, Gaulke J, Sauer S. Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil. <i>Forschungsforum Paderborn</i>. 2001;4:24-29.","mla":"Engels, Gregor, et al. “Modelle Für Automobile Software - Objektorientierte Modellierung von Eingebetteten, Interaktiven Softwaresystemen Im Automobil.” <i>Forschungsforum Paderborn</i>, vol. 4, 2001, pp. 24–29.","short":"G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.","bibtex":"@article{Engels_Gaulke_Sauer_2001, title={Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}, volume={4}, journal={Forschungsforum Paderborn}, author={Engels, Gregor and Gaulke, Jens and Sauer, Stefan}, year={2001}, pages={24–29} }","apa":"Engels, G., Gaulke, J., &#38; Sauer, S. (2001). Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil. <i>Forschungsforum Paderborn</i>, <i>4</i>, 24–29."},"page":"24-29","intvolume":"         4","date_updated":"2022-01-06T07:03:36Z","date_created":"2019-01-31T15:42:58Z","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Jens","last_name":"Gaulke","full_name":"Gaulke, Jens"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"volume":4,"title":"Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil","type":"journal_article","publication":"Forschungsforum Paderborn","abstract":[{"lang":"ger","text":"Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen, die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein einheitliches Verständnis des Modells ermöglicht."}],"status":"public","_id":"7395","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"status":"public","publication":"Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8355","citation":{"ama":"Lohmann M, Wagner A. Using an XML-capable mailtool for the communication in software development projects. In: <i>Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada)</i>. ; 2001.","ieee":"M. Lohmann and A. Wagner, “Using an XML-capable mailtool for the communication in software development projects,” in <i>Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)</i>, 2001.","chicago":"Lohmann, Marc, and Annika Wagner. “Using an XML-Capable Mailtool for the Communication in Software Development Projects.” In <i>Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada)</i>, 2001.","apa":"Lohmann, M., &#38; Wagner, A. (2001). Using an XML-capable mailtool for the communication in software development projects. In <i>Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)</i>.","bibtex":"@inproceedings{Lohmann_Wagner_2001, title={Using an XML-capable mailtool for the communication in software development projects}, booktitle={Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)}, author={Lohmann, Marc and Wagner, Annika}, year={2001} }","mla":"Lohmann, Marc, and Annika Wagner. “Using an XML-Capable Mailtool for the Communication in Software Development Projects.” <i>Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada)</i>, 2001.","short":"M. Lohmann, A. Wagner, in: Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada), 2001."},"year":"2001","title":"Using an XML-capable mailtool for the communication in software development projects","date_created":"2019-03-06T11:12:46Z","author":[{"last_name":"Lohmann","full_name":"Lohmann, Marc","first_name":"Marc"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"date_updated":"2022-01-06T07:03:53Z"},{"department":[{"_id":"66"}],"user_id":"52534","date_created":"2019-03-06T11:12:47Z","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"},{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"}],"_id":"8356","date_updated":"2022-01-06T07:03:53Z","language":[{"iso":"eng"}],"title":"Using UML models for the Description of Concurrent Behavior in Component Interfaces","publication":"Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)","type":"conference","status":"public","citation":{"ama":"Schattkowsky T, Mehner K, Depke R. Using UML models for the Description of Concurrent Behavior in Component Interfaces. In: <i>Proceedings of the Workshop on Concurrency Issues of the UML (Satellite Event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>. ; 2001.","chicago":"Schattkowsky, Tim, Katharina Mehner, and Ralph Depke. “Using UML Models for the Description of Concurrent Behavior in Component Interfaces.” In <i>Proceedings of the Workshop on Concurrency Issues of the UML (Satellite Event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>, 2001.","ieee":"T. Schattkowsky, K. Mehner, and R. Depke, “Using UML models for the Description of Concurrent Behavior in Component Interfaces,” in <i>Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>, 2001.","apa":"Schattkowsky, T., Mehner, K., &#38; Depke, R. (2001). Using UML models for the Description of Concurrent Behavior in Component Interfaces. In <i>Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>.","mla":"Schattkowsky, Tim, et al. “Using UML Models for the Description of Concurrent Behavior in Component Interfaces.” <i>Proceedings of the Workshop on Concurrency Issues of the UML (Satellite Event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>, 2001.","short":"T. Schattkowsky, K. Mehner, R. Depke, in: Proceedings of the Workshop on Concurrency Issues of the UML (Satellite Event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada), 2001.","bibtex":"@inproceedings{Schattkowsky_Mehner_Depke_2001, title={Using UML models for the Description of Concurrent Behavior in Component Interfaces}, booktitle={Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)}, author={Schattkowsky, Tim and Mehner, Katharina and Depke, Ralph}, year={2001} }"},"year":"2001"},{"title":"Agent-oriented Modeling with Graph Transformation","doi":"http://dx.doi.org/10.1007/3-540-44564-1_7","date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","date_created":"2019-03-06T11:12:49Z","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"volume":1957,"place":"Berlin/Heidelberg","year":"2001","citation":{"ieee":"R. Depke, R. Heckel, and J. Küster, “Agent-oriented Modeling with Graph Transformation,” in <i>Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)</i>, 2001, vol. 1957, pp. 105–120.","chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Agent-Oriented Modeling with Graph Transformation.” In <i>Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland)</i>, 1957:105–20. LNCS. Berlin/Heidelberg: Springer, 2001. <a href=\"http://dx.doi.org/10.1007/3-540-44564-1_7\">http://dx.doi.org/10.1007/3-540-44564-1_7</a>.","ama":"Depke R, Heckel R, Küster J. Agent-oriented Modeling with Graph Transformation. In: <i>Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland)</i>. Vol 1957. LNCS. Berlin/Heidelberg: Springer; 2001:105-120. doi:<a href=\"http://dx.doi.org/10.1007/3-540-44564-1_7\">http://dx.doi.org/10.1007/3-540-44564-1_7</a>","apa":"Depke, R., Heckel, R., &#38; Küster, J. (2001). Agent-oriented Modeling with Graph Transformation. In <i>Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)</i> (Vol. 1957, pp. 105–120). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-44564-1_7\">http://dx.doi.org/10.1007/3-540-44564-1_7</a>","bibtex":"@inproceedings{Depke_Heckel_Küster_2001, place={Berlin/Heidelberg}, series={LNCS}, title={Agent-oriented Modeling with Graph Transformation}, volume={1957}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-44564-1_7\">http://dx.doi.org/10.1007/3-540-44564-1_7</a>}, booktitle={Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)}, publisher={Springer}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={105–120}, collection={LNCS} }","short":"R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.","mla":"Depke, Ralph, et al. “Agent-Oriented Modeling with Graph Transformation.” <i>Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland)</i>, vol. 1957, Springer, 2001, pp. 105–20, doi:<a href=\"http://dx.doi.org/10.1007/3-540-44564-1_7\">http://dx.doi.org/10.1007/3-540-44564-1_7</a>."},"page":"105-120","intvolume":"      1957","language":[{"iso":"eng"}],"_id":"8357","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)"},{"_id":"8358","department":[{"_id":"66"}],"user_id":"52534","series_title":"Technical Report","language":[{"iso":"eng"}],"publication":"Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)","type":"conference","status":"public","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"}],"date_created":"2019-03-06T11:12:50Z","title":"\"Separation of Concern\" mit Rollen, Subjekten und Aspekten","issue":"tr-ri-01-223","year":"2001","page":"1-7","citation":{"bibtex":"@inproceedings{Depke_Mehner_2001, series={Technical Report}, title={“Separation of Concern” mit Rollen, Subjekten und Aspekten}, number={tr-ri-01-223}, booktitle={Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)}, publisher={Universität Paderborn}, author={Depke, Ralph and Mehner, Katharina}, year={2001}, pages={1–7}, collection={Technical Report} }","mla":"Depke, Ralph, and Katharina Mehner. “‘Separation of Concern’ Mit Rollen, Subjekten Und Aspekten.” <i>Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)</i>, no. tr-ri-01-223, Universität Paderborn, 2001, pp. 1–7.","short":"R. Depke, K. Mehner, in: Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), Universität Paderborn, 2001, pp. 1–7.","apa":"Depke, R., &#38; Mehner, K. (2001). “Separation of Concern” mit Rollen, Subjekten und Aspekten. In <i>Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)</i> (pp. 1–7). Universität Paderborn.","ama":"Depke R, Mehner K. “Separation of Concern” mit Rollen, Subjekten und Aspekten. In: <i>Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)</i>. Technical Report. Universität Paderborn; 2001:1-7.","chicago":"Depke, Ralph, and Katharina Mehner. “‘Separation of Concern’ Mit Rollen, Subjekten Und Aspekten.” In <i>Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)</i>, 1–7. Technical Report. Universität Paderborn, 2001.","ieee":"R. Depke and K. Mehner, “‘Separation of Concern’ mit Rollen, Subjekten und Aspekten,” in <i>Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)</i>, 2001, no. tr-ri-01-223, pp. 1–7."}},{"language":[{"iso":"eng"}],"title":"Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models","department":[{"_id":"66"}],"author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"user_id":"52534","date_created":"2019-03-06T11:12:51Z","_id":"8359","date_updated":"2022-01-06T07:03:53Z","status":"public","citation":{"apa":"Engels, G., &#38; Küster, J. (2001). Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models. In <i>Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)</i>.","mla":"Engels, Gregor, and Jochen Küster. “Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models.” <i>Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada)</i>, 2001.","short":"G. Engels, J. Küster, in: Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada), 2001.","bibtex":"@inproceedings{Engels_Küster_2001, title={Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models}, booktitle={Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)}, author={Engels, Gregor and Küster, Jochen}, year={2001} }","ieee":"G. Engels and J. Küster, “Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models,” in <i>Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)</i>, 2001.","chicago":"Engels, Gregor, and Jochen Küster. “Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models.” In <i>Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada)</i>, 2001.","ama":"Engels G, Küster J. Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models. In: <i>Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada)</i>. ; 2001."},"year":"2001","publication":"Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)","type":"conference"},{"abstract":[{"text":"Although UMS sequence diagrams are widely used in practical software development, there is still a great demand for improvements. Their use both within and outside the standard interpretation of the UML specification is not seldom confused because different interpretations for sequence diagrams exist without means to distinguish between them. Furthermore, alternative sequence diagram notations with more syntactical features and different semantics still have a big influence and are readily used (explicitly as well as implicitly) alongside UML's sequence diagrams.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)","language":[{"iso":"eng"}],"_id":"8360","series_title":"Lecture Notes in Informatics","user_id":"52534","department":[{"_id":"66"}],"year":"2001","place":"Bonn","citation":{"ieee":"J. Hendrik Hausmann, J. Küster, and S. Sauer, “Identifiying Semantic Dimensions of (UML) Sequence Diagrams,” in <i>Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)</i>, 2001, vol. 7, pp. 142–157.","chicago":"Hendrik Hausmann, Jan, Jochen Küster, and Stefan Sauer. “Identifiying Semantic Dimensions of (UML) Sequence Diagrams.” In <i>Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada)</i>, 7:142–57. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2001.","ama":"Hendrik Hausmann J, Küster J, Sauer S. Identifiying Semantic Dimensions of (UML) Sequence Diagrams. In: <i>Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada)</i>. Vol 7. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2001:142-157.","apa":"Hendrik Hausmann, J., Küster, J., &#38; Sauer, S. (2001). Identifiying Semantic Dimensions of (UML) Sequence Diagrams. In <i>Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)</i> (Vol. 7, pp. 142–157). Bonn: Gesellschaft für Informatik (GI).","mla":"Hendrik Hausmann, Jan, et al. “Identifiying Semantic Dimensions of (UML) Sequence Diagrams.” <i>Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada)</i>, vol. 7, Gesellschaft für Informatik (GI), 2001, pp. 142–57.","bibtex":"@inproceedings{Hendrik Hausmann_Küster_Sauer_2001, place={Bonn}, series={Lecture Notes in Informatics}, title={Identifiying Semantic Dimensions of (UML) Sequence Diagrams}, volume={7}, booktitle={Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)}, publisher={Gesellschaft für Informatik (GI)}, author={Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}, year={2001}, pages={142–157}, collection={Lecture Notes in Informatics} }","short":"J. Hendrik Hausmann, J. Küster, S. Sauer, in: Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157."},"page":"142-157","intvolume":"         7","title":"Identifiying Semantic Dimensions of (UML) Sequence Diagrams","date_updated":"2022-01-06T07:03:53Z","publisher":"Gesellschaft für Informatik (GI)","date_created":"2019-03-06T11:12:52Z","author":[{"first_name":"Jan","last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan"},{"first_name":"Jochen","full_name":"Küster, Jochen","last_name":"Küster"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"volume":7},{"citation":{"chicago":"Heckel, Reiko, and Jochen Küster. “Behavioral Constraints for Visual Models.” In <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece)</i>, Vol. 50. Electronic Notes in Theoretical Computer Science. Elsevier, 2001. <a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X\">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X</a>.","ieee":"R. Heckel and J. Küster, “Behavioral Constraints for Visual Models,” in <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)</i>, 2001, vol. 50, no. 3.","ama":"Heckel R, Küster J. Behavioral Constraints for Visual Models. In: <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece)</i>. Vol 50. Electronic Notes in Theoretical Computer Science. Elsevier; 2001. doi:<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X\">dx.doi.org/10.1016/S1571-0661(04)00177-X</a>","apa":"Heckel, R., &#38; Küster, J. (2001). Behavioral Constraints for Visual Models. In <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)</i> (Vol. 50). Elsevier. <a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X\">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X</a>","bibtex":"@inproceedings{Heckel_Küster_2001, series={Electronic Notes in Theoretical Computer Science}, title={Behavioral Constraints for Visual Models}, volume={50}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X\">dx.doi.org/10.1016/S1571-0661(04)00177-X</a>}, number={3}, booktitle={Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)}, publisher={Elsevier}, author={Heckel, Reiko and Küster, Jochen}, year={2001}, collection={Electronic Notes in Theoretical Computer Science} }","mla":"Heckel, Reiko, and Jochen Küster. “Behavioral Constraints for Visual Models.” <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece)</i>, vol. 50, no. 3, Elsevier, 2001, doi:<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X\">dx.doi.org/10.1016/S1571-0661(04)00177-X</a>.","short":"R. Heckel, J. Küster, in: Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece), Elsevier, 2001."},"intvolume":"        50","year":"2001","issue":"3","doi":"dx.doi.org/10.1016/S1571-0661(04)00177-X","title":"Behavioral Constraints for Visual Models","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"date_created":"2019-03-06T11:12:53Z","volume":50,"publisher":"Elsevier","date_updated":"2022-01-06T07:03:53Z","status":"public","type":"conference","publication":"Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)","language":[{"iso":"eng"}],"series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","department":[{"_id":"66"}],"_id":"8361"},{"language":[{"iso":"eng"}],"title":"Visualization and Debugging of Concurrent Java Programs with UML","department":[{"_id":"66"}],"date_created":"2019-03-06T11:12:55Z","user_id":"52534","author":[{"last_name":"Mehner","full_name":"Mehner, Katharina","first_name":"Katharina"},{"first_name":"Bernd","full_name":"Weymann, Bernd","last_name":"Weymann"}],"_id":"8362","date_updated":"2022-01-06T07:03:53Z","status":"public","citation":{"short":"K. Mehner, B. Weymann, in: Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada), 2001.","bibtex":"@inproceedings{Mehner_Weymann_2001, title={Visualization and Debugging of Concurrent Java Programs with UML}, booktitle={Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)}, author={Mehner, Katharina and Weymann, Bernd}, year={2001} }","mla":"Mehner, Katharina, and Bernd Weymann. “Visualization and Debugging of Concurrent Java Programs with UML.” <i>Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)</i>, 2001.","apa":"Mehner, K., &#38; Weymann, B. (2001). Visualization and Debugging of Concurrent Java Programs with UML. In <i>Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)</i>.","ama":"Mehner K, Weymann B. Visualization and Debugging of Concurrent Java Programs with UML. In: <i>Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)</i>. ; 2001.","chicago":"Mehner, Katharina, and Bernd Weymann. “Visualization and Debugging of Concurrent Java Programs with UML.” In <i>Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)</i>, 2001.","ieee":"K. Mehner and B. Weymann, “Visualization and Debugging of Concurrent Java Programs with UML,” in <i>Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)</i>, 2001."},"year":"2001","publication":"Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)","type":"conference"},{"type":"conference_editor","editor":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"first_name":"H.-J.","last_name":"Kreowksi","full_name":"Kreowksi, H.-J."},{"first_name":"Gabriele","last_name":"Taentzer","full_name":"Taentzer, Gabriele"}],"status":"public","_id":"7790","department":[{"_id":"66"}],"series_title":"Science of Computer Programming","user_id":"52534","language":[{"iso":"eng"}],"issue":"2","year":"2000","place":"Amsterdam, The Netherlands","intvolume":"        44","citation":{"ama":"Ehrig H, Engels G, Kreowksi H-J, Taentzer G, eds. <i>Special Issue: Selected Papers of GRATRA 2000</i>. Vol 44. Amsterdam, The Netherlands: Elsevier; 2000.","chicago":"Ehrig, Hartmut, Gregor Engels, H.-J. Kreowksi, and Gabriele Taentzer, eds. <i>Special Issue: Selected Papers of GRATRA 2000</i>. Vol. 44. Science of Computer Programming. Amsterdam, The Netherlands: Elsevier, 2000.","ieee":"H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., <i>Special Issue: Selected Papers of GRATRA 2000</i>, vol. 44, no. 2. Amsterdam, The Netherlands: Elsevier, 2000.","mla":"Ehrig, Hartmut, et al., editors. <i>Special Issue: Selected Papers of GRATRA 2000</i>. Vol. 44, no. 2, Elsevier, 2000.","bibtex":"@book{Ehrig_Engels_Kreowksi_Taentzer_2000, place={Amsterdam, The Netherlands}, series={Science of Computer Programming}, title={Special Issue: Selected Papers of GRATRA 2000}, volume={44}, number={2}, publisher={Elsevier}, year={2000}, collection={Science of Computer Programming} }","short":"H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.","apa":"Ehrig, H., Engels, G., Kreowksi, H.-J., &#38; Taentzer, G. (Eds.). (2000). <i>Special Issue: Selected Papers of GRATRA 2000</i> (Vol. 44). Amsterdam, The Netherlands: Elsevier."},"publisher":"Elsevier","date_updated":"2022-01-06T07:03:46Z","volume":44,"date_created":"2019-02-19T19:12:26Z","title":"Special Issue: Selected Papers of GRATRA 2000"}]