[{"issue":"1","page":"15-33","intvolume":"        70","citation":{"apa":"Heckel, R., &#38; Cherchago, A. (2007). Structural and Behavioural Compatibility of Graphical Service Specifications. <i>Logic and Algebraic Programming</i>, <i>70</i>(1), 15–33.","short":"R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.","bibtex":"@article{Heckel_Cherchago_2007, title={Structural and Behavioural Compatibility of Graphical Service Specifications}, volume={70}, number={1}, journal={Logic and Algebraic Programming}, author={Heckel, Reiko and Cherchago, Alexey}, year={2007}, pages={15–33} }","mla":"Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i>, vol. 70, no. 1, 2007, pp. 15–33.","ama":"Heckel R, Cherchago A. Structural and Behavioural Compatibility of Graphical Service Specifications. <i>Logic and Algebraic Programming</i>. 2007;70(1):15-33.","chicago":"Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i> 70, no. 1 (2007): 15–33.","ieee":"R. Heckel and A. Cherchago, “Structural and Behavioural Compatibility of Graphical Service Specifications,” <i>Logic and Algebraic Programming</i>, vol. 70, no. 1, pp. 15–33, 2007."},"year":"2007","volume":70,"author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"}],"date_created":"2019-01-31T15:27:49Z","date_updated":"2022-01-06T07:03:35Z","title":"Structural and Behavioural Compatibility of Graphical Service Specifications","publication":"Logic and Algebraic Programming","type":"journal_article","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"7374","language":[{"iso":"eng"}]},{"_id":"7375","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"journal_article","publication":"Forschungsforum Paderborn","status":"public","date_updated":"2022-01-06T07:03:35Z","author":[{"first_name":"Jan-Christopher","full_name":"Bals, Jan-Christopher","last_name":"Bals"},{"last_name":"Christ","full_name":"Christ, Fabian","first_name":"Fabian"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"}],"date_created":"2019-01-31T15:28:21Z","volume":10,"title":"Software-Qualität - überall! - Excel-lente Software","year":"2007","citation":{"ama":"Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>. 2007;10:56-60.","ieee":"J.-C. Bals, F. Christ, G. Engels, and S. Sauer, “Software-Qualität - überall! - Excel-lente Software,” <i>Forschungsforum Paderborn</i>, vol. 10, pp. 56–60, 2007.","chicago":"Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Stefan Sauer. “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i> 10 (2007): 56–60.","mla":"Bals, Jan-Christopher, et al. “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i>, vol. 10, 2007, pp. 56–60.","bibtex":"@article{Bals_Christ_Engels_Sauer_2007, title={Software-Qualität - überall! - Excel-lente Software}, volume={10}, journal={Forschungsforum Paderborn}, author={Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}, year={2007}, pages={56–60} }","short":"J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 56–60.","apa":"Bals, J.-C., Christ, F., Engels, G., &#38; Sauer, S. (2007). Software-Qualität - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>, <i>10</i>, 56–60."},"page":"56-60","intvolume":"        10"},{"abstract":[{"lang":"eng","text":"Service-oriented computing is distinguished by its use of dynamic discovery and binding for the integration of services at runtime. This poses a challenge for testing, in particular, of the interaction between services. We propose a model-driven solution to address this challenge. Service descriptions are promoted from largely syntactical to behavioural specifications of services in terms of contracts (pre-conditions and effects of operations), expressed in a visual UML-like notion. Through mappings to semantic web languages and the Java Modeling Language (JML) contracts support the automatic discovery of services as well as the derivation of test cases and their execution and monitoring. We discuss an extended life cycle model for services based on the model-driven approach and illustrate its application using a model of a hotel reservation service."}],"editor":[{"first_name":"L.","last_name":"Baresi, E. Di Nitto","full_name":"Baresi, E. Di Nitto, L."}],"status":"public","publication":"Test and Analysis of Web Services","type":"book_chapter","language":[{"iso":"eng"}],"_id":"7551","department":[{"_id":"66"}],"user_id":"52534","place":"Berlin/Heidelberg","year":"2007","page":"173-204","citation":{"mla":"Lohmann, Marc, et al. “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.” <i>Test and Analysis of Web Services</i>, edited by L. Baresi, E. Di Nitto, Springer, 2007, pp. 173–204.","short":"M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204.","bibtex":"@inbook{Lohmann_Mariani_Heckel_2007, place={Berlin/Heidelberg}, title={A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services}, booktitle={Test and Analysis of Web Services}, publisher={Springer}, author={Lohmann, Marc and Mariani, Leonardo and Heckel, Reiko}, editor={Baresi, E. Di Nitto, L.Editor}, year={2007}, pages={173–204} }","apa":"Lohmann, M., Mariani, L., &#38; Heckel, R. (2007). A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In L. Baresi, E. Di Nitto (Ed.), <i>Test and Analysis of Web Services</i> (pp. 173–204). Berlin/Heidelberg: Springer.","ama":"Lohmann M, Mariani L, Heckel R. A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In: Baresi, E. Di Nitto L, ed. <i>Test and Analysis of Web Services</i>. Berlin/Heidelberg: Springer; 2007:173-204.","chicago":"Lohmann, Marc, Leonardo Mariani, and Reiko Heckel. “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.” In <i>Test and Analysis of Web Services</i>, edited by L. Baresi, E. Di Nitto, 173–204. Berlin/Heidelberg: Springer, 2007.","ieee":"M. Lohmann, L. Mariani, and R. Heckel, “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services,” in <i>Test and Analysis of Web Services</i>, L. Baresi, E. Di Nitto, Ed. Berlin/Heidelberg: Springer, 2007, pp. 173–204."},"title":"A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services","publisher":"Springer","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-05T13:04:26Z","author":[{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"},{"first_name":"Leonardo","full_name":"Mariani, Leonardo","last_name":"Mariani"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}]},{"date_updated":"2022-01-06T07:03:40Z","author":[{"first_name":"Ping","full_name":"Guo, Ping","last_name":"Guo"}],"date_created":"2019-02-06T14:23:47Z","title":"Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems","year":"2007","citation":{"short":"P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems, 2007.","bibtex":"@book{Guo_2007, title={Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems}, author={Guo, Ping}, year={2007} }","mla":"Guo, Ping. <i>Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems</i>. 2007.","apa":"Guo, P. (2007). <i>Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems</i>.","ama":"Guo P. <i>Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems</i>.; 2007.","chicago":"Guo, Ping. <i>Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems</i>, 2007.","ieee":"P. Guo, <i>Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems</i>. 2007."},"_id":"7579","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"dissertation","abstract":[{"text":"Today, mobility is one of the most important market and technology trend within information and communication technology. As the demand for rapid deployment of dependable mobile applications increases, middleware for mobile systems is emerging as one of the most active areas of system research in mobility. The middleware is a set of distributed software services that exists between distributed operating systems and mobile applications. The key to the middleware is to provide support across the mobile application domains, help application developers overcome the complexity and problems brought by mobility, and enhance dependability and usability of developed mobile applications. The criticality and pervasiveness of middleware for mobile systems is continually growing. However, the design and development of the middleware are difficult tasks, and it is not easy to ensure the quality of a developed middleware. This is mainly caused by the increasing complexity of the middleware. In addition, the great diversity of this area makes it very difficult for the designers to reuse the already established design knowledge or successful experience when building new systems. All these make the design process quite inefficient and unpredictable, and therefore risking the project. “One man’s magic is another man’s engineering”. Engineering design is much more routine than innovative. Founding on this fundamental notion in software engineering, we develop an architectural style-based approach to deal with the problems in the thesis. We build architectural styles for a class of related middleware. The style represents a common form of design, which originates from the results that practitioners have achieved in one area. The style is formulated to repeat successes and avoid failures from previous projects. When building a new middleware, the designers and developers do not need to explore all possible alternatives for its supported architecture. Instead, they can use the architectural style that is effective for the middleware. They can define the design as instances of the style, or they can use the style as a reference model for further improvement and development. By structuring the design space for a family of related middleware, the style can drastically simplify the process of building a middleware, reduce costs of implementation through reusable infrastructure, and improve system integrity through style-specific analysis and checks. We develop the approach based on UML-like meta modeling and graph transformation techniques to support sound methodological principles, powerful modeling, formal analysis and refinement. The approach consists of several main parts: the modeling language that supports specification of the style and mobility, the refinement formalization that ensures that an abstract style is correctly refined to a concrete one, as well as the consistency check framework that validates behavioral consistency between two styles on different abstract layers. With the Fujaba simulation tool support, we also develop a style-based engineering process that helps us to efficiently develop correct and consistent styles. Besides, it allows a seamless integration of our approach into the well-known object oriented design. By providing a concrete example of how to construct the style for a class of related middleware, and how to use the style to help the design and development of a new middleware, we show that the architectural style-based approach is useful and practical.","lang":"eng"}],"status":"public"},{"status":"public","publication":"Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)","type":"conference","language":[{"iso":"eng"}],"_id":"8413","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","place":"Berlin/Heidelberg","year":"2007","page":"47-56","intvolume":"      5002","citation":{"ama":"Anastasakis K, Bordbar B, Küster J. Analysis of Model Transformations via Alloy. In: <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>. Vol 5002. LNCS. Berlin/Heidelberg: Springer; 2007:47-56.","ieee":"K. Anastasakis, B. Bordbar, and J. Küster, “Analysis of Model Transformations via Alloy,” in <i>Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, 2007, vol. 5002, pp. 47–56.","chicago":"Anastasakis, Kyriakos, Behzad Bordbar, and Jochen Küster. “Analysis of Model Transformations via Alloy.” In <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, 5002:47–56. LNCS. Berlin/Heidelberg: Springer, 2007.","apa":"Anastasakis, K., Bordbar, B., &#38; Küster, J. (2007). Analysis of Model Transformations via Alloy. In <i>Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i> (Vol. 5002, pp. 47–56). Berlin/Heidelberg: Springer.","bibtex":"@inproceedings{Anastasakis_Bordbar_Küster_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of Model Transformations via Alloy}, volume={5002}, booktitle={Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)}, publisher={Springer}, author={Anastasakis, Kyriakos and Bordbar, Behzad and Küster, Jochen}, year={2007}, pages={47–56}, collection={LNCS} }","mla":"Anastasakis, Kyriakos, et al. “Analysis of Model Transformations via Alloy.” <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, vol. 5002, Springer, 2007, pp. 47–56.","short":"K. Anastasakis, B. Bordbar, J. Küster, in: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 47–56."},"title":"Analysis of Model Transformations via Alloy","publisher":"Springer","date_updated":"2022-01-06T07:03:54Z","volume":5002,"date_created":"2019-03-06T11:44:56Z","author":[{"full_name":"Anastasakis, Kyriakos","last_name":"Anastasakis","first_name":"Kyriakos"},{"first_name":"Behzad","full_name":"Bordbar, Behzad","last_name":"Bordbar"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"}]},{"_id":"8414","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)","type":"conference","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."}],"status":"public","publisher":"Springer","date_updated":"2022-01-06T07:03:54Z","volume":4364,"date_created":"2019-03-06T11:44:57Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"full_name":"Güldali, Baris","last_name":"Güldali","first_name":"Baris"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"}],"title":"Towards Model-Driven Unit Testing","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_23","place":"Berlin/Heidelberg","year":"2007","page":"182-192","intvolume":"      4364","citation":{"chicago":"Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 4364:182–92. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.","ieee":"G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,” in <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 2007, vol. 4364, pp. 182–192.","ama":"Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>","apa":"Engels, G., Güldali, B., &#38; Lohmann, M. (2007). Towards Model-Driven Unit Testing. In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i> (Vol. 4364, pp. 182–192). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>","short":"G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg, 2007, pp. 182–192.","bibtex":"@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>}, booktitle={Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)}, publisher={Springer}, author={Engels, Gregor and Güldali, Baris and Lohmann, Marc}, year={2007}, pages={182–192}, collection={LNCS} }","mla":"Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, vol. 4364, Springer, 2007, pp. 182–92, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>."}},{"page":"329-330","intvolume":"      4364","citation":{"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} }","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.","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>.","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>","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>","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>.","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."},"year":"2007","place":"Berlin/Heidelberg","volume":4364,"author":[{"first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian","id":"1737"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"}],"date_created":"2019-03-06T11:44:58Z","publisher":"Springer","date_updated":"2022-01-06T07:03:54Z","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_42","title":"Analysis of UML Activities with Dynamic Meta Modeling Techniques","publication":"Symposium \"A Formal Semantics for UML\" (satellite event of the MoDELS conference 2006), Genova (Italy)","type":"conference","status":"public","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"14955","_id":"8415","language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T07:03:54Z","publisher":"Springer","volume":"4364/2007","date_created":"2019-03-06T11:44:59Z","author":[{"first_name":"Ksenia","full_name":"Ryndina, Ksenia","last_name":"Ryndina"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"last_name":"Gall","full_name":"Gall, Harald","first_name":"Harald"}],"title":"Consistency of Business Process Models and Object Life Cycles","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2","place":"Berlin/Heidelberg","year":"2007","page":"80-90","citation":{"bibtex":"@inproceedings{Ryndina_Küster_Gall_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Consistency of Business Process Models and Object Life Cycles}, volume={4364/2007}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2\">http://dx.doi.org/10.1007/978-3-540-69489-2</a>}, booktitle={Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))}, publisher={Springer}, author={Ryndina, Ksenia and Küster, Jochen and Gall, Harald}, year={2007}, pages={80–90}, collection={LNCS} }","short":"K. Ryndina, J. Küster, H. Gall, in: Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy)), Springer, Berlin/Heidelberg, 2007, pp. 80–90.","mla":"Ryndina, Ksenia, et al. “Consistency of Business Process Models and Object Life Cycles.” <i>Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))</i>, vol. 4364/2007, Springer, 2007, pp. 80–90, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2\">http://dx.doi.org/10.1007/978-3-540-69489-2</a>.","apa":"Ryndina, K., Küster, J., &#38; Gall, H. (2007). Consistency of Business Process Models and Object Life Cycles. In <i>Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))</i> (Vol. 4364/2007, pp. 80–90). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2\">http://dx.doi.org/10.1007/978-3-540-69489-2</a>","ieee":"K. Ryndina, J. Küster, and H. Gall, “Consistency of Business Process Models and Object Life Cycles,” in <i>Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))</i>, 2007, vol. 4364/2007, pp. 80–90.","chicago":"Ryndina, Ksenia, Jochen Küster, and Harald Gall. “Consistency of Business Process Models and Object Life Cycles.” In <i>Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))</i>, 4364/2007:80–90. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2\">http://dx.doi.org/10.1007/978-3-540-69489-2</a>.","ama":"Ryndina K, Küster J, Gall H. Consistency of Business Process Models and Object Life Cycles. In: <i>Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))</i>. Vol 4364/2007. LNCS. Berlin/Heidelberg: Springer; 2007:80-90. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2\">http://dx.doi.org/10.1007/978-3-540-69489-2</a>"},"_id":"8416","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","language":[{"iso":"eng"}],"publication":"Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))","type":"conference","status":"public"},{"status":"public","abstract":[{"text":"With the introduction of new Petri net-like semantics for Activities in UML 2.0, these have become a complete language for modeling behavior. Thus, UML Activities are nowadays investigated for application in many areas from embedded systems to business process modeling. However, some issues have been discovered that currently seem to limit the practical applicability of Activities. In this paper, we present an overview of the identified semantic and syntactic problems, and point at possible solutions and directions for future research.","lang":"eng"}],"type":"conference","publication":"Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8417","citation":{"bibtex":"@inproceedings{Schattkowsky_Förster_2007, place={Los Alamitos, CA, USA}, title={On the Pitfalls of UML Activity Modeling}, DOI={<a href=\"http://dx.doi.org/10.1109/MISE.2007.12\">http://dx.doi.org/10.1109/MISE.2007.12</a>}, booktitle={Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Förster, Alexander}, year={2007}, pages={8} }","short":"T. Schattkowsky, A. Förster, in: Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA), IEEE Computer Society, Los Alamitos, CA, USA, 2007, p. 8.","mla":"Schattkowsky, Tim, and Alexander Förster. “On the Pitfalls of UML Activity Modeling.” <i>Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)</i>, IEEE Computer Society, 2007, p. 8, doi:<a href=\"http://dx.doi.org/10.1109/MISE.2007.12\">http://dx.doi.org/10.1109/MISE.2007.12</a>.","apa":"Schattkowsky, T., &#38; Förster, A. (2007). On the Pitfalls of UML Activity Modeling. In <i>Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)</i> (p. 8). Los Alamitos, CA, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/MISE.2007.12\">http://dx.doi.org/10.1109/MISE.2007.12</a>","chicago":"Schattkowsky, Tim, and Alexander Förster. “On the Pitfalls of UML Activity Modeling.” In <i>Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)</i>, 8. Los Alamitos, CA, USA: IEEE Computer Society, 2007. <a href=\"http://dx.doi.org/10.1109/MISE.2007.12\">http://dx.doi.org/10.1109/MISE.2007.12</a>.","ieee":"T. Schattkowsky and A. Förster, “On the Pitfalls of UML Activity Modeling,” in <i>Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)</i>, 2007, p. 8.","ama":"Schattkowsky T, Förster A. On the Pitfalls of UML Activity Modeling. In: <i>Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2007:8. doi:<a href=\"http://dx.doi.org/10.1109/MISE.2007.12\">http://dx.doi.org/10.1109/MISE.2007.12</a>"},"page":"8","place":"Los Alamitos, CA, USA","year":"2007","doi":"http://dx.doi.org/10.1109/MISE.2007.12","title":"On the Pitfalls of UML Activity Modeling","date_created":"2019-03-06T11:45:01Z","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"first_name":"Alexander","last_name":"Förster","full_name":"Förster, Alexander"}],"date_updated":"2022-01-06T07:03:54Z","publisher":"IEEE Computer Society"},{"volume":214,"date_created":"2019-02-19T18:41:21Z","date_updated":"2022-01-06T07:03:46Z","publisher":"CEUR-WS.org","title":"Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference","intvolume":"       214","citation":{"chicago":"Pleuß, Andreas, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer, and Alexander Bödcher, eds. <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference</i>. Vol. 214. CEUR Workshop Proceedings. CEUR-WS.org, 2006.","ieee":"A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, and A. Bödcher, Eds., <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference</i>, vol. 214. CEUR-WS.org, 2006.","ama":"Pleuß A, Van den Bergh J, Hußmann H, Sauer S, Bödcher A, eds. <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference</i>. Vol 214. CEUR-WS.org; 2006.","bibtex":"@book{Pleuß_Van den Bergh_Hußmann_Sauer_Bödcher_2006, series={CEUR Workshop Proceedings}, title={Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference}, volume={214}, publisher={CEUR-WS.org}, year={2006}, collection={CEUR Workshop Proceedings} }","short":"A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, A. Bödcher, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference, CEUR-WS.org, 2006.","mla":"Pleuß, Andreas, et al., editors. <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference</i>. Vol. 214, CEUR-WS.org, 2006.","apa":"Pleuß, A., Van den Bergh, J., Hußmann, H., Sauer, S., &#38; Bödcher, A. (Eds.). (2006). <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference</i> (Vol. 214). CEUR-WS.org."},"year":"2006","department":[{"_id":"66"}],"user_id":"52534","series_title":"CEUR Workshop Proceedings","_id":"7780","language":[{"iso":"eng"}],"type":"conference_editor","status":"public","editor":[{"full_name":"Pleuß, Andreas","last_name":"Pleuß","first_name":"Andreas"},{"last_name":"Van den Bergh","full_name":"Van den Bergh, Jan","first_name":"Jan"},{"last_name":"Hußmann","full_name":"Hußmann, Heinrich","first_name":"Heinrich"},{"last_name":"Sauer","id":"447","full_name":"Sauer, Stefan","first_name":"Stefan"},{"first_name":"Alexander","full_name":"Bödcher, Alexander","last_name":"Bödcher"}]},{"language":[{"iso":"eng"}],"_id":"7947","department":[{"_id":"66"}],"user_id":"52534","status":"public","publication":"Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)","type":"conference","title":"Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks","doi":"http://dx.doi.org/10.1109/ICNICONSMCL.2006.96","date_updated":"2022-01-06T07:03:48Z","publisher":"IEEE Computer Society","date_created":"2019-02-21T11:40:26Z","author":[{"first_name":"Christoph","last_name":"Loeser","full_name":"Loeser, Christoph"},{"last_name":"Schomaker","full_name":"Schomaker, Gunnar","first_name":"Gunnar"},{"last_name":"Schubert","full_name":"Schubert, Matthias","first_name":"Matthias"},{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"}],"year":"2006","place":"Washington, DC, USA","page":"105","citation":{"ieee":"C. Loeser, G. Schomaker, M. Schubert, and T. Schattkowsky, “Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks,” in <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>, 2006, p. 105.","chicago":"Loeser, Christoph, Gunnar Schomaker, Matthias Schubert, and Tim Schattkowsky. “Fairness Considerations in Replication and Placement Strategies for Large Documents in Heterogeneous Content Delivery Networks.” In <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>, 105. Washington, DC, USA: IEEE Computer Society, 2006. <a href=\"http://dx.doi.org/10.1109/ICNICONSMCL.2006.96\">http://dx.doi.org/10.1109/ICNICONSMCL.2006.96</a>.","ama":"Loeser C, Schomaker G, Schubert M, Schattkowsky T. Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks. In: <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>. Washington, DC, USA: IEEE Computer Society; 2006:105. doi:<a href=\"http://dx.doi.org/10.1109/ICNICONSMCL.2006.96\">http://dx.doi.org/10.1109/ICNICONSMCL.2006.96</a>","apa":"Loeser, C., Schomaker, G., Schubert, M., &#38; Schattkowsky, T. (2006). Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks. In <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i> (p. 105). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/ICNICONSMCL.2006.96\">http://dx.doi.org/10.1109/ICNICONSMCL.2006.96</a>","mla":"Loeser, Christoph, et al. “Fairness Considerations in Replication and Placement Strategies for Large Documents in Heterogeneous Content Delivery Networks.” <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>, IEEE Computer Society, 2006, p. 105, doi:<a href=\"http://dx.doi.org/10.1109/ICNICONSMCL.2006.96\">http://dx.doi.org/10.1109/ICNICONSMCL.2006.96</a>.","bibtex":"@inproceedings{Loeser_Schomaker_Schubert_Schattkowsky_2006, place={Washington, DC, USA}, title={Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks}, DOI={<a href=\"http://dx.doi.org/10.1109/ICNICONSMCL.2006.96\">http://dx.doi.org/10.1109/ICNICONSMCL.2006.96</a>}, booktitle={Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)}, publisher={IEEE Computer Society}, author={Loeser, Christoph and Schomaker, Gunnar and Schubert, Matthias and Schattkowsky, Tim}, year={2006}, pages={105} }","short":"C. Loeser, G. Schomaker, M. Schubert, T. Schattkowsky, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 105."}},{"type":"conference","publication":"Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)","status":"public","_id":"7948","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"place":"Washington, DC, USA","year":"2006","citation":{"apa":"Schattkowsky, T., Förster, A., &#38; Loeser, C. (2006). Secure Storage for Physically Exposed Web- and Application Servers. In <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i> (p. 86). Washington, DC, USA: IEEE Computer Society.","mla":"Schattkowsky, Tim, et al. “Secure Storage for Physically Exposed Web- and Application Servers.” <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>, IEEE Computer Society, 2006, p. 86.","bibtex":"@inproceedings{Schattkowsky_Förster_Loeser_2006, place={Washington, DC, USA}, title={Secure Storage for Physically Exposed Web- and Application Servers}, booktitle={Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Förster, Alexander and Loeser, Christoph}, year={2006}, pages={86} }","short":"T. Schattkowsky, A. Förster, C. Loeser, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 86.","ama":"Schattkowsky T, Förster A, Loeser C. Secure Storage for Physically Exposed Web- and Application Servers. In: <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>. Washington, DC, USA: IEEE Computer Society; 2006:86.","ieee":"T. Schattkowsky, A. Förster, and C. Loeser, “Secure Storage for Physically Exposed Web- and Application Servers,” in <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>, 2006, p. 86.","chicago":"Schattkowsky, Tim, Alexander Förster, and Christoph Loeser. “Secure Storage for Physically Exposed Web- and Application Servers.” In <i>Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)</i>, 86. Washington, DC, USA: IEEE Computer Society, 2006."},"page":"86","date_updated":"2022-01-06T07:03:48Z","publisher":"IEEE Computer Society","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Alexander","full_name":"Förster, Alexander","last_name":"Förster"},{"full_name":"Loeser, Christoph","last_name":"Loeser","first_name":"Christoph"}],"date_created":"2019-02-21T11:40:28Z","title":"Secure Storage for Physically Exposed Web- and Application Servers"},{"page":"737-752","citation":{"ama":"Schattkowsky T, Hendrik Hausmann J, Engels G. Using UML Activities for System-on-Chip Design and Synthesis. In: <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>. Vol 4199/2006. LNCS. Berlin/Heidelberg: Springer; 2006:737-752. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">dx.doi.org/10.1007/11880240_51</a>","chicago":"Schattkowsky, Tim, Jan Hendrik Hausmann, and Gregor Engels. “Using UML Activities for System-on-Chip Design and Synthesis.” In <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>, 4199/2006:737–52. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">https://doi.org/dx.doi.org/10.1007/11880240_51</a>.","ieee":"T. Schattkowsky, J. Hendrik Hausmann, and G. Engels, “Using UML Activities for System-on-Chip Design and Synthesis,” in <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>, 2006, vol. 4199/2006, pp. 737–752.","apa":"Schattkowsky, T., Hendrik Hausmann, J., &#38; Engels, G. (2006). Using UML Activities for System-on-Chip Design and Synthesis. In <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i> (Vol. 4199/2006, pp. 737–752). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">https://doi.org/dx.doi.org/10.1007/11880240_51</a>","short":"T. Schattkowsky, J. Hendrik Hausmann, G. Engels, in: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2006, pp. 737–752.","bibtex":"@inproceedings{Schattkowsky_Hendrik Hausmann_Engels_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Using UML Activities for System-on-Chip Design and Synthesis}, volume={4199/2006}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">dx.doi.org/10.1007/11880240_51</a>}, booktitle={Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)}, publisher={Springer}, author={Schattkowsky, Tim and Hendrik Hausmann, Jan and Engels, Gregor}, year={2006}, pages={737–752}, collection={LNCS} }","mla":"Schattkowsky, Tim, et al. “Using UML Activities for System-on-Chip Design and Synthesis.” <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>, vol. 4199/2006, Springer, 2006, pp. 737–52, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">dx.doi.org/10.1007/11880240_51</a>."},"year":"2006","place":"Berlin/Heidelberg","doi":"dx.doi.org/10.1007/11880240_51","title":"Using UML Activities for System-on-Chip Design and Synthesis","volume":"4199/2006","date_created":"2019-02-21T11:40:29Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"first_name":"Jan","last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan"},{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"}],"publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","status":"public","publication":"Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","_id":"7949"},{"publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","date_created":"2019-02-21T11:44:16Z","author":[{"full_name":"Pleuß, Andreas","last_name":"Pleuß","first_name":"Andreas"},{"last_name":"Van den Bergh","full_name":"Van den Bergh, Jan","first_name":"Jan"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"},{"full_name":"Hußmann, Heinrich","last_name":"Hußmann","first_name":"Heinrich"}],"volume":3844,"title":"Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)","doi":"dx.doi.org/10.1007/11663430_19","place":"Berlin/Heidelberg","year":"2006","citation":{"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>","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} }","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.","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>","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.","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>."},"intvolume":"      3844","page":"182-190","_id":"7950","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)","status":"public"},{"year":"2006","place":"Berlin/Heidelberg","citation":{"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.","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>.","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} }","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.","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>"},"page":"156-170","publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","date_created":"2019-02-21T11:44:17Z","author":[{"last_name":"Ehrig","full_name":"Ehrig, Karsten","first_name":"Karsten"},{"first_name":"Gabriele","last_name":"Taentzer","full_name":"Taentzer, Gabriele"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"full_name":"Winkelmann, Jessica","last_name":"Winkelmann","first_name":"Jessica"}],"volume":"4037/2006","title":"Generating Instance Models from Meta Models","doi":"dx.doi.org/10.1007/11768869_13","type":"conference","publication":"Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)","status":"public","_id":"7951","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"type":"conference","publication":"Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)","status":"public","user_id":"52534","department":[{"_id":"66"}],"_id":"7952","language":[{"iso":"eng"}],"citation":{"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>.","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.","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} }","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>","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>","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>.","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."},"page":"129-140","year":"2006","place":"Washington, DC, USA","date_created":"2019-02-21T11:44:18Z","author":[{"first_name":"Rainer","full_name":"Hauser, Rainer","last_name":"Hauser"},{"last_name":"Friess","full_name":"Friess, Michael","first_name":"Michael"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"first_name":"Jussi","full_name":"Vanhatalo, Jussi","last_name":"Vanhatalo"}],"date_updated":"2022-01-06T07:03:48Z","publisher":"IEEE Computer Society","doi":"http://dx.doi.org/10.1109/EDOC.2006.21","title":"Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows"},{"citation":{"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.","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.","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} }","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.","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.","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.","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."},"page":"306-319","place":"Berlin/Heidelberg","year":"2006","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Jan","last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"last_name":"Sauer","id":"447","full_name":"Sauer, Stefan","first_name":"Stefan"}],"date_created":"2019-02-21T11:44:20Z","volume":"3844 / 2006","date_updated":"2022-01-06T07:03:48Z","publisher":"Springer","title":"Teaching UML Is Teaching Software Engineering Is Teaching Abstraction","type":"conference","publication":"Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)","status":"public","abstract":[{"lang":"eng","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."}],"series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"_id":"7953","language":[{"iso":"eng"}]},{"series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"_id":"7954","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)","status":"public","abstract":[{"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.","lang":"eng"}],"author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"date_created":"2019-02-21T11:44:21Z","volume":4178,"publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","doi":"http://dx.doi.org/10.1007/11841883","title":"Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract","citation":{"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>","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>.","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.","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.","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} }","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>.","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>"},"page":"336-350","intvolume":"      4178","place":"Berlin/Heidelberg","year":"2006"},{"language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7955","status":"public","type":"conference","publication":"IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)","title":"A Pattern-driven Development Process for Quality Standard-conforming Business Process Models","author":[{"full_name":"Förster, Alexander","last_name":"Förster","first_name":"Alexander"},{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"full_name":"Van Der Straeten, Ragnhild","last_name":"Van Der Straeten","first_name":"Ragnhild"}],"date_created":"2019-02-21T11:44:22Z","date_updated":"2022-01-06T07:03:48Z","publisher":"IEEE Computer Society","citation":{"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.","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.","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.","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.","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.","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."},"page":"135-142","year":"2006","place":"Washington, DC, USA"},{"language":[{"iso":"eng"}],"_id":"7956","department":[{"_id":"66"}],"user_id":"52534","abstract":[{"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.","lang":"eng"}],"status":"public","publication":"Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)","type":"conference","title":"Model-driven Monitoring: Generating Assertions from Visual Contracts","doi":"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:48Z","author":[{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"}],"date_created":"2019-02-21T11:44:23Z","year":"2006","place":"Los Alamitos, CA, USA","page":"355-356","citation":{"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>","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>.","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.","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.","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} }","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>.","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>"}}]