[{"type":"conference","publication":"Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)","status":"public","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"7923","language":[{"iso":"eng"}],"citation":{"bibtex":"@inproceedings{Cherchago_Heckel_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Specification Matching of Web Services Using Conditional Graph Transformation Rules}, volume={3256 / 2004}, DOI={<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>}, booktitle={Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)}, publisher={Springer}, author={Cherchago, Alexey and Heckel, Reiko}, year={2004}, pages={304–318}, collection={LNCS} }","short":"A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.","mla":"Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services Using Conditional Graph Transformation Rules.” <i>Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>, vol. 3256 / 2004, Springer, 2004, pp. 304–18, doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>.","apa":"Cherchago, A., &#38; Heckel, R. (2004). Specification Matching of Web Services Using Conditional Graph Transformation Rules. In <i>Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)</i> (Vol. 3256 / 2004, pp. 304–318). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>","ama":"Cherchago A, Heckel R. Specification Matching of Web Services Using Conditional Graph Transformation Rules. In: <i>Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>. Vol 3256 / 2004. LNCS. Berlin/Heidelberg: Springer; 2004:304-318. doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>","ieee":"A. Cherchago and R. Heckel, “Specification Matching of Web Services Using Conditional Graph Transformation Rules,” in <i>Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>, 2004, vol. 3256 / 2004, pp. 304–318.","chicago":"Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services Using Conditional Graph Transformation Rules.” In <i>Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>, 3256 / 2004:304–18. LNCS. Berlin/Heidelberg: Springer, 2004. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>."},"page":"304-318","place":"Berlin/Heidelberg","year":"2004","author":[{"first_name":"Alexey","full_name":"Cherchago, Alexey","last_name":"Cherchago"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_created":"2019-02-21T11:26:28Z","volume":"3256 / 2004","publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","doi":"http://dx.doi.org/10.1007/b100934","title":"Specification Matching of Web Services Using Conditional Graph Transformation Rules"},{"title":"Automated Data and Service Mapping for Integrated Electronic Markets","author":[{"first_name":"Stefan","full_name":"Böttcher, Stefan","last_name":"Böttcher"},{"full_name":"Groppe, Sven","last_name":"Groppe","first_name":"Sven"},{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"}],"date_created":"2019-02-21T11:27:02Z","date_updated":"2022-01-06T07:03:48Z","citation":{"ama":"Böttcher S, Groppe S, Schattkowsky T. Automated Data and Service Mapping for Integrated Electronic Markets. In: <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>. ; 2004.","chicago":"Böttcher, Stefan, Sven Groppe, and Tim Schattkowsky. “Automated Data and Service Mapping for Integrated Electronic Markets.” In <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","ieee":"S. Böttcher, S. Groppe, and T. Schattkowsky, “Automated Data and Service Mapping for Integrated Electronic Markets,” in <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","apa":"Böttcher, S., Groppe, S., &#38; Schattkowsky, T. (2004). Automated Data and Service Mapping for Integrated Electronic Markets. In <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>.","bibtex":"@inproceedings{Böttcher_Groppe_Schattkowsky_2004, title={Automated Data and Service Mapping for Integrated Electronic Markets}, booktitle={Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, author={Böttcher, Stefan and Groppe, Sven and Schattkowsky, Tim}, year={2004} }","mla":"Böttcher, Stefan, et al. “Automated Data and Service Mapping for Integrated Electronic Markets.” <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","short":"S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004."},"year":"2004","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7924","status":"public","publication":"Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)","type":"conference"},{"year":"2004","page":"101-112","citation":{"apa":"Eden, J., Weber, M., Reiser, M.-O., Wierczoch, T., Freund, U., Gurrieri, O., … Migge, J. (2004). An Architecture Description Language for Developing Automotive ECU-Software. In <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i> (pp. 101–112).","bibtex":"@inproceedings{Eden_Weber_Reiser_Wierczoch_Freund_Gurrieri_Küster_Lönn_Migge_2004, title={An Architecture Description Language for Developing Automotive ECU-Software}, booktitle={Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)}, author={Eden, Jonas and Weber, Matthias and Reiser, Mark-Oliver and Wierczoch, Thomas and Freund, Ulrich and Gurrieri, Orazio and Küster, Jochen and Lönn, Henrik and Migge, Jörn}, year={2004}, pages={101–112} }","short":"J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J. Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.","mla":"Eden, Jonas, et al. “An Architecture Description Language for Developing Automotive ECU-Software.” <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>, 2004, pp. 101–12.","chicago":"Eden, Jonas, Matthias Weber, Mark-Oliver Reiser, Thomas Wierczoch, Ulrich Freund, Orazio Gurrieri, Jochen Küster, Henrik Lönn, and Jörn Migge. “An Architecture Description Language for Developing Automotive ECU-Software.” In <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>, 101–12, 2004.","ieee":"J. Eden <i>et al.</i>, “An Architecture Description Language for Developing Automotive ECU-Software,” in <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>, 2004, pp. 101–112.","ama":"Eden J, Weber M, Reiser M-O, et al. An Architecture Description Language for Developing Automotive ECU-Software. In: <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>. ; 2004:101-112."},"date_updated":"2022-01-06T07:03:48Z","author":[{"last_name":"Eden","full_name":"Eden, Jonas","first_name":"Jonas"},{"full_name":"Weber, Matthias","last_name":"Weber","first_name":"Matthias"},{"full_name":"Reiser, Mark-Oliver","last_name":"Reiser","first_name":"Mark-Oliver"},{"full_name":"Wierczoch, Thomas","last_name":"Wierczoch","first_name":"Thomas"},{"first_name":"Ulrich","last_name":"Freund","full_name":"Freund, Ulrich"},{"full_name":"Gurrieri, Orazio","last_name":"Gurrieri","first_name":"Orazio"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Henrik","full_name":"Lönn, Henrik","last_name":"Lönn"},{"first_name":"Jörn","full_name":"Migge, Jörn","last_name":"Migge"}],"date_created":"2019-02-21T11:27:37Z","title":"An Architecture Description Language for Developing Automotive ECU-Software","publication":"Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)","type":"conference","status":"public","_id":"7925","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"doi":"http://dx.doi.org/10.1142/S021819400400183X","title":"Guest Editors' Introduction","volume":14,"author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"date_created":"2019-02-21T11:28:11Z","publisher":"World Scientific Publishing","date_updated":"2022-01-06T07:03:48Z","page":"543-544","intvolume":"        14","citation":{"ama":"Engels G, Sauer S. Guest Editors’ Introduction. In: <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>. Vol 14. World Scientific Publishing; 2004:543-544. doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","chicago":"Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” In <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 14:543–44. World Scientific Publishing, 2004. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","ieee":"G. Engels and S. Sauer, “Guest Editors’ Introduction,” in <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 2004, vol. 14, no. 6, pp. 543–544.","mla":"Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 14, no. 6, World Scientific Publishing, 2004, pp. 543–44, doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","short":"G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.","bibtex":"@inproceedings{Engels_Sauer_2004, title={Guest Editors’ Introduction}, volume={14}, DOI={<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>}, number={6}, booktitle={International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}, publisher={World Scientific Publishing}, author={Engels, Gregor and Sauer, Stefan}, year={2004}, pages={543–544} }","apa":"Engels, G., &#38; Sauer, S. (2004). Guest Editors’ Introduction. In <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i> (Vol. 14, pp. 543–544). World Scientific Publishing. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>"},"year":"2004","issue":"6","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7926","status":"public","publication":"International Journal of Software Engineering and Knowledge Engineering (IJSEKE)","type":"conference"},{"status":"public","publication":"Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)","type":"conference","language":[{"iso":"eng"}],"_id":"7927","department":[{"_id":"66"}],"user_id":"52534","place":"Washington, DC, USA","year":"2004","page":"430-433","citation":{"apa":"Guo, P., &#38; Heckel, R. (2004). Modeling and Simulation of Context-Aware Mobile Systems. In <i>Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)</i> (pp. 430–433). Washington, DC, USA: IEEE Computer Society.","bibtex":"@inproceedings{Guo_Heckel_2004, place={Washington, DC, USA}, title={Modeling and Simulation of Context-Aware Mobile Systems}, booktitle={Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)}, publisher={IEEE Computer Society}, author={Guo, Ping and Heckel, Reiko}, year={2004}, pages={430–433} }","short":"P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 430–433.","mla":"Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware Mobile Systems.” <i>Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004)</i>, IEEE Computer Society, 2004, pp. 430–33.","ieee":"P. Guo and R. Heckel, “Modeling and Simulation of Context-Aware Mobile Systems,” in <i>Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)</i>, 2004, pp. 430–433.","chicago":"Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware Mobile Systems.” In <i>Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004)</i>, 430–33. Washington, DC, USA: IEEE Computer Society, 2004.","ama":"Guo P, Heckel R. Modeling and Simulation of Context-Aware Mobile Systems. In: <i>Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004)</i>. Washington, DC, USA: IEEE Computer Society; 2004:430-433."},"title":"Modeling and Simulation of Context-Aware Mobile Systems","date_updated":"2022-01-06T07:03:48Z","publisher":"IEEE Computer Society","author":[{"first_name":"Ping","full_name":"Guo, Ping","last_name":"Guo"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_created":"2019-02-21T11:28:49Z"},{"type":"conference","publication":"Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)","status":"public","user_id":"52534","department":[{"_id":"66"}],"_id":"7928","language":[{"iso":"eng"}],"citation":{"apa":"Guo, P., &#38; Heckel, R. (2004). Simulation and Testing of Mobile Computing Systems using Fujaba. In <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>. Darmstadt, Germany.","bibtex":"@inproceedings{Guo_Heckel_2004, place={Darmstadt, Germany}, title={Simulation and Testing of Mobile Computing Systems using Fujaba}, booktitle={Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)}, author={Guo, Ping and Heckel, Reiko}, year={2004} }","short":"P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.","mla":"Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing Systems Using Fujaba.” <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>, 2004.","chicago":"Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing Systems Using Fujaba.” In <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>. Darmstadt, Germany, 2004.","ieee":"P. Guo and R. Heckel, “Simulation and Testing of Mobile Computing Systems using Fujaba,” in <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>, 2004.","ama":"Guo P, Heckel R. Simulation and Testing of Mobile Computing Systems using Fujaba. In: <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>. Darmstadt, Germany; 2004."},"place":"Darmstadt, Germany","year":"2004","author":[{"first_name":"Ping","full_name":"Guo, Ping","last_name":"Guo"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"date_created":"2019-02-21T11:29:13Z","date_updated":"2022-01-06T07:03:48Z","title":"Simulation and Testing of Mobile Computing Systems using Fujaba"},{"page":"1392-1393","intvolume":"         2","citation":{"short":"T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>, vol. 2, IEEE Computer Society, 2004, pp. 1392–93, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, volume={2}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>}, booktitle={Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004}, pages={1392–1393} }","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. In <i>Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i> (Vol. 2, pp. 1392–1393). Los Alamitos, CA, USA: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>","ama":"Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>. Vol 2. Los Alamitos, CA, USA: IEEE Computer Society; 2004:1392-1393. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>, 2:1392–93. Los Alamitos, CA, USA: IEEE Computer Society, 2004. <a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” in <i>Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>, 2004, vol. 2, pp. 1392–1393."},"place":"Los Alamitos, CA, USA","year":"2004","volume":2,"date_created":"2019-02-21T11:29:52Z","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller"}],"publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:48Z","doi":"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103","title":"Model-Based Specification and Execution of Embedded Real-Time Systems","publication":"Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"7929","language":[{"iso":"eng"}]},{"date_created":"2019-02-21T11:30:21Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"}],"user_id":"52534","department":[{"_id":"66"}],"date_updated":"2022-01-06T07:03:48Z","_id":"7930","language":[{"iso":"eng"}],"title":"Direct Execution of UML 2.0 Sequence Diagrams","type":"conference","publication":"Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)","citation":{"apa":"Schattkowsky, T. (2004). Direct Execution of UML 2.0 Sequence Diagrams. In <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>.","short":"T. Schattkowsky, in: Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.","bibtex":"@inproceedings{Schattkowsky_2004, title={Direct Execution of UML 2.0 Sequence Diagrams}, booktitle={Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2004} }","mla":"Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>, 2004.","ieee":"T. Schattkowsky, “Direct Execution of UML 2.0 Sequence Diagrams,” in <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>, 2004.","chicago":"Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” In <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>, 2004.","ama":"Schattkowsky T. Direct Execution of UML 2.0 Sequence Diagrams. In: <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>. ; 2004."},"status":"public","year":"2004"},{"type":"conference","publication":"Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)","status":"public","_id":"7931","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"year":"2004","citation":{"short":"T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.","bibtex":"@inproceedings{Schattkowsky_2004, title={Efficient Execution of UML State Machines on a Virtual Machine}, booktitle={Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2004} }","mla":"Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual Machine.” <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","apa":"Schattkowsky, T. (2004). Efficient Execution of UML State Machines on a Virtual Machine. In <i>Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>.","ama":"Schattkowsky T. Efficient Execution of UML State Machines on a Virtual Machine. In: <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>. ; 2004.","chicago":"Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual Machine.” In <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","ieee":"T. Schattkowsky, “Efficient Execution of UML State Machines on a Virtual Machine,” in <i>Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004."},"date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"}],"date_created":"2019-02-21T11:30:50Z","title":"Efficient Execution of UML State Machines on a Virtual Machine"},{"_id":"7932","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the IEEE International Conference on Web Services (ICWS 2004)","type":"conference","status":"public","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:48Z","date_created":"2019-02-21T11:31:16Z","author":[{"first_name":"Jan","last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Lohmann","full_name":"Lohmann, Marc","first_name":"Marc"}],"title":"Model-based Discovery of Web Services","doi":"http://dx.doi.org/10.1109/ICWS.2004.80","place":"Washington, DC, USA","year":"2004","page":"324-331","citation":{"mla":"Hendrik Hausmann, Jan, et al. “Model-Based Discovery of Web Services.” <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>, IEEE Computer Society, 2004, pp. 324–31, doi:<a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>.","short":"J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 324–331.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Lohmann_2004, place={Washington, DC, USA}, title={Model-based Discovery of Web Services}, DOI={<a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>}, booktitle={Proceedings of the IEEE International Conference on Web Services (ICWS 2004)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}, year={2004}, pages={324–331} }","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Lohmann, M. (2004). Model-based Discovery of Web Services. In <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i> (pp. 324–331). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>","ama":"Hendrik Hausmann J, Heckel R, Lohmann M. Model-based Discovery of Web Services. In: <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>. Washington, DC, USA: IEEE Computer Society; 2004:324-331. doi:<a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Marc Lohmann. “Model-Based Discovery of Web Services.” In <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>, 324–31. Washington, DC, USA: IEEE Computer Society, 2004. <a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>.","ieee":"J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based Discovery of Web Services,” in <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>, 2004, pp. 324–331."}},{"language":[{"iso":"eng"}],"_id":"7933","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)","title":"Peer-to-Peer-based Web Services for Collaborative Engineering Environments","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Loeser, Christoph","last_name":"Loeser","first_name":"Christoph"},{"last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_created":"2019-02-21T11:31:58Z","place":"Los Alamitos, CA, USA","year":"2004","citation":{"chicago":"Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-to-Peer-Based Web Services for Collaborative Engineering Environments.” In <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>. Los Alamitos, CA, USA: IEEE Computer Society, 2004.","ieee":"T. Schattkowsky, C. Loeser, and W. Müller, “Peer-to-Peer-based Web Services for Collaborative Engineering Environments,” in <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>, 2004.","ama":"Schattkowsky T, Loeser C, Müller W. Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In: <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2004.","short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, Los Alamitos, CA, USA, 2004.","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Los Alamitos, CA, USA}, title={Peer-to-Peer-based Web Services for Collaborative Engineering Environments}, booktitle={Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Loeser, Christoph and Müller, Wolfgang}, year={2004} }","mla":"Schattkowsky, Tim, et al. “Peer-to-Peer-Based Web Services for Collaborative Engineering Environments.” <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>, IEEE Computer Society, 2004.","apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>. Los Alamitos, CA, USA: IEEE Computer Society."}},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7382","status":"public","abstract":[{"text":"UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.","lang":"eng"}],"publication":"Software and Systems Modeling","type":"journal_article","title":"Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams","volume":3,"author":[{"last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan","first_name":"Jan"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"}],"date_created":"2019-01-31T15:33:39Z","date_updated":"2022-01-06T07:03:36Z","intvolume":"         3","page":"181-193","citation":{"apa":"Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2004). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>, <i>3</i>(3), 181–193.","bibtex":"@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3}, number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }","short":"J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.","mla":"Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i>, vol. 3, no. 3, 2004, pp. 181–93.","ieee":"J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” <i>Software and Systems Modeling</i>, vol. 3, no. 3, pp. 181–193, 2004.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i> 3, no. 3 (2004): 181–93.","ama":"Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>. 2004;3(3):181-193."},"year":"2004","issue":"3"},{"publication":"UML-B System Specification for Proven Electronic Design","type":"book_chapter","editor":[{"first_name":"J. ","full_name":"Mermet, J. ","last_name":"Mermet"}],"abstract":[{"text":"We present the adaptive cruise controller case study for B modelling and the model checking by RAVEN. Individual translations of B operations, data types, and invariants to the RAVEN Input Language are presented by the example of the case study.","lang":"eng"}],"status":"public","_id":"7533","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"2004","place":"Dordrecht","citation":{"apa":"Krupp, A., Lundkvist, O., Schattkowsky, T., &#38; Snook, C. (2004). Adaptive Cruise Controller Case Study. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i>. Dordrecht: Kluwer.","short":"A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.","mla":"Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J.  Mermet, Kluwer, 2004.","bibtex":"@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist, Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004} }","chicago":"Krupp, Alexander, Ola Lundkvist, Tim Schattkowsky, and Colin Snook. “Adaptive Cruise Controller Case Study.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J.  Mermet. Dordrecht: Kluwer, 2004.","ieee":"A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller Case Study,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004.","ama":"Krupp A, Lundkvist O, Schattkowsky T, Snook C. Adaptive Cruise Controller Case Study. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Dordrecht: Kluwer; 2004."},"date_updated":"2022-01-06T07:03:39Z","publisher":"Kluwer","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"full_name":"Lundkvist, Ola","last_name":"Lundkvist","first_name":"Ola"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"last_name":"Snook","full_name":"Snook, Colin","first_name":"Colin"}],"date_created":"2019-02-05T12:10:31Z","title":"Adaptive Cruise Controller Case Study"},{"citation":{"apa":"Schattkowsky, T., Mueller, W., &#38; Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), <i>Workflow Handbook 2004</i> (pp. 5–14). Lighthouse Point, FL: Workflow Management Coalition.","short":"T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.","mla":"Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” <i>Workflow Handbook 2004</i>, edited by L.  Fischer, Workflow Management Coalition, 2004, pp. 5–14.","bibtex":"@inbook{Schattkowsky_Mueller_Pawlak_2004, place={Lighthouse Point, FL}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition}, author={Schattkowsky, Tim and Mueller, Wolfgang and Pawlak, Adam}, editor={Fischer, L. Editor}, year={2004}, pages={5–14} }","ama":"Schattkowsky T, Mueller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. <i>Workflow Handbook 2004</i>. Lighthouse Point, FL: Workflow Management Coalition; 2004:5-14.","chicago":"Schattkowsky, Tim, Wolfgang Mueller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In <i>Workflow Handbook 2004</i>, edited by L.  Fischer, 5–14. Lighthouse Point, FL: Workflow Management Coalition, 2004.","ieee":"T. Schattkowsky, W. Mueller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in <i>Workflow Handbook 2004</i>, L. Fischer, Ed. Lighthouse Point, FL: Workflow Management Coalition, 2004, pp. 5–14."},"page":"5-14","place":"Lighthouse Point, FL","year":"2004","title":"Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Wolfgang","full_name":"Mueller, Wolfgang","last_name":"Mueller"},{"first_name":"Adam","last_name":"Pawlak","full_name":"Pawlak, Adam"}],"date_created":"2019-02-05T12:11:41Z","publisher":"Workflow Management Coalition","date_updated":"2022-01-06T07:03:39Z","status":"public","abstract":[{"lang":"eng","text":"This article presents the E-COLLEG Tool Registration and Management Services (TRMS) with open XML-based data exchange, tool integration and remote invocation capabilities. TRMS is a workflow management middleware tailored to distance spanning engineering collaboration and security enabled data exchange. The infrastructure is validated through two industrial Intranet-crossing case studies between Polish, French, and German chip manufacturing industries applying real-world development scenarios. In both application scenarios, common engineering practices have been identified and built into engineering workflows. Further, the current truly pan-European collaborative industrial scenarios show promising results with respect to the stability of the implemented software and easy application and flexibility of the provided interfaces."}],"editor":[{"first_name":"L. ","full_name":"Fischer, L. ","last_name":"Fischer"}],"type":"book_chapter","publication":"Workflow Handbook 2004","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7534"},{"year":"2004","citation":{"apa":"Küster, J. (2004). <i>Consistency Management of Object-Oriented Behavioral Models</i>.","short":"J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.","mla":"Küster, Jochen. <i>Consistency Management of Object-Oriented Behavioral Models</i>. 2004.","bibtex":"@book{Küster_2004, title={Consistency Management of Object-Oriented Behavioral Models}, author={Küster, Jochen}, year={2004} }","ama":"Küster J. <i>Consistency Management of Object-Oriented Behavioral Models</i>.; 2004.","chicago":"Küster, Jochen. <i>Consistency Management of Object-Oriented Behavioral Models</i>, 2004.","ieee":"J. Küster, <i>Consistency Management of Object-Oriented Behavioral Models</i>. 2004."},"date_updated":"2022-01-06T07:03:40Z","author":[{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"}],"date_created":"2019-02-06T14:27:54Z","title":"Consistency Management of Object-Oriented Behavioral Models","type":"dissertation","status":"public","_id":"7585","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"title":"Visuelle Modellierung agentenbasierter Systeme","date_updated":"2022-01-06T07:03:40Z","date_created":"2019-02-06T14:29:56Z","author":[{"first_name":"Ralph","full_name":"Depke, Ralph","last_name":"Depke"}],"year":"2004","citation":{"ieee":"R. Depke, <i>Visuelle Modellierung agentenbasierter Systeme</i>. 2004.","chicago":"Depke, Ralph. <i>Visuelle Modellierung Agentenbasierter Systeme</i>, 2004.","ama":"Depke R. <i>Visuelle Modellierung Agentenbasierter Systeme</i>.; 2004.","bibtex":"@book{Depke_2004, title={Visuelle Modellierung agentenbasierter Systeme}, author={Depke, Ralph}, year={2004} }","short":"R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.","mla":"Depke, Ralph. <i>Visuelle Modellierung Agentenbasierter Systeme</i>. 2004.","apa":"Depke, R. (2004). <i>Visuelle Modellierung agentenbasierter Systeme</i>."},"related_material":{"link":[{"relation":"confirmation","url":"http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20040101100"}]},"language":[{"iso":"eng"}],"_id":"7586","department":[{"_id":"66"}],"user_id":"52534","abstract":[{"text":"This dissertation describes an approach to the visual modeling of software systems which are composed of autonomous and proactive software entities interacting with their environment. These entities are named software agents. More and more software systems are distributed, dynamic and open with respect to their environment. Software agents shall ease the development of such systems. Agent based systems provide a modular structure. They are robust and can be adapted dynamically to changing requirements. The notion of software agent relies on the fundamental properties of autonomy, proactivity and structured interaction. According to these properties agents are distinguished from objects and components. For the development of agent based systems an appropriate modeling language and a process model describing the correct usage of the language are demanded. For both aspects only unsufficient or incomplete approaches exist. This thesis contributes to the solution in the following way: A new abstract and formal model of agent based systems shows, that the fundamental properties can be expressed precisely. Differently from existing models not only a single agent but a multi agent system can be modeled. The most important architectural models of agent-based systems are compatible with the abstract model. The rather restricted structure of the abstract model motivates the refinement by a model of coupled I/Oautomata. The Unified Modeling Language is widely used in industrial software development. Therefore, the new language AML (Agent Modeling Language) for the development of agent-based systems is defined as a UML profile. The semantics of AML models is defined in the semantic domain of graph transformation. The semantic domain is restricted to an adequate agent-oriented domain. There the constituents of the fundamental agent properties are defined. Agent based systems which are described using AML are shown to be compatible with I/O-automata model of multi agent systems. Constituents for proactivity are goals and strategies. In this thesis, it is shown that the reachability of goals through the application of strategies can be checked by applying a model checking method. The new process model APM describes, how the language AML can be applied to the modeling of agent-based systems.","lang":"eng"}],"status":"public","type":"dissertation"},{"year":"2004","citation":{"apa":"Sendall, S., Hauser, R., Koehler, J., Küster, J., &#38; Wahler, M. (2004). Understanding Model Transformation by Classification and Formalization. In <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>.","mla":"Sendall, Shane, et al. “Understanding Model Transformation by Classification and Formalization.” <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004.","short":"S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, in: Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada), 2004.","bibtex":"@inproceedings{Sendall_Hauser_Koehler_Küster_Wahler_2004, title={Understanding Model Transformation by Classification and Formalization}, booktitle={Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)}, author={Sendall, Shane and Hauser, Rainer and Koehler, Jana and Küster, Jochen and Wahler, Michael}, year={2004} }","ieee":"S. Sendall, R. Hauser, J. Koehler, J. Küster, and M. Wahler, “Understanding Model Transformation by Classification and Formalization,” in <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004.","chicago":"Sendall, Shane, Rainer Hauser, Jana Koehler, Jochen Küster, and Michael Wahler. “Understanding Model Transformation by Classification and Formalization.” In <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004.","ama":"Sendall S, Hauser R, Koehler J, Küster J, Wahler M. Understanding Model Transformation by Classification and Formalization. In: <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>. ; 2004."},"date_updated":"2022-01-06T07:03:54Z","author":[{"first_name":"Shane","last_name":"Sendall","full_name":"Sendall, Shane"},{"first_name":"Rainer","last_name":"Hauser","full_name":"Hauser, Rainer"},{"first_name":"Jana","full_name":"Koehler, Jana","last_name":"Koehler"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Michael","full_name":"Wahler, Michael","last_name":"Wahler"}],"date_created":"2019-03-06T11:28:52Z","title":"Understanding Model Transformation by Classification and Formalization","publication":"Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)","type":"conference","status":"public","_id":"8386","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"title":"Behavior-Preserving Refinement Relations between Dynamic Software Architectures","date_created":"2019-03-06T11:28:53Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Thöne","full_name":"Thöne, Sebastian","first_name":"Sebastian"}],"volume":3423,"publisher":"Springer","date_updated":"2022-01-06T07:03:54Z","citation":{"ama":"Heckel R, Thöne S. Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In: <i>Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>. Vol 3423. LNCS. Berlin/Heidelberg: Springer; 2004:1-27.","chicago":"Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations between Dynamic Software Architectures.” In <i>Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>, 3423:1–27. LNCS. Berlin/Heidelberg: Springer, 2004.","ieee":"R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between Dynamic Software Architectures,” in <i>Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>, 2004, vol. 3423, pp. 1–27.","short":"R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004, pp. 1–27.","mla":"Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations between Dynamic Software Architectures.” <i>Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>, vol. 3423, Springer, 2004, pp. 1–27.","bibtex":"@inproceedings{Heckel_Thöne_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Behavior-Preserving Refinement Relations between Dynamic Software Architectures}, volume={3423}, booktitle={Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Thöne, Sebastian}, year={2004}, pages={1–27}, collection={LNCS} }","apa":"Heckel, R., &#38; Thöne, S. (2004). Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In <i>Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i> (Vol. 3423, pp. 1–27). Berlin/Heidelberg: Springer."},"page":"1-27","intvolume":"      3423","year":"2004","place":"Berlin/Heidelberg","language":[{"iso":"eng"}],"user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"8387","status":"public","type":"conference","publication":"Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)"},{"publication":"Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"8388","language":[{"iso":"eng"}],"page":"37-49","intvolume":"       105","citation":{"ama":"Heckel R, Cherchago A, Lohmann M. A Formal Approach to Service Specification and Matching based on Graph Transformation. In: <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>. Vol 105. Elsevier; 2004:37-49. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>","chicago":"Heckel, Reiko, Alexey Cherchago, and Marc Lohmann. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” In <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, 105:37–49. Elsevier, 2004. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.","ieee":"R. Heckel, A. Cherchago, and M. Lohmann, “A Formal Approach to Service Specification and Matching based on Graph Transformation,” in <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, 2004, vol. 105, pp. 37–49.","bibtex":"@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach to Service Specification and Matching based on Graph Transformation}, volume={105}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>}, booktitle={Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy}, publisher={Elsevier}, author={Heckel, Reiko and Cherchago, Alexey and Lohmann, Marc}, year={2004}, pages={37–49} }","mla":"Heckel, Reiko, et al. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, vol. 105, Elsevier, 2004, pp. 37–49, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.","short":"R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.","apa":"Heckel, R., Cherchago, A., &#38; Lohmann, M. (2004). A Formal Approach to Service Specification and Matching based on Graph Transformation. In <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i> (Vol. 105, pp. 37–49). Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>"},"year":"2004","volume":105,"date_created":"2019-03-06T11:28:54Z","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Alexey","last_name":"Cherchago","full_name":"Cherchago, Alexey"},{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"}],"date_updated":"2022-01-06T07:03:54Z","publisher":"Elsevier","doi":"http://dx.doi.org/10.1016/j.entcs.2004.05.006","title":"A Formal Approach to Service Specification and Matching based on Graph Transformation"},{"publication":"Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)","type":"conference","year":"2004","status":"public","citation":{"bibtex":"@inproceedings{Küster_2004, title={Systematic Validation of Model Transformations}, booktitle={Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)}, author={Küster, Jochen}, year={2004} }","mla":"Küster, Jochen. “Systematic Validation of Model Transformations.” <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>, 2004.","short":"J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.","apa":"Küster, J. (2004). Systematic Validation of Model Transformations. In <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>.","ieee":"J. Küster, “Systematic Validation of Model Transformations,” in <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>, 2004.","chicago":"Küster, Jochen. “Systematic Validation of Model Transformations.” In <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>, 2004.","ama":"Küster J. Systematic Validation of Model Transformations. In: <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>. ; 2004."},"_id":"8389","date_updated":"2022-01-06T07:03:54Z","department":[{"_id":"66"}],"user_id":"52534","author":[{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"}],"date_created":"2019-03-06T11:28:55Z","title":"Systematic Validation of Model Transformations","language":[{"iso":"eng"}]}]