[{"volume":3844,"user_id":"52534","doi":"dx.doi.org/10.1007/11663430_19","_id":"7950","language":[{"iso":"eng"}],"publisher":"Springer","series_title":"LNCS","page":"182-190","intvolume":"      3844","date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Pleuß, Andreas","last_name":"Pleuß","first_name":"Andreas"},{"full_name":"Van den Bergh, Jan","last_name":"Van den Bergh","first_name":"Jan"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"},{"first_name":"Heinrich","last_name":"Hußmann","full_name":"Hußmann, Heinrich"}],"year":"2006","status":"public","title":"Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:44:16Z","place":"Berlin/Heidelberg","citation":{"bibtex":"@inproceedings{Pleuß_Van den Bergh_Sauer_Hußmann_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)}, volume={3844}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">dx.doi.org/10.1007/11663430_19</a>}, booktitle={Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)}, publisher={Springer}, author={Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich}, year={2006}, pages={182–190}, collection={LNCS} }","ama":"Pleuß A, Van den Bergh J, Sauer S, Hußmann H. Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). In: <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>. Vol 3844. LNCS. Berlin/Heidelberg: Springer; 2006:182-190. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">dx.doi.org/10.1007/11663430_19</a>","mla":"Pleuß, Andreas, et al. “Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).” <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>, vol. 3844, Springer, 2006, pp. 182–90, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">dx.doi.org/10.1007/11663430_19</a>.","short":"A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, in: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 182–190.","chicago":"Pleuß, Andreas, Jan Van den Bergh, Stefan Sauer, and Heinrich Hußmann. “Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).” In <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>, 3844:182–90. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">https://doi.org/dx.doi.org/10.1007/11663430_19</a>.","ieee":"A. Pleuß, J. Van den Bergh, S. Sauer, and H. Hußmann, “Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI),” in <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>, 2006, vol. 3844, pp. 182–190.","apa":"Pleuß, A., Van den Bergh, J., Sauer, S., &#38; Hußmann, H. (2006). Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). In <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i> (Vol. 3844, pp. 182–190). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">https://doi.org/dx.doi.org/10.1007/11663430_19</a>"},"publication":"Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)"},{"page":"156-170","_id":"7951","publisher":"Springer","series_title":"LNCS","language":[{"iso":"eng"}],"doi":"dx.doi.org/10.1007/11768869_13","user_id":"52534","volume":"4037/2006","year":"2006","status":"public","title":"Generating Instance Models from Meta Models","author":[{"last_name":"Ehrig","first_name":"Karsten","full_name":"Ehrig, Karsten"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"last_name":"Winkelmann","first_name":"Jessica","full_name":"Winkelmann, Jessica"}],"date_updated":"2022-01-06T07:03:48Z","place":"Berlin/Heidelberg","date_created":"2019-02-21T11:44:17Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)","citation":{"short":"K. Ehrig, G. Taentzer, J. Küster, J. Winkelmann, in: Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy), Springer, Berlin/Heidelberg, 2006, pp. 156–170.","chicago":"Ehrig, Karsten, Gabriele Taentzer, Jochen Küster, and Jessica Winkelmann. “Generating Instance Models from Meta Models.” In <i>Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>, 4037/2006:156–70. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">https://doi.org/dx.doi.org/10.1007/11768869_13</a>.","ieee":"K. Ehrig, G. Taentzer, J. Küster, and J. Winkelmann, “Generating Instance Models from Meta Models,” in <i>Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>, 2006, vol. 4037/2006, pp. 156–170.","apa":"Ehrig, K., Taentzer, G., Küster, J., &#38; Winkelmann, J. (2006). Generating Instance Models from Meta Models. In <i>Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i> (Vol. 4037/2006, pp. 156–170). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">https://doi.org/dx.doi.org/10.1007/11768869_13</a>","bibtex":"@inproceedings{Ehrig_Taentzer_Küster_Winkelmann_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Generating Instance Models from Meta Models}, volume={4037/2006}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">dx.doi.org/10.1007/11768869_13</a>}, booktitle={Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)}, publisher={Springer}, author={Ehrig, Karsten and Taentzer, Gabriele and Küster, Jochen and Winkelmann, Jessica}, year={2006}, pages={156–170}, collection={LNCS} }","ama":"Ehrig K, Taentzer G, Küster J, Winkelmann J. Generating Instance Models from Meta Models. In: <i>Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>. Vol 4037/2006. LNCS. Berlin/Heidelberg: Springer; 2006:156-170. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">dx.doi.org/10.1007/11768869_13</a>","mla":"Ehrig, Karsten, et al. “Generating Instance Models from Meta Models.” <i>Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>, vol. 4037/2006, Springer, 2006, pp. 156–70, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">dx.doi.org/10.1007/11768869_13</a>."}},{"publication":"Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)","citation":{"ieee":"R. Hauser, M. Friess, J. Küster, and J. Vanhatalo, “Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows,” in <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>, 2006, pp. 129–140.","apa":"Hauser, R., Friess, M., Küster, J., &#38; Vanhatalo, J. (2006). Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows. In <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i> (pp. 129–140). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>","short":"R. Hauser, M. Friess, J. Küster, J. Vanhatalo, in: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), IEEE Computer Society, Washington, DC, USA, 2006, pp. 129–140.","chicago":"Hauser, Rainer, Michael Friess, Jochen Küster, and Jussi Vanhatalo. “Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows.” In <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>, 129–40. Washington, DC, USA: IEEE Computer Society, 2006. <a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>.","mla":"Hauser, Rainer, et al. “Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows.” <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>, IEEE Computer Society, 2006, pp. 129–40, doi:<a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>.","bibtex":"@inproceedings{Hauser_Friess_Küster_Vanhatalo_2006, place={Washington, DC, USA}, title={Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows}, DOI={<a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>}, booktitle={Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)}, publisher={IEEE Computer Society}, author={Hauser, Rainer and Friess, Michael and Küster, Jochen and Vanhatalo, Jussi}, year={2006}, pages={129–140} }","ama":"Hauser R, Friess M, Küster J, Vanhatalo J. Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows. In: <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>. Washington, DC, USA: IEEE Computer Society; 2006:129-140. doi:<a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>"},"place":"Washington, DC, USA","date_created":"2019-02-21T11:44:18Z","type":"conference","department":[{"_id":"66"}],"year":"2006","status":"public","title":"Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows","author":[{"first_name":"Rainer","last_name":"Hauser","full_name":"Hauser, Rainer"},{"first_name":"Michael","last_name":"Friess","full_name":"Friess, Michael"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"first_name":"Jussi","last_name":"Vanhatalo","full_name":"Vanhatalo, Jussi"}],"date_updated":"2022-01-06T07:03:48Z","page":"129-140","language":[{"iso":"eng"}],"_id":"7952","publisher":"IEEE Computer Society","doi":"http://dx.doi.org/10.1109/EDOC.2006.21","user_id":"52534"},{"type":"conference","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:44:20Z","abstract":[{"text":"As the Unified Modeling Language (UML) has by now seen widespread and successful use in the software industry and academia alike, it has also found its way into many computer science curricula. An outstanding advantage of teaching UML is that it enables an illustration of many crucial concepts of software engineering, far beyond its concrete notation. Most important among these concepts is that of abstraction. We present a course design which demonstrates the use of UML as a vehicle for teaching such core concepts of software engineering. Multimedia elements and tools help to efficiently convey the courses message to the students.","lang":"eng"}],"publication":"Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)","citation":{"apa":"Engels, G., Hendrik Hausmann, J., Lohmann, M., &#38; Sauer, S. (2006). Teaching UML Is Teaching Software Engineering Is Teaching Abstraction. In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i> (Vol. 3844 / 2006, pp. 306–319). Berlin/Heidelberg: Springer.","ieee":"G. Engels, J. Hendrik Hausmann, M. Lohmann, and S. Sauer, “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction,” in <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>, 2006, vol. 3844 / 2006, pp. 306–319.","short":"G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 306–319.","chicago":"Engels, Gregor, Jan Hendrik Hausmann, Marc Lohmann, and Stefan Sauer. “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.” In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>, 3844 / 2006:306–19. LNCS. Berlin/Heidelberg: Springer, 2006.","mla":"Engels, Gregor, et al. “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.” <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>, vol. 3844 / 2006, Springer, 2006, pp. 306–19.","ama":"Engels G, Hendrik Hausmann J, Lohmann M, Sauer S. Teaching UML Is Teaching Software Engineering Is Teaching Abstraction. In: <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>. Vol 3844 / 2006. LNCS. Berlin/Heidelberg: Springer; 2006:306-319.","bibtex":"@inproceedings{Engels_Hendrik Hausmann_Lohmann_Sauer_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Teaching UML Is Teaching Software Engineering Is Teaching Abstraction}, volume={3844 / 2006}, booktitle={Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}, year={2006}, pages={306–319}, collection={LNCS} }"},"user_id":"52534","volume":"3844 / 2006","page":"306-319","_id":"7953","publisher":"Springer","series_title":"LNCS","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:48Z","year":"2006","status":"public","title":"Teaching UML Is Teaching Software Engineering Is Teaching Abstraction","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"first_name":"Jan","last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}]},{"citation":{"apa":"Engels, G., Lohmann, M., Sauer, S., &#38; Heckel, R. (2006). Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. In <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i> (Vol. 4178, pp. 336–350). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>","ieee":"G. Engels, M. Lohmann, S. Sauer, and R. Heckel, “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract,” in <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>, 2006, vol. 4178, pp. 336–350.","chicago":"Engels, Gregor, Marc Lohmann, Stefan Sauer, and Reiko Heckel. “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.” In <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>, 4178:336–50. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","short":"G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg, 2006, pp. 336–350.","mla":"Engels, Gregor, et al. “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.” <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>, vol. 4178, Springer, 2006, pp. 336–50, doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","ama":"Engels G, Lohmann M, Sauer S, Heckel R. Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. In: <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>. Vol 4178. LNCS. Berlin/Heidelberg: Springer; 2006:336-350. doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>","bibtex":"@inproceedings{Engels_Lohmann_Sauer_Heckel_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract}, volume={4178}, DOI={<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>}, booktitle={Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)}, publisher={Springer}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}, year={2006}, pages={336–350}, collection={LNCS} }"},"place":"Berlin/Heidelberg","status":"public","page":"336-350","_id":"7954","publisher":"Springer","user_id":"52534","volume":4178,"publication":"Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)","abstract":[{"lang":"eng","text":"The model-driven development (MDD) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. Here, models are used to specify minimal requirements and are transformed into assertions on the code level for monitoring hand-coded programs during execution. We show how well-understood results from the graph transformation community can be deployed to support this model-driven monitoring approach. In particular, models in the form of visual contracts are defined by graph transitions with loose semantics, while the automatic transformation from models to JML assertions on the code level is defined by strict graph transformation rules. Both aspects are supported and realized by a dedicated Eclipse plug-in."}],"date_created":"2019-02-21T11:44:21Z","type":"conference","department":[{"_id":"66"}],"year":"2006","title":"Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"id":"447","full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"}],"date_updated":"2022-01-06T07:03:48Z","intvolume":"      4178","series_title":"LNCS","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/11841883"},{"citation":{"short":"A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.","chicago":"Förster, Alexander, Tim Schattkowsky, Gregor Engels, and Ragnhild Van Der Straeten. “A Pattern-Driven Development Process for Quality Standard-Conforming Business Process Models.” In <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>, 135–42. Washington, DC, USA: IEEE Computer Society, 2006.","apa":"Förster, A., Schattkowsky, T., Engels, G., &#38; Van Der Straeten, R. (2006). A Pattern-driven Development Process for Quality Standard-conforming Business Process Models. In <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i> (pp. 135–142). Washington, DC, USA: IEEE Computer Society.","ieee":"A. Förster, T. Schattkowsky, G. Engels, and R. Van Der Straeten, “A Pattern-driven Development Process for Quality Standard-conforming Business Process Models,” in <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>, 2006, pp. 135–142.","ama":"Förster A, Schattkowsky T, Engels G, Van Der Straeten R. A Pattern-driven Development Process for Quality Standard-conforming Business Process Models. In: <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>. Washington, DC, USA: IEEE Computer Society; 2006:135-142.","bibtex":"@inproceedings{Förster_Schattkowsky_Engels_Van Der Straeten_2006, place={Washington, DC, USA}, title={A Pattern-driven Development Process for Quality Standard-conforming Business Process Models}, booktitle={IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)}, publisher={IEEE Computer Society}, author={Förster, Alexander and Schattkowsky, Tim and Engels, Gregor and Van Der Straeten, Ragnhild}, year={2006}, pages={135–142} }","mla":"Förster, Alexander, et al. “A Pattern-Driven Development Process for Quality Standard-Conforming Business Process Models.” <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>, IEEE Computer Society, 2006, pp. 135–42."},"publication":"IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)","date_created":"2019-02-21T11:44:22Z","place":"Washington, DC, USA","department":[{"_id":"66"}],"type":"conference","author":[{"full_name":"Förster, Alexander","first_name":"Alexander","last_name":"Förster"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Ragnhild","last_name":"Van Der Straeten","full_name":"Van Der Straeten, Ragnhild"}],"title":"A Pattern-driven Development Process for Quality Standard-conforming Business Process Models","year":"2006","status":"public","date_updated":"2022-01-06T07:03:48Z","_id":"7955","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"page":"135-142","user_id":"52534"},{"abstract":[{"lang":"eng","text":"The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level, to the model level. It uses visual contracts for graphically specifying the pre- and post-conditions of an operation. Java classes with JML (Java Modeling Language) assertions are generated from visual contracts to facilitate automatic monitoring of the correctness of the programmer's implementation."}],"citation":{"mla":"Lohmann, Marc, et al. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, IEEE Computer Society, 2006, pp. 355–56, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>.","bibtex":"@inproceedings{Lohmann_Engels_Sauer_2006, place={Los Alamitos, CA, USA}, title={Model-driven Monitoring: Generating Assertions from Visual Contracts}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>}, booktitle={Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Lohmann, Marc and Engels, Gregor and Sauer, Stefan}, year={2006}, pages={355–356} }","ama":"Lohmann M, Engels G, Sauer S. Model-driven Monitoring: Generating Assertions from Visual Contracts. In: <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2006:355-356. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>","ieee":"M. Lohmann, G. Engels, and S. Sauer, “Model-driven Monitoring: Generating Assertions from Visual Contracts,” in <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, 2006, pp. 355–356.","apa":"Lohmann, M., Engels, G., &#38; Sauer, S. (2006). Model-driven Monitoring: Generating Assertions from Visual Contracts. In <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i> (pp. 355–356). Los Alamitos, CA, USA: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>","chicago":"Lohmann, Marc, Gregor Engels, and Stefan Sauer. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” In <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, 355–56. Los Alamitos, CA, USA: IEEE Computer Society, 2006. <a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>.","short":"M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, Los Alamitos, CA, USA, 2006, pp. 355–356."},"publication":"Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)","department":[{"_id":"66"}],"type":"conference","place":"Los Alamitos, CA, USA","date_created":"2019-02-21T11:44:23Z","date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"id":"447","full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer"}],"year":"2006","status":"public","title":"Model-driven Monitoring: Generating Assertions from Visual Contracts","doi":"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52","user_id":"52534","publisher":"IEEE Computer Society","_id":"7956","language":[{"iso":"eng"}],"page":"355-356"},{"status":"public","user_id":"52534","volume":79,"page":"111-122","publisher":"Gesellschaft für Informatik (GI)","_id":"7957","citation":{"ieee":"G. Engels, B. Güldali, O. Juwig, M. Lohmann, and J.-P. Richter, “Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen,” in <i>Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>, 2006, vol. 79, pp. 111–122.","mla":"Engels, Gregor, et al. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten Architekturen.” <i>Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>, vol. 79, Gesellschaft für Informatik (GI), 2006, pp. 111–22, doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","apa":"Engels, G., Güldali, B., Juwig, O., Lohmann, M., &#38; Richter, J.-P. (2006). Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In <i>Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i> (Vol. 79, pp. 111–122). Bonn: Gesellschaft für Informatik (GI). <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>","bibtex":"@inproceedings{Engels_Güldali_Juwig_Lohmann_Richter_2006, place={Bonn}, series={Lecture Notes in Informatics}, title={Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen}, volume={79}, DOI={<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>}, booktitle={Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Güldali, Baris and Juwig, Oliver and Lohmann, Marc and Richter, Jan-Peter}, year={2006}, pages={111–122}, collection={Lecture Notes in Informatics} }","chicago":"Engels, Gregor, Baris Güldali, Oliver Juwig, Marc Lohmann, and Jan-Peter Richter. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten Architekturen.” In <i>Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>, 79:111–22. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2006. <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","short":"G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 111–122.","ama":"Engels G, Güldali B, Juwig O, Lohmann M, Richter J-P. Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: <i>Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>. Vol 79. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:111-122. doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>"},"place":"Bonn","date_updated":"2022-01-06T07:03:48Z","intvolume":"        79","year":"2006","title":"Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"full_name":"Güldali, Baris","first_name":"Baris","last_name":"Güldali"},{"last_name":"Juwig","first_name":"Oliver","full_name":"Juwig, Oliver"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"first_name":"Jan-Peter","last_name":"Richter","full_name":"Richter, Jan-Peter"}],"doi":"http://dx.doi.org/10.1007/11841883","series_title":"Lecture Notes in Informatics","language":[{"iso":"eng"}],"abstract":[{"text":"Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden. Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im Kontext einer SOA vor.","lang":"eng"}],"publication":"Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)","type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:44:25Z"},{"date_updated":"2022-01-06T07:03:52Z","author":[{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"full_name":"Richter, Jan-Peter","first_name":"Jan-Peter","last_name":"Richter"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Güldali, Baris","last_name":"Güldali","first_name":"Baris"},{"full_name":"Juwig, Oliver","first_name":"Oliver","last_name":"Juwig"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"}],"status":"public","title":"Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie","year":"2006","user_id":"52534","_id":"8215","language":[{"iso":"eng"}],"publisher":"University of Paderborn, s-lab","report_number":"1","citation":{"ama":"Lohmann M, Richter J-P, Engels G, Güldali B, Juwig O, Sauer S. <i>Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab; 2006.","bibtex":"@book{Lohmann_Richter_Engels_Güldali_Juwig_Sauer_2006, title={Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie}, publisher={University of Paderborn, s-lab}, author={Lohmann, Marc and Richter, Jan-Peter and Engels, Gregor and Güldali, Baris and Juwig, Oliver and Sauer, Stefan}, year={2006} }","mla":"Lohmann, Marc, et al. <i>Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006.","short":"M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University of Paderborn, s-lab, 2006.","chicago":"Lohmann, Marc, Jan-Peter Richter, Gregor Engels, Baris Güldali, Oliver Juwig, and Stefan Sauer. <i>Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006.","apa":"Lohmann, M., Richter, J.-P., Engels, G., Güldali, B., Juwig, O., &#38; Sauer, S. (2006). <i>Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie</i>. University of Paderborn, s-lab.","ieee":"M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, and S. Sauer, <i>Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006."},"department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:13:14Z"},{"citation":{"mla":"Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts.” <i>International Journal on Software Tools for Technology Transfer (STTT)</i>, vol. 9, no. 2, 2006, pp. 193–207.","ama":"Heckel R, Lohmann M. Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts. <i>International Journal on Software Tools for Technology Transfer (STTT)</i>. 2006;9(2):193-207.","bibtex":"@article{Heckel_Lohmann_2006, title={Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts}, volume={9}, number={2}, journal={International Journal on Software Tools for Technology Transfer (STTT)}, author={Heckel, Reiko and Lohmann, Marc}, year={2006}, pages={193–207} }","apa":"Heckel, R., &#38; Lohmann, M. (2006). Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts. <i>International Journal on Software Tools for Technology Transfer (STTT)</i>, <i>9</i>(2), 193–207.","ieee":"R. Heckel and M. Lohmann, “Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts,” <i>International Journal on Software Tools for Technology Transfer (STTT)</i>, vol. 9, no. 2, pp. 193–207, 2006.","chicago":"Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts.” <i>International Journal on Software Tools for Technology Transfer (STTT)</i> 9, no. 2 (2006): 193–207.","short":"R. Heckel, M. Lohmann, International Journal on Software Tools for Technology Transfer (STTT) 9 (2006) 193–207."},"issue":"2","publication":"International Journal on Software Tools for Technology Transfer (STTT)","department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-31T15:28:56Z","intvolume":"         9","date_updated":"2022-01-06T07:03:35Z","author":[{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"}],"title":"Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts","year":"2006","status":"public","volume":9,"user_id":"52534","language":[{"iso":"eng"}],"_id":"7376","page":"193-207"},{"page":"233-259","language":[{"iso":"eng"}],"_id":"7377","user_id":"52534","doi":"http://dx.doi.org/10.1007/s10270-006-0018-8","volume":5,"year":"2006","status":"public","title":"Definition and Validation of Model Transformations","author":[{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"}],"date_updated":"2022-01-06T07:03:35Z","intvolume":"         5","date_created":"2019-01-31T15:29:26Z","type":"journal_article","department":[{"_id":"66"}],"publication":"Software and Systems Modeling","issue":"3","citation":{"ama":"Küster J. Definition and Validation of Model Transformations. <i>Software and Systems Modeling</i>. 2006;5(3):233-259. doi:<a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>","bibtex":"@article{Küster_2006, title={Definition and Validation of Model Transformations}, volume={5}, DOI={<a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>}, number={3}, journal={Software and Systems Modeling}, author={Küster, Jochen}, year={2006}, pages={233–259} }","mla":"Küster, Jochen. “Definition and Validation of Model Transformations.” <i>Software and Systems Modeling</i>, vol. 5, no. 3, 2006, pp. 233–59, doi:<a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>.","chicago":"Küster, Jochen. “Definition and Validation of Model Transformations.” <i>Software and Systems Modeling</i> 5, no. 3 (2006): 233–59. <a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>.","short":"J. Küster, Software and Systems Modeling 5 (2006) 233–259.","apa":"Küster, J. (2006). Definition and Validation of Model Transformations. <i>Software and Systems Modeling</i>, <i>5</i>(3), 233–259. <a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>","ieee":"J. Küster, “Definition and Validation of Model Transformations,” <i>Software and Systems Modeling</i>, vol. 5, no. 3, pp. 233–259, 2006."}},{"date_updated":"2022-01-06T07:03:39Z","year":"2006","title":"The Web Application Development Process","status":"public","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"full_name":"Wagner, Annika","first_name":"Annika","last_name":"Wagner"}],"user_id":"52534","editor":[{"last_name":"Kappel, B. Pröll, S. Reich, W. Retschitzegger","first_name":"G.","full_name":"Kappel, B. Pröll, S. Reich, W. Retschitzegger, G."}],"_id":"7549","language":[{"iso":"eng"}],"publisher":"Wiley","abstract":[{"lang":"eng","text":"The current situation of ad hoc development of Web applications reminds us of the software development practices of the 1960s, before it was realized that the development of applications required more than programming expertise. This book counteracts this situation by giving a comprehensive, practice-oriented and thorough insight into the new discipline of Web Engineering. The text highlights the need to examine and re-use the body of knowledge found within software engineering. It demonstrates how to use that knowledge within the Web environment, in order to achieve a highly disciplined and methodological means of producing Web-based software, putting emphasize on current practices, experiences and pitfalls. The book demonstrates the distinctions between software engineering and Web engineering, for instance, the shorter lead times that Web engineering has compared to its software counterpart, whilst also demonstrating the rapid prototyping and agile methods of development needed to meet these criteria. The book covers important topics of Web Engineering, including requirements analysis, design, architectures, technologies, test, operation and maintenance; this is complemented by in-depth knowledge about Web project management and process issues as well as important quality aspects of Web applications like usability, performance and security. An overview of Semantic Web concepts points the way to the development of future Web applications."}],"publication":"Web Engineering: The Discipline of Systematic Development of Web Applications","citation":{"ieee":"G. Engels, M. Lohmann, and A. Wagner, “The Web Application Development Process,” in <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>, G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Ed. Wiley, 2006.","apa":"Engels, G., Lohmann, M., &#38; Wagner, A. (2006). The Web Application Development Process. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>. Wiley.","chicago":"Engels, Gregor, Marc Lohmann, and Annika Wagner. “The Web Application Development Process.” In <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger. Wiley, 2006.","short":"G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development of Web Applications, Wiley, 2006.","mla":"Engels, Gregor, et al. “The Web Application Development Process.” <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Wiley, 2006.","bibtex":"@inbook{Engels_Lohmann_Wagner_2006, title={The Web Application Development Process}, booktitle={Web Engineering: The Discipline of Systematic Development of Web Applications}, publisher={Wiley}, author={Engels, Gregor and Lohmann, Marc and Wagner, Annika}, editor={Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.Editor}, year={2006} }","ama":"Engels G, Lohmann M, Wagner A. The Web Application Development Process. In: Kappel, B. Pröll, S. Reich, W. Retschitzegger G, ed. <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>. Wiley; 2006."},"type":"book_chapter","department":[{"_id":"66"}],"date_created":"2019-02-05T13:03:09Z"},{"citation":{"apa":"Lohmann, M. (2006). <i>Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen</i>.","ieee":"M. Lohmann, <i>Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen</i>. 2006.","chicago":"Lohmann, Marc. <i>Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen</i>, 2006.","short":"M. Lohmann, Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen, 2006.","mla":"Lohmann, Marc. <i>Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen</i>. 2006.","ama":"Lohmann M. <i>Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen</i>.; 2006.","bibtex":"@book{Lohmann_2006, title={Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen}, author={Lohmann, Marc}, year={2006} }"},"abstract":[{"text":"Service oriented architectures promise an easy integration of existing IT systems inside and outside of an organization. Service descriptions and software developers are the pivotal elements when systems are integrated over a service oriented architecture. The integration of a service into a client is based on its public service description. On the service provider side, a software developer develops a service description and implements a service accordingly. Today, a service is implemented mainly manual. Automated code generation techniques are seldom used. On the service requestor side, if a software developer needs a specific functionality he searches for a sufficient service. Thus, the success of service oriented architectures is strongly coupled to the content and usability of service descriptions by software developers. In this thesis we describe how to use contracts on the model level to enable a correct implementation and retrieval of services. In our approach we take the pivotal roles of the software developer and the public service description into account. Especially, we allow for a model-based semantic description, monitoring of the correctness of a service and the comparison of existing service descriptions. Therefore, our approach is based on three important techniques: Visual contracts allow for specifying the semantics of a service. A visual contract consists of a pair of UML composite structure diagrams for the representation of the pre- and post-condition of a service. By using UML composite structure diagrams, we have chosen a graphical notation that is familiar to software developers and easily integrates with today’s model-driven software development processes. By embedding our visual contracts into a software development process we are able to monitor the correctness of a hand-coded implementation. Therefore, we will show how models can be used to generate assertions which monitor the execution of the hand-coded implementation. Herewith, violations of the modeled requirements will be detected at runtime. We call this novel approach model-driven monitoring. Model-driven Matching is a new approach to enable a model-based query of existing services. Therefore, we allow for using visual contracts on the service requestor side to describe a needed service. A matching procedure checks the compatibility of a service description and a service query.","lang":"eng"}],"date_created":"2019-02-06T14:24:25Z","department":[{"_id":"66"}],"type":"dissertation","author":[{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"year":"2006","title":"Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen","status":"public","date_updated":"2022-01-06T07:03:40Z","language":[{"iso":"eng"}],"_id":"7580","user_id":"52534"},{"citation":{"ama":"Cherchago A. <i>Service Specification and Matching Based on Graph Transformation</i>.; 2006.","bibtex":"@book{Cherchago_2006, title={Service Specification and Matching Based on Graph Transformation}, author={Cherchago, Alexey}, year={2006} }","mla":"Cherchago, Alexey. <i>Service Specification and Matching Based on Graph Transformation</i>. 2006.","chicago":"Cherchago, Alexey. <i>Service Specification and Matching Based on Graph Transformation</i>, 2006.","short":"A. Cherchago, Service Specification and Matching Based on Graph Transformation, 2006.","apa":"Cherchago, A. (2006). <i>Service Specification and Matching Based on Graph Transformation</i>.","ieee":"A. Cherchago, <i>Service Specification and Matching Based on Graph Transformation</i>. 2006."},"abstract":[{"lang":"eng","text":"One of the main tasks of modern application integration projects is to allow one business unit (requestor) to use services offered by another business unit (provider). When software systems of business partners are composed, an import interface of the requestor system is connected to an exportinterface of the provider system. Here, the import interface specification containing the requestor's requirements for a needed service has to be matched against the export interface specification describing the provided service. Usually, software engineers carry out matching of interface specifications manually; it makes the design and implementation of composite software expensive and error-prone. Therefore, the demand for instruments that would automate the matching procedure is high. In this thesis, we develop a new technique facilitating integration of software systems. To this end, we solve a problem of how to construct visual and formal interface specifications comprising semantic descriptions. Our method also includes a matching procedure that checks compatibility of such specifications. Interface specifications consist of structural and behavioural compartments. The structural compartment, given by a signature analogous to those appearing in algebraic specifications, defines operation declarations. The behavioural compartment, modelled by a conditional graph transformation system (GTS), contains operation contracts in the form of graph transformation rules. The rules of conditional GTS are equipped with loose semantics to describe operations in the import interface, and with strict semantics to describe those in the export interface. Composition of two compartments leads to an integral interface specification which is represented by the novel concept of parameterized conditional GTS. We develop three kinds of compatibility relations underlying the matching procedure. The intended correspondence between declarations and contracts of the required and provided operations is reflected by structural and behavioural compatibility relations that are established over the corresponding compartments of interface specifications. These two compatibility relations are combined into an integral compatibility relation that links the integral specification of the import interface to the one of the export interface. Furthermore, the constructed relations are equipped with rigorously formulated semantic requirements to compatibility and are justified against them. The introduced mathematical theory is supplemented with a conceptual framework. It is aimed at generating interface specifications that are suitable for automation of the matching process. The framework is based on an industry standard that outlines a uniform way of generating specifications. We use the standard issued by the Open Travel Alliance (OTA) in our example scenario where we develop and match standard-based interface specifications of Web services taken from the travelling business domain. Compatibility of interface specifications is necessary but not sufficient for accurate interactions between systems. The integration process is based on the assumption that these systems are correct. First and foremost, this correctness means that interface specifications representing externally visible parts of systems are consistent with implementations which appear internally in the systems. To check this assumption, we propose a model describing external as well as internal parts of a system. The model, formally represented by a graph transformation module, defines consistency relations between external and internal specifications and allows to validate correctness of systems prior to the integration. The proposed model and the matching procedure developed in the thesis are the key elements of a technology designed to improve the application integration process, making it theoretically well-defined and practically machine-processable."}],"date_created":"2019-02-06T14:25:17Z","department":[{"_id":"66"}],"type":"dissertation","author":[{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"}],"year":"2006","title":"Service Specification and Matching Based on Graph Transformation","status":"public","date_updated":"2022-01-06T07:03:40Z","language":[{"iso":"eng"}],"_id":"7581","user_id":"52534"},{"_id":"8404","language":[{"iso":"eng"}],"page":"25-28","user_id":"52534","author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"full_name":"Rettberg, Achim","first_name":"Achim","last_name":"Rettberg"},{"first_name":"Rainer","last_name":"Dömer","full_name":"Dömer, Rainer"}],"title":"Design Space Exploration through Interactive Model Mappings for UML-based Specifications","status":"public","year":"2006","date_updated":"2022-01-06T07:03:54Z","date_created":"2019-03-06T11:44:45Z","department":[{"_id":"66"}],"type":"conference","citation":{"ama":"Schattkowsky T, Rettberg A, Dömer R. Design Space Exploration through Interactive Model Mappings for UML-based Specifications. In: <i>Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>. ; 2006:25-28.","bibtex":"@inproceedings{Schattkowsky_Rettberg_Dömer_2006, title={Design Space Exploration through Interactive Model Mappings for UML-based Specifications}, booktitle={Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)}, author={Schattkowsky, Tim and Rettberg, Achim and Dömer, Rainer}, year={2006}, pages={25–28} }","mla":"Schattkowsky, Tim, et al. “Design Space Exploration through Interactive Model Mappings for UML-Based Specifications.” <i>Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>, 2006, pp. 25–28.","short":"T. Schattkowsky, A. Rettberg, R. Dömer, in: Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.","chicago":"Schattkowsky, Tim, Achim Rettberg, and Rainer Dömer. “Design Space Exploration through Interactive Model Mappings for UML-Based Specifications.” In <i>Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>, 25–28, 2006.","apa":"Schattkowsky, T., Rettberg, A., &#38; Dömer, R. (2006). Design Space Exploration through Interactive Model Mappings for UML-based Specifications. In <i>Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i> (pp. 25–28).","ieee":"T. Schattkowsky, A. Rettberg, and R. Dömer, “Design Space Exploration through Interactive Model Mappings for UML-based Specifications,” in <i>Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>, 2006, pp. 25–28."},"publication":"Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)"},{"author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"last_name":"Güldali","first_name":"Baris","full_name":"Güldali, Baris"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"title":"Towards Model-Driven Unit Testing","status":"public","year":"2006","date_updated":"2022-01-06T07:03:54Z","publisher":"Le Commissariat à l'Energie Atomique - CEA","_id":"8405","language":[{"iso":"eng"}],"page":"16-29","user_id":"52534","citation":{"chicago":"Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In <i>Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>, 16–29. Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA, 2006.","short":"G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.","ieee":"G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,” in <i>Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>, 2006, pp. 16–29.","apa":"Engels, G., Güldali, B., &#38; Lohmann, M. (2006). Towards Model-Driven Unit Testing. In <i>Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i> (pp. 16–29). Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA.","bibtex":"@inproceedings{Engels_Güldali_Lohmann_2006, place={Berlin / Heidelberg}, title={Towards Model-Driven Unit Testing}, booktitle={Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)}, publisher={Le Commissariat à l’Energie Atomique - CEA}, author={Engels, Gregor and Güldali, Baris and Lohmann, Marc}, year={2006}, pages={16–29} }","ama":"Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>. Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA; 2006:16-29.","mla":"Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>, Le Commissariat à l’Energie Atomique - CEA, 2006, pp. 16–29."},"publication":"Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)","abstract":[{"lang":"eng","text":"The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present an approach to extend our model-driven monitoring approach to allow for model-driven unit testing. In this approach we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques."}],"date_created":"2019-03-06T11:44:46Z","place":"Berlin / Heidelberg","department":[{"_id":"66"}],"type":"conference"},{"publication":"Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)","citation":{"ieee":"G. Engels, M. Gehrke, and S. Sauer, “Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie,” in <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)</i>, 2006, vol. 93, pp. 281–287.","apa":"Engels, G., Gehrke, M., &#38; Sauer, S. (2006). Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie. In <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)</i> (Vol. 93, pp. 281–287). Bonn: Gesellschaft für Informatik (GI).","short":"G. Engels, M. Gehrke, S. Sauer, in: Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 281–287.","chicago":"Engels, Gregor, Matthias Gehrke, and Stefan Sauer. “Multi-Private Public Partnership (MPPP) - Softwaretechnik Auf Dem Weg in Die Industrie.” In <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen)</i>, 93:281–87. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2006.","mla":"Engels, Gregor, et al. “Multi-Private Public Partnership (MPPP) - Softwaretechnik Auf Dem Weg in Die Industrie.” <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen)</i>, vol. 93, Gesellschaft für Informatik (GI), 2006, pp. 281–87.","bibtex":"@inproceedings{Engels_Gehrke_Sauer_2006, place={Bonn}, series={Lecture Notes in Informatics}, title={Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie}, volume={93}, booktitle={Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Gehrke, Matthias and Sauer, Stefan}, year={2006}, pages={281–287}, collection={Lecture Notes in Informatics} }","ama":"Engels G, Gehrke M, Sauer S. Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie. In: <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen)</i>. Vol 93. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:281-287."},"type":"conference","department":[{"_id":"66"}],"place":"Bonn","date_created":"2019-03-06T11:44:48Z","date_updated":"2022-01-06T07:03:54Z","intvolume":"        93","status":"public","title":"Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie","year":"2006","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Gehrke","first_name":"Matthias","full_name":"Gehrke, Matthias"},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}],"user_id":"52534","volume":93,"page":"281-287","_id":"8406","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics","publisher":"Gesellschaft für Informatik (GI)"},{"citation":{"apa":"Frohnhoff, S., Jung, V., &#38; Engels, G. (2006). Use Case Points in der industriellen Praxis. In <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i> (pp. 511–526). Magdeburger Schriften zum Empirischen Software-Engineering.","ieee":"S. Frohnhoff, V. Jung, and G. Engels, “Use Case Points in der industriellen Praxis,” in <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>, 2006, pp. 511–526.","chicago":"Frohnhoff, Stephan, Volker Jung, and Gregor Engels. “Use Case Points in Der Industriellen Praxis.” In <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>, 511–26. Magdeburger Schriften zum Empirischen Software-Engineering, 2006.","short":"S. Frohnhoff, V. Jung, G. Engels, in: Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany), Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp. 511–526.","mla":"Frohnhoff, Stephan, et al. “Use Case Points in Der Industriellen Praxis.” <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>, Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp. 511–26.","ama":"Frohnhoff S, Jung V, Engels G. Use Case Points in der industriellen Praxis. In: <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>. Magdeburger Schriften zum Empirischen Software-Engineering; 2006:511-526.","bibtex":"@inproceedings{Frohnhoff_Jung_Engels_2006, title={Use Case Points in der industriellen Praxis}, booktitle={Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)}, publisher={Magdeburger Schriften zum Empirischen Software-Engineering}, author={Frohnhoff, Stephan and Jung, Volker and Engels, Gregor}, year={2006}, pages={511–526} }"},"publication":"Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-06T11:44:49Z","date_updated":"2022-01-06T07:03:54Z","author":[{"first_name":"Stephan","last_name":"Frohnhoff","full_name":"Frohnhoff, Stephan"},{"full_name":"Jung, Volker","first_name":"Volker","last_name":"Jung"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"title":"Use Case Points in der industriellen Praxis","year":"2006","status":"public","user_id":"52534","publisher":"Magdeburger Schriften zum Empirischen Software-Engineering","_id":"8407","language":[{"iso":"eng"}],"page":"511-526"},{"department":[{"_id":"66"}],"type":"conference","place":"Amsterdam, The Netherlands","date_created":"2019-03-06T11:44:50Z","citation":{"mla":"Koehler, Jana, et al. “The Role of Visual Modeling and Model Transformations in Business-Driven Development.” <i>Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques</i>, vol. 211, Elsevier, 2006, pp. 5–15, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2008.04.025\">http://dx.doi.org/10.1016/j.entcs.2008.04.025</a>.","apa":"Koehler, J., Hauser, R., Küster, J., Ryndina, K., Vanhatalo, J., &#38; Wahler, M. (2006). The Role of Visual Modeling and Model Transformations in Business-driven Development. In <i>Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques</i> (Vol. 211, pp. 5–15). Amsterdam, The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2008.04.025\">http://dx.doi.org/10.1016/j.entcs.2008.04.025</a>","ieee":"J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, and M. Wahler, “The Role of Visual Modeling and Model Transformations in Business-driven Development,” in <i>Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques</i>, 2006, vol. 211, pp. 5–15.","chicago":"Koehler, Jana, Rainer Hauser, Jochen Küster, Ksenia Ryndina, Jussi Vanhatalo, and Michael Wahler. “The Role of Visual Modeling and Model Transformations in Business-Driven Development.” In <i>Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques</i>, 211:5–15. ENTCS. Amsterdam, The Netherlands: Elsevier, 2006. <a href=\"http://dx.doi.org/10.1016/j.entcs.2008.04.025\">http://dx.doi.org/10.1016/j.entcs.2008.04.025</a>.","ama":"Koehler J, Hauser R, Küster J, Ryndina K, Vanhatalo J, Wahler M. The Role of Visual Modeling and Model Transformations in Business-driven Development. In: <i>Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques</i>. Vol 211. ENTCS. Amsterdam, The Netherlands: Elsevier; 2006:5-15. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2008.04.025\">http://dx.doi.org/10.1016/j.entcs.2008.04.025</a>","short":"J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, M. Wahler, in: Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Elsevier, Amsterdam, The Netherlands, 2006, pp. 5–15.","bibtex":"@inproceedings{Koehler_Hauser_Küster_Ryndina_Vanhatalo_Wahler_2006, place={Amsterdam, The Netherlands}, series={ENTCS}, title={The Role of Visual Modeling and Model Transformations in Business-driven Development}, volume={211}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2008.04.025\">http://dx.doi.org/10.1016/j.entcs.2008.04.025</a>}, booktitle={Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques}, publisher={Elsevier}, author={Koehler, Jana and Hauser, Rainer and Küster, Jochen and Ryndina, Ksenia and Vanhatalo, Jussi and Wahler, Michael}, year={2006}, pages={5–15}, collection={ENTCS} }"},"publication":"Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques","volume":211,"doi":"http://dx.doi.org/10.1016/j.entcs.2008.04.025","user_id":"52534","publisher":"Elsevier","_id":"8408","language":[{"iso":"eng"}],"series_title":"ENTCS","page":"5-15","intvolume":"       211","date_updated":"2022-01-06T07:03:54Z","author":[{"full_name":"Koehler, Jana","last_name":"Koehler","first_name":"Jana"},{"first_name":"Rainer","last_name":"Hauser","full_name":"Hauser, Rainer"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"full_name":"Ryndina, Ksenia","first_name":"Ksenia","last_name":"Ryndina"},{"last_name":"Vanhatalo","first_name":"Jussi","full_name":"Vanhatalo, Jussi"},{"last_name":"Wahler","first_name":"Michael","full_name":"Wahler, Michael"}],"title":"The Role of Visual Modeling and Model Transformations in Business-driven Development","status":"public","year":"2006"},{"department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-03-06T11:44:51Z","citation":{"mla":"Küster, Jochen, and Mohamed Abd-El-Razik. “Validation of Model Transformations - First Experiences Using a White Box Approach.” <i>Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)</i>, vol. 4364/2007, Springer, 2006, pp. 62–77, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_24\">http://dx.doi.org/10.1007/978-3-540-69489-2_24</a>.","bibtex":"@inproceedings{Küster_Abd-El-Razik_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Validation of Model Transformations - First Experiences using a White Box Approach}, volume={4364/2007}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_24\">http://dx.doi.org/10.1007/978-3-540-69489-2_24</a>}, booktitle={Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)}, publisher={Springer}, author={Küster, Jochen and Abd-El-Razik, Mohamed}, year={2006}, pages={62–77}, collection={LNCS} }","ama":"Küster J, Abd-El-Razik M. Validation of Model Transformations - First Experiences using a White Box Approach. In: <i>Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)</i>. Vol 4364/2007. LNCS. Berlin/Heidelberg: Springer; 2006:62-77. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_24\">http://dx.doi.org/10.1007/978-3-540-69489-2_24</a>","ieee":"J. Küster and M. Abd-El-Razik, “Validation of Model Transformations - First Experiences using a White Box Approach,” in <i>Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)</i>, 2006, vol. 4364/2007, pp. 62–77.","apa":"Küster, J., &#38; Abd-El-Razik, M. (2006). Validation of Model Transformations - First Experiences using a White Box Approach. In <i>Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)</i> (Vol. 4364/2007, pp. 62–77). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_24\">http://dx.doi.org/10.1007/978-3-540-69489-2_24</a>","chicago":"Küster, Jochen, and Mohamed Abd-El-Razik. “Validation of Model Transformations - First Experiences Using a White Box Approach.” In <i>Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)</i>, 4364/2007:62–77. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_24\">http://dx.doi.org/10.1007/978-3-540-69489-2_24</a>.","short":"J. Küster, M. Abd-El-Razik, in: Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France), Springer, Berlin/Heidelberg, 2006, pp. 62–77."},"publication":"Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France)","volume":"4364/2007","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_24","user_id":"52534","series_title":"LNCS","_id":"8409","language":[{"iso":"eng"}],"publisher":"Springer","page":"62-77","date_updated":"2022-01-06T07:03:54Z","author":[{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"full_name":"Abd-El-Razik, Mohamed","last_name":"Abd-El-Razik","first_name":"Mohamed"}],"title":"Validation of Model Transformations - First Experiences using a White Box Approach","status":"public","year":"2006"}]