[{"language":[{"iso":"eng"}],"keyword":["Artificial Intelligence Product Creation Literature Review"],"department":[{"_id":"63"},{"_id":"563"},{"_id":"355"},{"_id":"241"}],"user_id":"15415","_id":"23779","status":"public","abstract":[{"lang":"ger","text":"Produktentstehung (PE) bezieht sich auf den Prozess der Planung und Entwicklung eines Produkts sowie der damit verbundenen Dienstleistungen von der ersten Idee bis zur Herstellung und zum Vertrieb. Während dieses Prozesses gibt es zahlreiche Aufgaben, die von menschlichem Fachwissen abhängen und typischerweise von erfahrenen Experten übernommen werden. Da sich das Feld der Künstlichen Intelligenz (KI) immer weiterentwickelt und seinen Weg in den Fertigungssektor findet, gibt es viele Möglichkeiten für eine Anwendung von KI, um bei der Lösung der oben genannten Aufgaben zu helfen. In diesem Paper geben wir einen umfassenden Überblick über den aktuellen Stand der Technik des Einsatzes von KI in der PE. \r\nIm Detail analysieren wir 40 bestehende Surveys zu KI in der PE und 94 Case Studies, um herauszufinden, welche Bereiche der PE von der aktuellen Forschung in diesem Bereich vorrangig adressiert werden, wie ausgereift die diskutierten KI-Methoden sind und inwieweit datenzentrierte Ansätze in der aktuellen Forschung genutzt werden."},{"text":"Product Creation (PC) refers to the process of planning and developing a product as well as related services from the initial idea until manufacturing and distribution. Throughout this process, there are numerous tasks that depend on human expertise and are typically undertaken by experienced practitioners. As the field of Artificial Intelligence (AI) continues to evolve and finds its way into the manufacturing sector, there exist many possibilities for an application of AI in order to assist in solving aforementioned tasks. In this work, we provide a comprehensive overview of the current state of the art of the use of AI in PC. \r\nIn detail, we analyze 40 existing surveys on AI in PC and 94 case studies in order to find out which areas of PC are primarily addressed by current research in this field, how mature the discussed AI methods are, and to which extent data-centric approaches are utilized in current research.","lang":"eng"}],"publication":"Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21)","type":"conference","conference":{"end_date":"2021-08-26","location":"Montreal, Kanada","name":"30th International Joint Conference on Artificial Intelligence (IJCAI 2021) - Workshop \"AI and Product Design\"","start_date":"2021-08-19"},"main_file_link":[{"url":"https://www.hsu-hh.de/imb/wp-content/uploads/sites/677/2021/08/A-Meta-Review-on-Artificial-Intelligence-in-Product-Creation.pdf"}],"title":"A Meta-Review on Artificial Intelligence in Product Creation","author":[{"first_name":"Ruslan","full_name":"Bernijazov, Ruslan","last_name":"Bernijazov"},{"first_name":"Alexander","last_name":"Dicks","full_name":"Dicks, Alexander"},{"full_name":"Dumitrescu, Roman","id":"16190","last_name":"Dumitrescu","first_name":"Roman"},{"first_name":"Marc","last_name":"Foullois","full_name":"Foullois, Marc"},{"first_name":"Jonas Manuel","full_name":"Hanselle, Jonas Manuel","id":"43980","last_name":"Hanselle","orcid":"0000-0002-1231-4985"},{"full_name":"Hüllermeier, Eyke","id":"48129","last_name":"Hüllermeier","first_name":"Eyke"},{"first_name":"Gökce","last_name":"Karakaya","full_name":"Karakaya, Gökce"},{"id":"45402","full_name":"Ködding, Patrick","last_name":"Ködding","first_name":"Patrick"},{"first_name":"Volker","full_name":"Lohweg, Volker","last_name":"Lohweg"},{"first_name":"Manuel","full_name":"Malatyali, Manuel","id":"41265","last_name":"Malatyali"},{"full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"first_name":"Melina","full_name":"Panzner, Melina","last_name":"Panzner"},{"orcid":"0000-0002-0342-8227","last_name":"Soltenborn","id":"1737","full_name":"Soltenborn, Christian","first_name":"Christian"}],"date_created":"2021-09-06T08:23:45Z","date_updated":"2022-01-06T06:55:59Z","citation":{"ama":"Bernijazov R, Dicks A, Dumitrescu R, et al. A Meta-Review on Artificial Intelligence in Product Creation. In: <i>Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21)</i>. ; 2021.","chicago":"Bernijazov, Ruslan, Alexander Dicks, Roman Dumitrescu, Marc Foullois, Jonas Manuel Hanselle, Eyke Hüllermeier, Gökce Karakaya, et al. “A Meta-Review on Artificial Intelligence in Product Creation.” In <i>Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21)</i>, 2021.","ieee":"R. Bernijazov <i>et al.</i>, “A Meta-Review on Artificial Intelligence in Product Creation,” presented at the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021) - Workshop “AI and Product Design,” Montreal, Kanada, 2021.","short":"R. Bernijazov, A. Dicks, R. Dumitrescu, M. Foullois, J.M. Hanselle, E. Hüllermeier, G. Karakaya, P. Ködding, V. Lohweg, M. Malatyali, F. Meyer auf der Heide, M. Panzner, C. Soltenborn, in: Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 2021.","mla":"Bernijazov, Ruslan, et al. “A Meta-Review on Artificial Intelligence in Product Creation.” <i>Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21)</i>, 2021.","bibtex":"@inproceedings{Bernijazov_Dicks_Dumitrescu_Foullois_Hanselle_Hüllermeier_Karakaya_Ködding_Lohweg_Malatyali_et al._2021, title={A Meta-Review on Artificial Intelligence in Product Creation}, booktitle={Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21)}, author={Bernijazov, Ruslan and Dicks, Alexander and Dumitrescu, Roman and Foullois, Marc and Hanselle, Jonas Manuel and Hüllermeier, Eyke and Karakaya, Gökce and Ködding, Patrick and Lohweg, Volker and Malatyali, Manuel and et al.}, year={2021} }","apa":"Bernijazov, R., Dicks, A., Dumitrescu, R., Foullois, M., Hanselle, J. M., Hüllermeier, E., Karakaya, G., Ködding, P., Lohweg, V., Malatyali, M., Meyer auf der Heide, F., Panzner, M., &#38; Soltenborn, C. (2021). A Meta-Review on Artificial Intelligence in Product Creation. <i>Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21)</i>. 30th International Joint Conference on Artificial Intelligence (IJCAI 2021) - Workshop “AI and Product Design,” Montreal, Kanada."},"year":"2021","quality_controlled":"1","publication_status":"epub_ahead"},{"year":"2013","citation":{"apa":"Soltenborn, C. (2013). <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn. <a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>","short":"C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.","bibtex":"@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling}, DOI={<a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>}, publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013} }","mla":"Soltenborn, Christian. <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn, 2013, doi:<a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>.","chicago":"Soltenborn, Christian. <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn, 2013. <a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>.","ieee":"C. Soltenborn, <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn, 2013.","ama":"Soltenborn C. <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn; 2013. doi:<a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>"},"date_updated":"2022-01-06T07:03:39Z","publisher":"Universität Paderborn","supervisor":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"author":[{"first_name":"Christian","full_name":"Soltenborn, Christian","id":"1737","orcid":"0000-0002-0342-8227","last_name":"Soltenborn"}],"date_created":"2019-02-06T14:15:58Z","title":"Quality Assurance with Dynamic Meta Modeling","doi":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420","type":"dissertation","abstract":[{"lang":"eng","text":"Dynamic Meta Modeling (DMM) is a semantics specification technique targeted at MOF-based modeling languages, where a language's behavior is defined by means of graphical operational rules which change runtime models. The DMM approach has first been suggested by Engels et al. in 2000; Hausmann has then defined the DMM language on a conceptual level within his PhD thesis in 2006. Consequently, the next step was to bring the existing DMM concepts alive, and then to apply them to different modeling languages, making use of the lessons learned to improve the DMM concepts as well as the DMM tooling. The result of this process is the DMM++ method, which is presented within this thesis. Our contributions are three-fold: First, and according to our experiences with the DMM language, we have introduced new concepts such as refinement by means of rule overriding, and we have strengthened existing concepts such as the dealing with universally quantified structures or attributes. Second, we have developed a test-driven process for semantics specification: A set of test models is created, and their expected behavior is fixed. Then, the DMM rules are created incrementally, finally resulting in a DMM ruleset realizing at least the expected behavior of the test models. Additionally, we have defined a set of coverage criteria for DMM rulesets which allow to measure the quality of a set of test models. Third, we have shown how functional as well as non-functional requirements can be formulated against models and their DMM specifications. The former is achieved by providing a visual language for formulating temporal logic properties, which are then verified with model checking techniques, and by allowing for visual debugging of models failing a requirement. For the latter, the modeler can add performance information to models and analyze their performance properties, e.g. average throughput."}],"status":"public","_id":"7569","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"department":[{"_id":"66"}],"user_id":"477","language":[{"iso":"eng"}]},{"file_date_updated":"2018-03-15T06:46:40Z","language":[{"iso":"eng"}],"ddc":["040"],"user_id":"14955","series_title":"Electronic Communications of the EASST","department":[{"_id":"66"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"622","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"creator":"florida","date_created":"2018-03-15T06:46:40Z","date_updated":"2018-03-15T06:46:40Z","file_name":"622-gtvmt2012-Arifulina_01.pdf","access_level":"closed","file_id":"1243","file_size":301602}],"status":"public","abstract":[{"lang":"eng","text":"Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that the specification at hand at least describes the correct behavior for a suite of test models. However, in its current state TDSS does not provide any means to measure the quality of such a test suite. In this paper, we describe how we have applied the idea of test coverage to TDSS. Similar to common approaches of defining test coverage criteria, we describe a data structure called invocation graph containing possible orders of applications ofDMM rules. Then we define different coverage criteria based on that data structure, taking the rule applications caused by the test suite’s models into account. Our implementation of the described approach gives the language engineer using DMM a means to reason about the quality of the language’s test suite, and also provides hints on how to improve that quality by adding dedicated test models to the test suite."}],"type":"conference","publication":"Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)","doi":"10.14279/tuj.eceasst.47.718","title":"Coverage Criteria for Testing DMM Specifications","author":[{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","id":"1737","full_name":"Soltenborn, Christian"}],"date_created":"2017-10-17T12:42:53Z","date_updated":"2022-01-06T07:02:57Z","citation":{"ama":"Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>. Electronic Communications of the EASST. ; 2012. doi:<a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">10.14279/tuj.eceasst.47.718</a>","ieee":"S. Arifulina, G. Engels, and C. Soltenborn, “Coverage Criteria for Testing DMM Specifications,” in <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>, 2012.","chicago":"Arifulina, Svetlana, Gregor Engels, and Christian Soltenborn. “Coverage Criteria for Testing DMM Specifications.” In <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>. Electronic Communications of the EASST, 2012. <a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">https://doi.org/10.14279/tuj.eceasst.47.718</a>.","bibtex":"@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={<a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">10.14279/tuj.eceasst.47.718</a>}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications of the EASST} }","mla":"Arifulina, Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.” <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>, 2012, doi:<a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">10.14279/tuj.eceasst.47.718</a>.","short":"S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.","apa":"Arifulina, S., Engels, G., &#38; Soltenborn, C. (2012). Coverage Criteria for Testing DMM Specifications. In <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>. <a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">https://doi.org/10.14279/tuj.eceasst.47.718</a>"},"year":"2012","has_accepted_license":"1"},{"author":[{"full_name":"Luckey, Markus","last_name":"Luckey","first_name":"Markus"},{"full_name":"Gerth, Christian","last_name":"Gerth","first_name":"Christian"},{"last_name":"Soltenborn","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian","id":"1737","first_name":"Christian"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-02-21T20:49:28Z","publisher":"ACM","date_updated":"2022-01-06T07:03:49Z","doi":"http://dx.doi.org/10.1145/1998582.1998617","title":"QUAASY - QUality Assurance of Adaptive SYstems","citation":{"mla":"Luckey, Markus, et al. “QUAASY - QUality Assurance of Adaptive SYstems.” <i>Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)</i>, ACM, 2011, doi:<a href=\"http://dx.doi.org/10.1145/1998582.1998617\">http://dx.doi.org/10.1145/1998582.1998617</a>.","short":"M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011.","bibtex":"@inproceedings{Luckey_Gerth_Soltenborn_Engels_2011, title={QUAASY - QUality Assurance of Adaptive SYstems}, DOI={<a href=\"http://dx.doi.org/10.1145/1998582.1998617\">http://dx.doi.org/10.1145/1998582.1998617</a>}, booktitle={Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)}, publisher={ACM}, author={Luckey, Markus and Gerth, Christian and Soltenborn, Christian and Engels, Gregor}, year={2011} }","apa":"Luckey, M., Gerth, C., Soltenborn, C., &#38; Engels, G. (2011). QUAASY - QUality Assurance of Adaptive SYstems. In <i>Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)</i>. ACM. <a href=\"http://dx.doi.org/10.1145/1998582.1998617\">http://dx.doi.org/10.1145/1998582.1998617</a>","ieee":"M. Luckey, C. Gerth, C. Soltenborn, and G. Engels, “QUAASY - QUality Assurance of Adaptive SYstems,” in <i>Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)</i>, 2011.","chicago":"Luckey, Markus, Christian Gerth, Christian Soltenborn, and Gregor Engels. “QUAASY - QUality Assurance of Adaptive SYstems.” In <i>Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)</i>. ACM, 2011. <a href=\"http://dx.doi.org/10.1145/1998582.1998617\">http://dx.doi.org/10.1145/1998582.1998617</a>.","ama":"Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive SYstems. In: <i>Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)</i>. ACM; 2011. doi:<a href=\"http://dx.doi.org/10.1145/1998582.1998617\">http://dx.doi.org/10.1145/1998582.1998617</a>"},"year":"2011","department":[{"_id":"66"}],"user_id":"14955","_id":"8053","language":[{"iso":"eng"}],"publication":"Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11)","type":"conference","status":"public"},{"page":"357-376","intvolume":"      6563","citation":{"ama":"Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications for Visual Execution and Debugging. In: <i>Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)</i>. Vol 6563. LNCS. Berlin/Heidelberg: Springer; 2011:357-376. doi:<a href=\"http://dx.doi.org/10.1007/978-3-642-19440-5_24\">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>","chicago":"Bandener, Nils, Christian Soltenborn, and Gregor Engels. “Extending DMM Behavior Specifications for Visual Execution and Debugging.” In <i>Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)</i>, 6563:357–76. LNCS. Berlin/Heidelberg: Springer, 2011. <a href=\"http://dx.doi.org/10.1007/978-3-642-19440-5_24\">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>.","ieee":"N. Bandener, C. Soltenborn, and G. Engels, “Extending DMM Behavior Specifications for Visual Execution and Debugging,” in <i>Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)</i>, 2011, vol. 6563, pp. 357–376.","mla":"Bandener, Nils, et al. “Extending DMM Behavior Specifications for Visual Execution and Debugging.” <i>Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)</i>, vol. 6563, Springer, 2011, pp. 357–76, doi:<a href=\"http://dx.doi.org/10.1007/978-3-642-19440-5_24\">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>.","short":"N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg, 2011, pp. 357–376.","bibtex":"@inproceedings{Bandener_Soltenborn_Engels_2011, place={Berlin/Heidelberg}, series={LNCS}, title={Extending DMM Behavior Specifications for Visual Execution and Debugging}, volume={6563}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-642-19440-5_24\">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>}, booktitle={Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)}, publisher={Springer}, author={Bandener, Nils and Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={357–376}, collection={LNCS} }","apa":"Bandener, N., Soltenborn, C., &#38; Engels, G. (2011). Extending DMM Behavior Specifications for Visual Execution and Debugging. In <i>Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)</i> (Vol. 6563, pp. 357–376). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-642-19440-5_24\">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>"},"place":"Berlin/Heidelberg","year":"2011","doi":"http://dx.doi.org/10.1007/978-3-642-19440-5_24","title":"Extending DMM Behavior Specifications for Visual Execution and Debugging","volume":6563,"author":[{"first_name":"Nils","full_name":"Bandener, Nils","last_name":"Bandener"},{"full_name":"Soltenborn, Christian","id":"1737","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","first_name":"Christian"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"}],"date_created":"2019-02-21T20:49:29Z","date_updated":"2022-01-06T07:03:49Z","publisher":"Springer","status":"public","publication":"Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"14955","series_title":"LNCS","_id":"8054"},{"publication":"Journal of Visual Languages & Computing","type":"journal_article","abstract":[{"lang":"eng","text":"Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at languages based on a metamodel. A DMM specification consists of a runtime metamodel and operational rules which describe how instances of the runtime metamodel change over time. A known deficiency of the DMM approach is that it does not support the refinement of a DMM specification, e.g., in the case of defining the semantics for a refined and extended domain-specific language (DSL). Up to now, DMM specifications could only be reused by adding or removing DMM rules. In this paper, we enhance DMM such that DMM rules can override other DMM rules, similar to a method being overridden in a subclass, and we show how rule overriding can be realized with the graph transformation tool GROOVE. We argue that rule overriding does not only have positive impact on reusability, but also improves the intuitive understandability of DMM semantics specifications."}],"status":"public","_id":"7355","department":[{"_id":"66"}],"user_id":"14955","language":[{"iso":"eng"}],"publication_identifier":{"issn":["1045-926X"]},"publication_status":"published","issue":"3","year":"2011","intvolume":"        22","page":"233-250","citation":{"ama":"Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. <i>Journal of Visual Languages &#38; Computing</i>. 2011;22(3):233-250. doi:<a href=\"https://doi.org/10.1016/j.jvlc.2010.12.005\">10.1016/j.jvlc.2010.12.005</a>","ieee":"C. Soltenborn and G. Engels, “Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications,” <i>Journal of Visual Languages &#38; Computing</i>, vol. 22, no. 3, pp. 233–250, 2011.","chicago":"Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications.” <i>Journal of Visual Languages &#38; Computing</i> 22, no. 3 (2011): 233–50. <a href=\"https://doi.org/10.1016/j.jvlc.2010.12.005\">https://doi.org/10.1016/j.jvlc.2010.12.005</a>.","bibtex":"@article{Soltenborn_Engels_2011, title={Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications}, volume={22}, DOI={<a href=\"https://doi.org/10.1016/j.jvlc.2010.12.005\">10.1016/j.jvlc.2010.12.005</a>}, number={3}, journal={Journal of Visual Languages &#38; Computing}, publisher={Elsevier BV}, author={Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={233–250} }","short":"C. Soltenborn, G. Engels, Journal of Visual Languages &#38; Computing 22 (2011) 233–250.","mla":"Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications.” <i>Journal of Visual Languages &#38; Computing</i>, vol. 22, no. 3, Elsevier BV, 2011, pp. 233–50, doi:<a href=\"https://doi.org/10.1016/j.jvlc.2010.12.005\">10.1016/j.jvlc.2010.12.005</a>.","apa":"Soltenborn, C., &#38; Engels, G. (2011). Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. <i>Journal of Visual Languages &#38; Computing</i>, <i>22</i>(3), 233–250. <a href=\"https://doi.org/10.1016/j.jvlc.2010.12.005\">https://doi.org/10.1016/j.jvlc.2010.12.005</a>"},"date_updated":"2022-01-06T07:03:35Z","publisher":"Elsevier BV","volume":22,"author":[{"orcid":"0000-0002-0342-8227","last_name":"Soltenborn","full_name":"Soltenborn, Christian","id":"1737","first_name":"Christian"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-01-31T13:02:21Z","title":"Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications","doi":"10.1016/j.jvlc.2010.12.005"},{"page":"183--198","citation":{"apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 183--198). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>","bibtex":"@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }","short":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.","mla":"Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>.","ama":"Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In: M{\\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:183--198. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>","chicago":"Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>.","ieee":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 183--198."},"year":"2010","author":[{"full_name":"Hülsbusch, Mathias","last_name":"Hülsbusch","first_name":"Mathias"},{"first_name":"Barbara","full_name":"König, Barbara","last_name":"König"},{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"},{"first_name":"Maria","full_name":"Semenyak, Maria","last_name":"Semenyak"},{"first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","id":"1737","full_name":"Soltenborn, Christian"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-13T09:19:33Z","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-16265-7_14","title":"Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques","publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","type":"conference","status":"public","editor":[{"full_name":"M{\\'{e}}ry, Dominique","last_name":"M{\\'{e}}ry","first_name":"Dominique"},{"full_name":"Merz, Stephan","last_name":"Merz","first_name":"Stephan"}],"department":[{"_id":"77"}],"user_id":"14955","series_title":"Lecture Notes in Computer Science","_id":"3194","language":[{"iso":"eng"}]},{"author":[{"first_name":"Mathias","full_name":"Hülsbusch, Mathias","last_name":"Hülsbusch"},{"last_name":"König","full_name":"König, Barbara","first_name":"Barbara"},{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"first_name":"Maria","last_name":"Semenyak","full_name":"Semenyak, Maria"},{"first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian","id":"1737"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2019-03-03T16:13:20Z","publisher":"Centre for Telematics and Information Technology of the University of Twente","date_updated":"2022-01-06T07:03:52Z","title":"Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques","citation":{"apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2010). <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente.","mla":"Hülsbusch, Mathias, et al. <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Centre for Telematics and Information Technology of the University of Twente, 2010.","short":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.","bibtex":"@book{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, place={Enschede, The Netherlands}, title={Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques}, publisher={Centre for Telematics and Information Technology of the University of Twente}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, year={2010} }","ama":"Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente; 2010.","chicago":"Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.","ieee":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010."},"year":"2010","place":"Enschede, The Netherlands","user_id":"14955","department":[{"_id":"66"}],"_id":"8220","language":[{"iso":"eng"}],"type":"report","status":"public"},{"year":"2010","citation":{"apa":"Engels, G., &#38; Soltenborn, C. (2010). Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling. In <i>Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)</i> (Vol. 30, pp. 240–257). European Association of Software Science and Technology.","short":"G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association of Software Science and Technology, 2010, pp. 240–257.","mla":"Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” <i>Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)</i>, vol. 30, European Association of Software Science and Technology, 2010, pp. 240–57.","bibtex":"@inproceedings{Engels_Soltenborn_2010, series={Electronic Communications of the EASST}, title={Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling}, volume={30}, booktitle={Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)}, publisher={European Association of Software Science and Technology}, author={Engels, Gregor and Soltenborn, Christian}, year={2010}, pages={240–257}, collection={Electronic Communications of the EASST} }","ieee":"G. Engels and C. Soltenborn, “Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling,” in <i>Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)</i>, 2010, vol. 30, pp. 240–257.","chicago":"Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” In <i>Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)</i>, 30:240–57. Electronic Communications of the EASST. European Association of Software Science and Technology, 2010.","ama":"Engels G, Soltenborn C. Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling. In: <i>Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)</i>. Vol 30. Electronic Communications of the EASST. European Association of Software Science and Technology; 2010:240-257."},"page":"240-257","intvolume":"        30","title":"Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling","publisher":"European Association of Software Science and Technology","date_updated":"2022-01-06T07:03:55Z","date_created":"2019-03-06T16:20:33Z","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian","id":"1737"}],"volume":30,"abstract":[{"text":"Deriving a new language L_B from an already existing one L_A is a typical task in domain-specific language engineering. Here, besides adjusting L_A's syntax, the language engineer has to modify the semantics of L_A to derive L_B's semantics. Particularly, in case of behavioral modeling languages, this is a difficult and error-prone task, as changing the behavior of language elements or adding behavior for new elements might have undesired side effects. Therefore, we propose a test-driven language derivation process. In a first step, the language engineer creates example models containing the changed or newly added elements in different contexts. For each of these models, the language engineer also precisely describes the expected behavior. In a second step, each example model and its description of behavior is transformed into an executable test case. Finally, these test cases are used when deriving the actual semantics of L_B - at any time, the language engineer can run the tests to verify whether the changes he performed on L_A's semantics indeed produce the desired behavior. In this paper, we illustrate the approach using our graph transformation-based semantics specification technique Dynamic Meta Modeling. This is once more an example where the graph transformation approach shows its strengths and appropriateness to support software engineering tasks as, e.g., model transformations, software specifications, or tool development.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)","language":[{"iso":"eng"}],"_id":"8437","series_title":"Electronic Communications of the EASST","user_id":"14955","department":[{"_id":"66"}]},{"year":"2009","place":"Berlin/Heidelberg","intvolume":"      5795","page":"378-392","citation":{"ama":"Soltenborn C, Engels G. Towards Test-Driven Semantics Specification. In: <i>Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)</i>. Vol 5795. LNCS. Berlin/Heidelberg: Springer; 2009:378-392. doi:<a href=\"http://dx.doi.org/10.1007/978-3-642-04425-0_30\">http://dx.doi.org/10.1007/978-3-642-04425-0_30</a>","ieee":"C. Soltenborn and G. Engels, “Towards Test-Driven Semantics Specification,” in <i>Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)</i>, 2009, vol. 5795, pp. 378–392.","chicago":"Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.” In <i>Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)</i>, 5795:378–92. LNCS. Berlin/Heidelberg: Springer, 2009. <a href=\"http://dx.doi.org/10.1007/978-3-642-04425-0_30\">http://dx.doi.org/10.1007/978-3-642-04425-0_30</a>.","short":"C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.","mla":"Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.” <i>Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)</i>, vol. 5795, Springer, 2009, pp. 378–92, doi:<a href=\"http://dx.doi.org/10.1007/978-3-642-04425-0_30\">http://dx.doi.org/10.1007/978-3-642-04425-0_30</a>.","bibtex":"@inproceedings{Soltenborn_Engels_2009, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Test-Driven Semantics Specification}, volume={5795}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-642-04425-0_30\">http://dx.doi.org/10.1007/978-3-642-04425-0_30</a>}, booktitle={Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, pages={378–392}, collection={LNCS} }","apa":"Soltenborn, C., &#38; Engels, G. (2009). Towards Test-Driven Semantics Specification. In <i>Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)</i> (Vol. 5795, pp. 378–392). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-642-04425-0_30\">http://dx.doi.org/10.1007/978-3-642-04425-0_30</a>"},"title":"Towards Test-Driven Semantics Specification","doi":"http://dx.doi.org/10.1007/978-3-642-04425-0_30","date_updated":"2022-01-06T07:03:49Z","publisher":"Springer","volume":5795,"author":[{"first_name":"Christian","id":"1737","full_name":"Soltenborn, Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-02-21T17:36:28Z","abstract":[{"text":"Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques. However, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM.","lang":"eng"}],"status":"public","publication":"Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)","type":"conference","language":[{"iso":"eng"}],"_id":"8019","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"14955"},{"language":[{"iso":"eng"}],"_id":"8020","department":[{"_id":"66"}],"user_id":"14955","status":"public","publication":"Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)","type":"conference","title":"Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding","doi":"http://dx.doi.org/10.1109/VLHCC.2009.5295302","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:49Z","date_created":"2019-02-21T17:36:29Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Daniela","last_name":"Fisseler","full_name":"Fisseler, Daniela"},{"first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","id":"1737","full_name":"Soltenborn, Christian"}],"year":"2009","place":"Piscataway, NJ (USA)","page":"39-46","citation":{"apa":"Engels, G., Fisseler, D., &#38; Soltenborn, C. (2009). Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding. In <i>Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)</i> (pp. 39–46). Piscataway, NJ (USA): IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/VLHCC.2009.5295302\">http://dx.doi.org/10.1109/VLHCC.2009.5295302</a>","short":"G. Engels, D. Fisseler, C. Soltenborn, in: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer Society, Piscataway, NJ (USA), 2009, pp. 39–46.","bibtex":"@inproceedings{Engels_Fisseler_Soltenborn_2009, place={Piscataway, NJ (USA)}, title={Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding}, DOI={<a href=\"http://dx.doi.org/10.1109/VLHCC.2009.5295302\">http://dx.doi.org/10.1109/VLHCC.2009.5295302</a>}, booktitle={Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Fisseler, Daniela and Soltenborn, Christian}, year={2009}, pages={39–46} }","mla":"Engels, Gregor, et al. “Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.” <i>Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)</i>, IEEE Computer Society, 2009, pp. 39–46, doi:<a href=\"http://dx.doi.org/10.1109/VLHCC.2009.5295302\">http://dx.doi.org/10.1109/VLHCC.2009.5295302</a>.","ama":"Engels G, Fisseler D, Soltenborn C. Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding. In: <i>Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)</i>. Piscataway, NJ (USA): IEEE Computer Society; 2009:39-46. doi:<a href=\"http://dx.doi.org/10.1109/VLHCC.2009.5295302\">http://dx.doi.org/10.1109/VLHCC.2009.5295302</a>","ieee":"G. Engels, D. Fisseler, and C. Soltenborn, “Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding,” in <i>Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)</i>, 2009, pp. 39–46.","chicago":"Engels, Gregor, Daniela Fisseler, and Christian Soltenborn. “Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.” In <i>Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)</i>, 39–46. Piscataway, NJ (USA): IEEE Computer Society, 2009. <a href=\"http://dx.doi.org/10.1109/VLHCC.2009.5295302\">http://dx.doi.org/10.1109/VLHCC.2009.5295302</a>."}},{"_id":"8435","department":[{"_id":"66"}],"series_title":"Electronic Communications of the EASST","user_id":"14955","language":[{"iso":"eng"}],"publication":"Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)","type":"conference","abstract":[{"lang":"eng","text":"Visual Process Pattern (VPP) is a visual language to describe constraints on the behavior of UML Activities. They have been developed for the sake of formulating and verifying requirements on business process models (with Activities being one possible description language). In the VPP approach, a visual pattern is translated into an LTL formula, which can then be verified against a transition system describing the behavior of the Activity under consideration. In this paper, we aim at generalizing VPP. We show how to formulate patterns more generally, using either concrete or abstract syntax of the behavioral model under consideration. Additionally, we describe how these more general patterns can be verified against a model’s behavior."}],"status":"public","publisher":"European Association of Software Science and Technology","date_updated":"2022-01-06T07:03:55Z","volume":25,"author":[{"full_name":"Soltenborn, Christian","id":"1737","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","first_name":"Christian"},{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"}],"date_created":"2019-03-06T16:20:31Z","title":"Towards Generalizing Visual Process Pattern","year":"2009","intvolume":"        25","citation":{"ama":"Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>. Vol 25. Electronic Communications of the EASST. European Association of Software Science and Technology; 2009.","chicago":"Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” In <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>, Vol. 25. Electronic Communications of the EASST. European Association of Software Science and Technology, 2009.","ieee":"C. Soltenborn and G. Engels, “Towards Generalizing Visual Process Pattern,” in <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>, 2009, vol. 25.","mla":"Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>, vol. 25, European Association of Software Science and Technology, 2009.","short":"C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association of Software Science and Technology, 2009.","bibtex":"@inproceedings{Soltenborn_Engels_2009, series={Electronic Communications of the EASST}, title={Towards Generalizing Visual Process Pattern}, volume={25}, booktitle={Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}, publisher={European Association of Software Science and Technology}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, collection={Electronic Communications of the EASST} }","apa":"Soltenborn, C., &#38; Engels, G. (2009). Towards Generalizing Visual Process Pattern. In <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i> (Vol. 25). European Association of Software Science and Technology."}},{"language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","user_id":"14955","department":[{"_id":"77"}],"_id":"3207","status":"public","editor":[{"last_name":"Schieferdecker","full_name":"Schieferdecker, Ina","first_name":"Ina"},{"first_name":"Alan","last_name":"Hartman","full_name":"Hartman, Alan"}],"type":"conference","publication":"Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings","doi":"10.1007/978-3-540-69100-6_7","title":"From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations","author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"last_name":"Kleppe","full_name":"Kleppe, Anneke","first_name":"Anneke"},{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"last_name":"Semenyak","full_name":"Semenyak, Maria","first_name":"Maria"},{"first_name":"Christian","id":"1737","full_name":"Soltenborn, Christian","orcid":"0000-0002-0342-8227","last_name":"Soltenborn"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T09:51:29Z","date_updated":"2022-01-06T06:59:04Z","citation":{"ama":"Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:94--109. doi:<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>","ieee":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, 2008, pp. 94--109.","chicago":"Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” In <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">https://doi.org/10.1007/978-3-540-69100-6_7</a>.","apa":"Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker &#38; A. Hartman (Eds.), <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i> (pp. 94--109). <a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">https://doi.org/10.1007/978-3-540-69100-6_7</a>","short":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.","bibtex":"@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }","mla":"Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>."},"page":"94--109","year":"2008"},{"type":"journal_article","publication":"Informatik-Spektrum","status":"public","abstract":[{"lang":"eng","text":"Sollen wir UML 1.4, UML 2.0 oder eine ganz andere Modellierungssprache für unsere Softwareentwicklung einsetzen? Der folgende Beitrag zeigt, dass bei der Festlegung einer unternehmensweiten Entwicklungsmethode nicht die Frage nach der Modellierungssprache im Vordergrund stehen sollte. Viel entscheidender für den Erfolg von Softwareentwicklungsprojekten in einem Unternehmen ist ein einheitliches Verständnis der Entwicklungskonzepte und -artefakte sowie ihrer Beziehungen untereinander. Eine Einigung über ein unternehmensweites Domänenmodell der Softwareentwicklungskonzepte sollte deshalb vor der Auswahl von Modellierungssprachen, eines konkreten Vorgehensmodells und geeigneter Werkzeuge erfolgen."}],"user_id":"14955","department":[{"_id":"66"}],"_id":"7371","language":[{"iso":"eng"}],"issue":"5","citation":{"short":"G. Engels, S. Sauer, C. Soltenborn, Informatik-Spektrum 31 (2008) 451–459.","mla":"Engels, Gregor, et al. “Unternehmensweit Verstehen – Unternehmensweit Entwickeln: Von Der Modellierungssprache Zur Softwareentwicklungsmethode.” <i>Informatik-Spektrum</i>, vol. 31, no. 5, 2008, pp. 451–59.","bibtex":"@article{Engels_Sauer_Soltenborn_2008, title={Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode}, volume={31}, number={5}, journal={Informatik-Spektrum}, author={Engels, Gregor and Sauer, Stefan and Soltenborn, Christian}, year={2008}, pages={451–459} }","apa":"Engels, G., Sauer, S., &#38; Soltenborn, C. (2008). Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. <i>Informatik-Spektrum</i>, <i>31</i>(5), 451–459.","ieee":"G. Engels, S. Sauer, and C. Soltenborn, “Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode,” <i>Informatik-Spektrum</i>, vol. 31, no. 5, pp. 451–459, 2008.","chicago":"Engels, Gregor, Stefan Sauer, and Christian Soltenborn. “Unternehmensweit Verstehen – Unternehmensweit Entwickeln: Von Der Modellierungssprache Zur Softwareentwicklungsmethode.” <i>Informatik-Spektrum</i> 31, no. 5 (2008): 451–59.","ama":"Engels G, Sauer S, Soltenborn C. Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. <i>Informatik-Spektrum</i>. 2008;31(5):451-459."},"page":"451-459","intvolume":"        31","year":"2008","date_created":"2019-01-31T15:24:18Z","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"},{"first_name":"Christian","orcid":"0000-0002-0342-8227","last_name":"Soltenborn","id":"1737","full_name":"Soltenborn, Christian"}],"volume":31,"date_updated":"2022-01-06T07:03:35Z","title":"Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode"},{"status":"public","editor":[{"last_name":"Sch{\\\"{u}}rr","full_name":"Sch{\\\"{u}}rr, Andy","first_name":"Andy"},{"full_name":"Nagl, Manfred","last_name":"Nagl","first_name":"Manfred"},{"last_name":"Z{\\\"{u}}ndorf","full_name":"Z{\\\"{u}}ndorf, Albert","first_name":"Albert"}],"publication":"Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"77"}],"user_id":"14955","series_title":"Lecture Notes in Computer Science","_id":"3214","page":"17--31","citation":{"ieee":"G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>, 2007, pp. 17--31.","chicago":"Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” In <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>, edited by Andy Sch{\\\"{u}}rr, Manfred Nagl, and Albert Z{\\\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. <a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">https://doi.org/10.1007/978-3-540-89020-1_2</a>.","ama":"Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch{\\\"{u}}rr A, Nagl M, Z{\\\"{u}}ndorf A, eds. <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>. Lecture Notes in Computer Science. ; 2007:17--31. doi:<a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">10.1007/978-3-540-89020-1_2</a>","apa":"Engels, G., Güldali, B., Soltenborn, C., &#38; Wehrheim, H. (2007). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In A. Sch{\\\"{u}}rr, M. Nagl, &#38; A. Z{\\\"{u}}ndorf (Eds.), <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i> (pp. 17--31). <a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">https://doi.org/10.1007/978-3-540-89020-1_2</a>","bibtex":"@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">10.1007/978-3-540-89020-1_2</a>}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\\\"{u}}rr, Andy and Nagl, Manfred and Z{\\\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }","mla":"Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>, edited by Andy Sch{\\\"{u}}rr et al., 2007, pp. 17--31, doi:<a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">10.1007/978-3-540-89020-1_2</a>.","short":"G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\\\"{u}}rr, M. Nagl, A. Z{\\\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31."},"year":"2007","doi":"10.1007/978-3-540-89020-1_2","title":"Assuring Consistency of Business Process Models and Web Services Using Visual Contracts","author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"last_name":"Güldali","full_name":"Güldali, Baris","first_name":"Baris"},{"orcid":"0000-0002-0342-8227","last_name":"Soltenborn","full_name":"Soltenborn, Christian","id":"1737","first_name":"Christian"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-13T10:00:14Z","date_updated":"2022-01-06T06:59:05Z"},{"editor":[{"full_name":"M. Bonsangue, Marcello","last_name":"M. Bonsangue","first_name":"Marcello"},{"first_name":"Einar","full_name":"Broch Johnsen, Einar","last_name":"Broch Johnsen"}],"status":"public","type":"conference","publication":"Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings","language":[{"iso":"eng"}],"_id":"3215","user_id":"14955","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"year":"2007","citation":{"ama":"Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>. Lecture Notes in Computer Science. ; 2007:76--90. doi:<a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">10.1007/978-3-540-72952-5_5</a>","ieee":"G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” in <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, 2007, pp. 76--90.","chicago":"Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” In <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. <a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">https://doi.org/10.1007/978-3-540-72952-5_5</a>.","bibtex":"@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">10.1007/978-3-540-72952-5_5</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }","short":"G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.","mla":"Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:<a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">10.1007/978-3-540-72952-5_5</a>.","apa":"Engels, G., Soltenborn, C., &#38; Wehrheim, H. (2007). Analysis of {UML} Activities Using Dynamic Meta Modeling. In M. M. Bonsangue &#38; E. Broch Johnsen (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i> (pp. 76--90). <a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">https://doi.org/10.1007/978-3-540-72952-5_5</a>"},"page":"76--90","title":"Analysis of {UML} Activities Using Dynamic Meta Modeling","doi":"10.1007/978-3-540-72952-5_5","date_updated":"2022-01-06T06:59:05Z","date_created":"2018-06-13T10:01:31Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian","id":"1737"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}]},{"volume":4364,"author":[{"full_name":"Soltenborn, Christian","id":"1737","orcid":"0000-0002-0342-8227","last_name":"Soltenborn","first_name":"Christian"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-03-06T11:44:58Z","date_updated":"2022-01-06T07:03:54Z","publisher":"Springer","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_42","title":"Analysis of UML Activities with Dynamic Meta Modeling Techniques","page":"329-330","intvolume":"      4364","citation":{"ieee":"C. Soltenborn and G. Engels, “Analysis of UML Activities with Dynamic Meta Modeling Techniques,” in <i>Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)</i>, 2007, vol. 4364, pp. 329–330.","chicago":"Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” In <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>, 4364:329–30. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.","ama":"Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling Techniques. In: <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:329-330. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>","bibtex":"@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>}, booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }","mla":"Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>, vol. 4364, Springer, 2007, pp. 329–30, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.","short":"C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.","apa":"Soltenborn, C., &#38; Engels, G. (2007). Analysis of UML Activities with Dynamic Meta Modeling Techniques. In <i>Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)</i> (Vol. 4364, pp. 329–330). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>"},"place":"Berlin/Heidelberg","year":"2007","department":[{"_id":"66"}],"user_id":"14955","series_title":"LNCS","_id":"8415","language":[{"iso":"eng"}],"publication":"Symposium \"A Formal Semantics for UML\" (satellite event of the MoDELS conference 2006), Genova (Italy)","type":"conference","status":"public"},{"citation":{"ama":"Mahajan K, Laroque C, Dangelmaier W, Soltenborn C, Kortenjan M, Kuntze D. d<sup>3</sup>FACT insight: A motion planning algorithm for material flow simulations in virtual environments. In: <i>Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)</i>. Vol 1. Erlangen: SCS European Publishing House; 2005:115-126.","ieee":"K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, and D. Kuntze, “d<sup>3</sup>FACT insight: A motion planning algorithm for material flow simulations in virtual environments,” in <i>Proceedings of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)</i>, 2005, vol. 1, pp. 115–126.","chicago":"Mahajan, Kiran, Christoph Laroque, Wilhelm Dangelmaier, Christian Soltenborn, Michael Kortenjan, and Daniel Kuntze. “D<sup>3</sup>FACT Insight: A Motion Planning Algorithm for Material Flow Simulations in Virtual Environments.” In <i>Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)</i>, 1:115–26. Erlangen: SCS European Publishing House, 2005.","apa":"Mahajan, K., Laroque, C., Dangelmaier, W., Soltenborn, C., Kortenjan, M., &#38; Kuntze, D. (2005). d<sup>3</sup>FACT insight: A motion planning algorithm for material flow simulations in virtual environments. In <i>Proceedings of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)</i> (Vol. 1, pp. 115–126). Erlangen: SCS European Publishing House.","short":"K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D. Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp. 115–126.","bibtex":"@inproceedings{Mahajan_Laroque_Dangelmaier_Soltenborn_Kortenjan_Kuntze_2005, place={Erlangen}, title={d<sup>3</sup>FACT insight: A motion planning algorithm for material flow simulations in virtual environments}, volume={1}, booktitle={Proceedings of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)}, publisher={SCS European Publishing House}, author={Mahajan, Kiran and Laroque, Christoph and Dangelmaier, Wilhelm and Soltenborn, Christian and Kortenjan, Michael and Kuntze, Daniel}, year={2005}, pages={115–126} }","mla":"Mahajan, Kiran, et al. “D<sup>3</sup>FACT Insight: A Motion Planning Algorithm for Material Flow Simulations in Virtual Environments.” <i>Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)</i>, vol. 1, SCS European Publishing House, 2005, pp. 115–26."},"intvolume":"         1","page":"115-126","place":"Erlangen","year":"2005","author":[{"first_name":"Kiran","full_name":"Mahajan, Kiran","last_name":"Mahajan"},{"first_name":"Christoph","full_name":"Laroque, Christoph","last_name":"Laroque"},{"last_name":"Dangelmaier","full_name":"Dangelmaier, Wilhelm","first_name":"Wilhelm"},{"orcid":"0000-0002-0342-8227","last_name":"Soltenborn","full_name":"Soltenborn, Christian","id":"1737","first_name":"Christian"},{"full_name":"Kortenjan, Michael","last_name":"Kortenjan","first_name":"Michael"},{"first_name":"Daniel","full_name":"Kuntze, Daniel","last_name":"Kuntze"}],"date_created":"2019-02-21T11:36:08Z","volume":1,"date_updated":"2022-01-06T07:03:48Z","publisher":"SCS European Publishing House","title":"d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments","type":"conference","publication":"Proceedings of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)","status":"public","user_id":"14955","department":[{"_id":"66"}],"_id":"7940","language":[{"iso":"eng"}]}]