[{"_id":"7380","language":[{"iso":"eng"}],"page":"187-207","volume":5,"user_id":"52534","author":[{"full_name":"Baresi, Luciano","first_name":"Luciano","last_name":"Baresi"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Sebastian","last_name":"Thöne","full_name":"Thöne, Sebastian"},{"first_name":"Dániel","last_name":"Varró","full_name":"Varró, Dániel"}],"year":"2005","title":"Style-Based Modeling and Refinement of Service-Oriented Architectures","status":"public","intvolume":"         5","date_updated":"2022-01-06T07:03:36Z","date_created":"2019-01-31T15:31:30Z","department":[{"_id":"66"}],"type":"journal_article","citation":{"mla":"Baresi, Luciano, et al. “Style-Based Modeling and Refinement of Service-Oriented Architectures.” <i>Software and Systems Modeling</i>, vol. 5, no. 2, 2005, pp. 187–207.","bibtex":"@article{Baresi_Heckel_Thöne_Varró_2005, title={Style-Based Modeling and Refinement of Service-Oriented Architectures}, volume={5}, number={2}, journal={Software and Systems Modeling}, author={Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}, year={2005}, pages={187–207} }","ama":"Baresi L, Heckel R, Thöne S, Varró D. Style-Based Modeling and Refinement of Service-Oriented Architectures. <i>Software and Systems Modeling</i>. 2005;5(2):187-207.","ieee":"L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Modeling and Refinement of Service-Oriented Architectures,” <i>Software and Systems Modeling</i>, vol. 5, no. 2, pp. 187–207, 2005.","apa":"Baresi, L., Heckel, R., Thöne, S., &#38; Varró, D. (2005). Style-Based Modeling and Refinement of Service-Oriented Architectures. <i>Software and Systems Modeling</i>, <i>5</i>(2), 187–207.","short":"L. Baresi, R. Heckel, S. Thöne, D. Varró, Software and Systems Modeling 5 (2005) 187–207.","chicago":"Baresi, Luciano, Reiko Heckel, Sebastian Thöne, and Dániel Varró. “Style-Based Modeling and Refinement of Service-Oriented Architectures.” <i>Software and Systems Modeling</i> 5, no. 2 (2005): 187–207."},"issue":"2","publication":"Software and Systems Modeling"},{"year":"2005","status":"public","title":"Model-based development of Web service descriptions enabling a precise matching concept","author":[{"last_name":"Hendrik Hausmann","first_name":"Jan","full_name":"Hendrik Hausmann, Jan"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"         2","page":"67-85","language":[{"iso":"eng"}],"_id":"7381","user_id":"52534","volume":2,"issue":"2","publication":"International Journal of Web Services Research","citation":{"mla":"Hendrik Hausmann, Jan, et al. “Model-Based Development of Web Service Descriptions Enabling a Precise Matching Concept.” <i>International Journal of Web Services Research</i>, vol. 2, no. 2, 2005, pp. 67–85.","bibtex":"@article{Hendrik Hausmann_Heckel_Lohmann_2005, title={Model-based development of Web service descriptions enabling a precise matching concept}, volume={2}, number={2}, journal={International Journal of Web Services Research}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}, year={2005}, pages={67–85} }","ama":"Hendrik Hausmann J, Heckel R, Lohmann M. Model-based development of Web service descriptions enabling a precise matching concept. <i>International Journal of Web Services Research</i>. 2005;2(2):67-85.","ieee":"J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based development of Web service descriptions enabling a precise matching concept,” <i>International Journal of Web Services Research</i>, vol. 2, no. 2, pp. 67–85, 2005.","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Lohmann, M. (2005). Model-based development of Web service descriptions enabling a precise matching concept. <i>International Journal of Web Services Research</i>, <i>2</i>(2), 67–85.","short":"J. Hendrik Hausmann, R. Heckel, M. Lohmann, International Journal of Web Services Research 2 (2005) 67–85.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Marc Lohmann. “Model-Based Development of Web Service Descriptions Enabling a Precise Matching Concept.” <i>International Journal of Web Services Research</i> 2, no. 2 (2005): 67–85."},"abstract":[{"text":"Web services are software components that can be discovered and employed at runtime using the Internet. Conflicting requirements towards the nature of these services can be identified. From a business perspective, Web services promise to enable the formation of ad-hoc cooperations on a global scale. From a technical perspective, a high degree of standardization and rigorous specifications are required to enable the automated integration of Web services. A suitable technology for Web services has to mediate these needs for flexibility and stability. To be usable in practice, this technology has to be aligned to standard software engineering practice to allow for a seamless development of Web service enabled components. In this paper, we introduce a new approach to the description of Web services. It is a visual approach based on the use of software models and graph transformations and allows for the flexible description of innovative services while providing a precise matching concept. A methodology enabling the seamless development of such Web service descriptions in the context of a standard model-based development approach is presented.","lang":"eng"}],"date_created":"2019-01-31T15:32:54Z","type":"journal_article","department":[{"_id":"66"}]},{"date_updated":"2022-01-06T07:03:39Z","author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"first_name":"Wolfgang","last_name":"Mueller","full_name":"Mueller, Wolfgang"},{"last_name":"Rettberg","first_name":"Achim","full_name":"Rettberg, Achim"}],"title":"A Generic Model Execution Platform for the Design of Hardware and Software","status":"public","year":"2005","editor":[{"first_name":"G. ","last_name":"Martin","full_name":"Martin, G. "},{"first_name":"W. ","last_name":"Mueller ","full_name":"Mueller , W. "}],"user_id":"52534","publisher":"Springer","_id":"7544","language":[{"iso":"eng"}],"page":"63-88","abstract":[{"lang":"eng","text":"This chapter presents the concepts of our Model Execution Platform (MEP). The MEP is an approach to executable UML for the design of hardware and software systems covering Class, State Machine, and Activity Diagrams. We present how the MEP is employed for Handel-C code generation and briefly sketch the concepts of a MEP based UML virtual machine."}],"citation":{"ieee":"T. Schattkowsky, W. Mueller, and A. Rettberg, “A Generic Model Execution Platform for the Design of Hardware and Software,” in <i>UML for SoC Design</i>, G. Martin and W. Mueller , Eds. Springer, 2005, pp. 63–88.","mla":"Schattkowsky, Tim, et al. “A Generic Model Execution Platform for the Design of Hardware and Software.” <i>UML for SoC Design</i>, edited by G.  Martin and W.  Mueller , Springer, 2005, pp. 63–88.","apa":"Schattkowsky, T., Mueller, W., &#38; Rettberg, A. (2005). A Generic Model Execution Platform for the Design of Hardware and Software. In G. Martin &#38; W. Mueller  (Eds.), <i>UML for SoC Design</i> (pp. 63–88). Springer.","bibtex":"@inbook{Schattkowsky_Mueller_Rettberg_2005, title={A Generic Model Execution Platform for the Design of Hardware and Software}, booktitle={UML for SoC Design}, publisher={Springer}, author={Schattkowsky, Tim and Mueller, Wolfgang and Rettberg, Achim}, editor={Martin, G.  and Mueller , W. Editors}, year={2005}, pages={63–88} }","short":"T. Schattkowsky, W. Mueller, A. Rettberg, in: G. Martin, W. Mueller  (Eds.), UML for SoC Design, Springer, 2005, pp. 63–88.","ama":"Schattkowsky T, Mueller W, Rettberg A. A Generic Model Execution Platform for the Design of Hardware and Software. In: Martin G, Mueller  W, eds. <i>UML for SoC Design</i>. Springer; 2005:63-88.","chicago":"Schattkowsky, Tim, Wolfgang Mueller, and Achim Rettberg. “A Generic Model Execution Platform for the Design of Hardware and Software.” In <i>UML for SoC Design</i>, edited by G.  Martin and W.  Mueller , 63–88. Springer, 2005."},"publication":"UML for SoC Design","department":[{"_id":"66"}],"type":"book_chapter","date_created":"2019-02-05T12:55:57Z"},{"_id":"7546","language":[{"iso":"eng"}],"publisher":"Wiley","page":"85-117","editor":[{"full_name":"Dumas, M. ","first_name":"M. ","last_name":"Dumas"},{"full_name":"van der Aalst, W. ","first_name":"W. ","last_name":"van der Aalst"},{"full_name":"ter Hofstede, A.","last_name":"ter Hofstede","first_name":"A."}],"user_id":"52534","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Förster, Alexander","last_name":"Förster","first_name":"Alexander"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Thöne, Sebastian","last_name":"Thöne","first_name":"Sebastian"}],"status":"public","title":"Process Modeling using UML","year":"2005","date_updated":"2022-01-06T07:03:39Z","place":"New York, NY","date_created":"2019-02-05T12:58:16Z","department":[{"_id":"66"}],"type":"book_chapter","citation":{"chicago":"Engels, Gregor, Alexander Förster, Reiko Heckel, and Sebastian Thöne. “Process Modeling Using UML.” In <i>Process-Aware Information Systems</i>, edited by M.  Dumas, W.  van der Aalst, and A. ter Hofstede, 85–117. New York, NY: Wiley, 2005.","short":"G. Engels, A. Förster, R. Heckel, S. Thöne, in: M. Dumas, W. van der Aalst, A. ter Hofstede (Eds.), Process-Aware Information Systems, Wiley, New York, NY, 2005, pp. 85–117.","ieee":"G. Engels, A. Förster, R. Heckel, and S. Thöne, “Process Modeling using UML,” in <i>Process-Aware Information Systems</i>, M. Dumas, W. van der Aalst, and A. ter Hofstede, Eds. New York, NY: Wiley, 2005, pp. 85–117.","apa":"Engels, G., Förster, A., Heckel, R., &#38; Thöne, S. (2005). Process Modeling using UML. In M. Dumas, W. van der Aalst, &#38; A. ter Hofstede (Eds.), <i>Process-Aware Information Systems</i> (pp. 85–117). New York, NY: Wiley.","bibtex":"@inbook{Engels_Förster_Heckel_Thöne_2005, place={New York, NY}, title={Process Modeling using UML}, booktitle={Process-Aware Information Systems}, publisher={Wiley}, author={Engels, Gregor and Förster, Alexander and Heckel, Reiko and Thöne, Sebastian}, editor={Dumas, M.  and van der Aalst, W.  and ter Hofstede, A.Editors}, year={2005}, pages={85–117} }","ama":"Engels G, Förster A, Heckel R, Thöne S. Process Modeling using UML. In: Dumas M, van der Aalst W, ter Hofstede A, eds. <i>Process-Aware Information Systems</i>. New York, NY: Wiley; 2005:85-117.","mla":"Engels, Gregor, et al. “Process Modeling Using UML.” <i>Process-Aware Information Systems</i>, edited by M.  Dumas et al., Wiley, 2005, pp. 85–117."},"publication":"Process-Aware Information Systems","abstract":[{"lang":"eng","text":"This chapter provides an introduction to the Unified Modeling Language (UML), a widely adopted object-oriented modeling standard, and shows how the language can be applied to (business) process modeling. As major perspectives of process modeling with UML 2.0, the chapter covers control flow, data objects and object flow, organizational structure, business partner interactions, and system-specific process models. Various types of UML diagrams are presented with a special focus on how these diagrams fit together and complement each other to form a coherent view of a process. Moreover, a running example is used throughout the chapter to illustrate the different facets of a process model."}]},{"citation":{"short":"G. Engels, R. Heckel, A. Cherchago, in: H.-J.  Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, Springer, Berlin/Heidelberg, 2005, pp. 38–63.","chicago":"Engels, Gregor, Reiko Heckel, and Alexey Cherchago. “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach.” In <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>, edited by H.-J.  Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, 3393:38–63. LNCS. Berlin/Heidelberg: Springer, 2005.","ieee":"G. Engels, R. Heckel, and A. Cherchago, “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach,” in <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>, vol. 3393, H.-J.  Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, Ed. Berlin/Heidelberg: Springer, 2005, pp. 38–63.","apa":"Engels, G., Heckel, R., &#38; Cherchago, A. (2005). Flexible Interconnection of Graph Transformation Modules - A Systematic Approach. In H.-J.  Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i> (Vol. 3393, pp. 38–63). Berlin/Heidelberg: Springer.","bibtex":"@inbook{Engels_Heckel_Cherchago_2005, place={Berlin/Heidelberg}, series={LNCS}, title={Flexible Interconnection of Graph Transformation Modules - A Systematic Approach}, volume={3393}, booktitle={Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Cherchago, Alexey}, editor={ Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.Editor}, year={2005}, pages={38–63}, collection={LNCS} }","ama":"Engels G, Heckel R, Cherchago A. Flexible Interconnection of Graph Transformation Modules - A Systematic Approach. In:  Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer H-J, ed. <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>. Vol 3393. LNCS. Berlin/Heidelberg: Springer; 2005:38-63.","mla":"Engels, Gregor, et al. “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach.” <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>, edited by H.-J.  Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, vol. 3393, Springer, 2005, pp. 38–63."},"place":"Berlin/Heidelberg","status":"public","_id":"7547","publisher":"Springer","page":"38-63","volume":3393,"editor":[{"first_name":"H.-J.","last_name":" Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer","full_name":" Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J."}],"user_id":"52534","publication":"Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday","abstract":[{"lang":"eng","text":"Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connected with other modules requesting or providing certain features. In this paper, we study modules the interfaces of which consist of behavioral specifications given by typed graph transformation systems. We introduce a framework for classifying and systematically defining relations between typed graph transformation systems. The framework comprises a number of standard ingredients, like homomorphisms between type graphs and mappings between sets of graph transformation rules. The framework is applied to develop a novel concept of substitution morphism by separating preconditions and effects in the specification of rules. This substitution morphism is suited to define the semantic relation between export and import interfaces of requesting and providing modules."}],"date_created":"2019-02-05T13:00:17Z","department":[{"_id":"66"}],"type":"book_chapter","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Cherchago","first_name":"Alexey","full_name":"Cherchago, Alexey"}],"year":"2005","title":"Flexible Interconnection of Graph Transformation Modules - A Systematic Approach","intvolume":"      3393","date_updated":"2022-01-06T07:03:39Z","language":[{"iso":"eng"}],"series_title":"LNCS"},{"author":[{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"}],"status":"public","year":"2005","title":"Konsistenzmanagement von objektorientierten Verhaltensmodellen","date_updated":"2022-01-06T07:03:39Z","_id":"7548","series_title":"Lecture Notes in Informatics","publisher":"Gesellschaft für Informatik (GI)","language":[{"iso":"eng"}],"editor":[{"full_name":"Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, D.","last_name":"Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe","first_name":"D."}],"volume":"D5","user_id":"52534","citation":{"mla":"Küster, Jochen. “Konsistenzmanagement von Objektorientierten Verhaltensmodellen.” <i>Ausgezeichnete Informatikdissertationen 2004</i>, edited by D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, vol. D5, Gesellschaft für Informatik (GI), 2005.","bibtex":"@inbook{Küster_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Konsistenzmanagement von objektorientierten Verhaltensmodellen}, volume={D5}, booktitle={Ausgezeichnete Informatikdissertationen 2004}, publisher={Gesellschaft für Informatik (GI)}, author={Küster, Jochen}, editor={Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, D.Editor}, year={2005}, collection={Lecture Notes in Informatics} }","ama":"Küster J. Konsistenzmanagement von objektorientierten Verhaltensmodellen. In: Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe D, ed. <i>Ausgezeichnete Informatikdissertationen 2004</i>. Vol D5. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005.","ieee":"J. Küster, “Konsistenzmanagement von objektorientierten Verhaltensmodellen,” in <i>Ausgezeichnete Informatikdissertationen 2004</i>, vol. D5, D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, Ed. Bonn: Gesellschaft für Informatik (GI), 2005.","apa":"Küster, J. (2005). Konsistenzmanagement von objektorientierten Verhaltensmodellen. In D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe (Ed.), <i>Ausgezeichnete Informatikdissertationen 2004</i> (Vol. D5). Bonn: Gesellschaft für Informatik (GI).","chicago":"Küster, Jochen. “Konsistenzmanagement von Objektorientierten Verhaltensmodellen.” In <i>Ausgezeichnete Informatikdissertationen 2004</i>, edited by D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, Vol. D5. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","short":"J. Küster, in: D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe (Ed.), Ausgezeichnete Informatikdissertationen 2004, Gesellschaft für Informatik (GI), Bonn, 2005."},"publication":"Ausgezeichnete Informatikdissertationen 2004","abstract":[{"lang":"ger","text":"In der modellbasierten Softwareentwicklung wird ein Softwaresystem durch verschiedene Teilmodelle auf unterschiedlichen Abstraktionsstufen und aus verschiedenen Sichten modelliert. Das Ziel von Konsistenzmanagement im Entwicklungsprozess ist es, eine gewisse Form von Konsistenz der Teilmodelle zu gewährleisten. Da objektorientierte Verhaltensmodelle keine eindeutige formale Semantik haben und sehr unterschiedlich eingesetzt werden, ist ein Konsistenzmanagement dieser Modelle besonders schwierig. In der Arbeit werden sowohl Grundlagen als auch Techniken für ein systematisches Konsistenzmanagement entwickelt und am praktischen Beispiel erprobt."}],"place":"Bonn","date_created":"2019-02-05T13:01:52Z","department":[{"_id":"66"}],"type":"book_chapter"},{"department":[{"_id":"66"}],"type":"dissertation","date_created":"2019-02-06T14:25:58Z","abstract":[{"text":"A good architectural design allows to capture the overall complexity of large, distributed systems at a higher level of abstraction. This is especially important for reconfigurable systems where the architectural configuration is subject to (constant) changes at runtime. When designing such a dynamic architecture, the software architect has to bring the functional business requirements and the available communication and reconfiguration mechanisms of the intended target platform in line. As it is a complex task to incorporate these often diverging requirements into the architectural model, we propose a stepwise approach similar to the MDA initiative. We start with a platformindependent model capturing the business requirements and add platform-specific details in a later step. For each level of platform abstraction and associated platform, we define an architectural style which describes the characteristics of the platform. This way, conformance to the architectural style entails consistency with the underlying platform. Besides run-time configurations of components and connections, architectural models also comprise the description of processes that control the communication and reconfiguration behavior. To provide operational semantics, architectural models are formalized as graphs, and architectural styles are formalized as graph transformation systems. UML is added as high-level modeling language on top, and profiles are used to adapt UML to certain architectural styles. Due to the stepwise procedure, we also have to ensure the mutual consistency between models at different levels of abstraction. For this purpose, we define formal criteria which require that both structural and behavioral properties are preserved at the lower level of abstraction. Based on refinement relationships between abstract and platform-specific architectural styles, an algorithm allows to verify that all abstract, business-level behavior can also be realized in the platformspecific architecture and that no new behavior is added. These refinement techniques facilitate a stepwise, platform-consistent development of dynamic software architectures.","lang":"eng"}],"citation":{"ama":"Thöne S. <i>Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations</i>.; 2005.","bibtex":"@book{Thöne_2005, title={Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations}, author={Thöne, Sebastian}, year={2005} }","mla":"Thöne, Sebastian. <i>Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations</i>. 2005.","chicago":"Thöne, Sebastian. <i>Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations</i>, 2005.","short":"S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations, 2005.","apa":"Thöne, S. (2005). <i>Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations</i>.","ieee":"S. Thöne, <i>Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations</i>. 2005."},"user_id":"52534","language":[{"iso":"eng"}],"_id":"7582","date_updated":"2022-01-06T07:03:40Z","author":[{"full_name":"Thöne, Sebastian","first_name":"Sebastian","last_name":"Thöne"}],"year":"2005","title":"Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations","status":"public"},{"department":[{"_id":"66"}],"type":"dissertation","date_created":"2019-02-06T14:26:49Z","abstract":[{"text":"This thesis describes an approach for automated detection of concurrent liveness failures in the execution of Java programs. Concurrent programs are highly prone to failure because of the inherent nondeterminism. Developers of concurrent Java programs are not well supported in detecting concurrency failures, i.e. failures that are due to interactions between multiple threads. These failures are neither well documented nor do tools like debuggers allow developers to identify them at runtime. This thesis analyses and classifies liveness failures, a special kind of concurrency failures, and the associated potentials in Java. A UML statechart is developed that models the interaction of Java threads. Liveness failures and potentials are specified formally in terms of the states controlling the interaction of threads and in terms of the events exchanged by interacting threads. Detection algorithms are developed to identify the specified failures in a program execution. A UML profile extending UML interaction diagrams is developed to visualise the execution of concurrent Java programs and detected liveness failures and potentials. In order to deploy the algorithms and the UML profile, tool support concepts are provided. This involves the specification of a trace format and a tracing method to collect execution data from a running Java program, and the specification of methods to analyse the trace and to visualise the trace and the analysis results. The concepts are implemented in the JAVIS prototype, which consists of a Java tracer with an analysis facility for monitoring liveness in concurrent Java programs, and a plug-in extension to the UML CASE tool Together for importing and displaying concurrent Java traces including failures and potentials.","lang":"eng"}],"citation":{"ama":"Mehner K. <i>Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML</i>.; 2005.","bibtex":"@book{Mehner_2005, title={Trace-based Debugging and Visualisation of Concurrent Java Programs with UML}, author={Mehner, Katharina}, year={2005} }","mla":"Mehner, Katharina. <i>Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML</i>. 2005.","chicago":"Mehner, Katharina. <i>Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML</i>, 2005.","short":"K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML, 2005.","apa":"Mehner, K. (2005). <i>Trace-based Debugging and Visualisation of Concurrent Java Programs with UML</i>.","ieee":"K. Mehner, <i>Trace-based Debugging and Visualisation of Concurrent Java Programs with UML</i>. 2005."},"user_id":"52534","_id":"7583","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:40Z","author":[{"full_name":"Mehner, Katharina","first_name":"Katharina","last_name":"Mehner"}],"title":"Trace-based Debugging and Visualisation of Concurrent Java Programs with UML","status":"public","year":"2005"},{"_id":"7584","language":[{"iso":"eng"}],"user_id":"52534","author":[{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"}],"status":"public","title":"Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages","year":"2005","date_updated":"2022-01-06T07:03:40Z","date_created":"2019-02-06T14:27:26Z","department":[{"_id":"66"}],"type":"dissertation","citation":{"apa":"Hendrik Hausmann, J. (2005). <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>.","ieee":"J. Hendrik Hausmann, <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>. 2005.","short":"J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.","chicago":"Hendrik Hausmann, Jan. <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>, 2005.","mla":"Hendrik Hausmann, Jan. <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>. 2005.","ama":"Hendrik Hausmann J. <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>.; 2005.","bibtex":"@book{Hendrik Hausmann_2005, title={Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages}, author={Hendrik Hausmann, Jan}, year={2005} }"},"abstract":[{"lang":"eng","text":"The technique of Dynamic Meta Modeling allows for specifying the semantics of visual modeling languages (like, e.g., the Unified Modeling Language, UML). It is aimed at combining formal rigor (allowing for automated processing of expressions in the language and reasoning about them) with a user-friendly visual notation. We do explicitly exploit the meta modeling paradigm to provide our formalizations within a form known to the expected user base. Technically, DMM uses an innovative combination of elements from denotational and operational semantics together with Graph Transformations. The thesis furthermore introduces a technically richer concept of relations to the Meta Object Facility (MOF). As an extended application example the core semantics of UML Activity Diagrams are formalized within this thesis. Pragmatic guidelines to formulate specifications in DMM and tool support to test the effect of such specifications complete the thesis."}]},{"intvolume":"       159","date_updated":"2022-01-06T07:03:54Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"status":"public","title":"Towards employing UML Model Mappings for Platform Independent User Interface Design","year":"2005","volume":159,"user_id":"52534","publisher":"CEUR-WS.org","_id":"8394","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-159/paper6.pdf"}],"citation":{"ieee":"T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for Platform Independent User Interface Design,” in <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>, 2005, vol. 159.","apa":"Schattkowsky, T., &#38; Lohmann, M. (2005). Towards employing UML Model Mappings for Platform Independent User Interface Design. In <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i> (Vol. 159). CEUR-WS.org.","chicago":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design.” In <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>, Vol. 159. CEUR Workshop Proceedings. CEUR-WS.org, 2005.","short":"T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.","mla":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design.” <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>, vol. 159, CEUR-WS.org, 2005.","bibtex":"@inproceedings{Schattkowsky_Lohmann_2005, series={CEUR Workshop Proceedings}, title={Towards employing UML Model Mappings for Platform Independent User Interface Design}, volume={159}, booktitle={Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces}, publisher={CEUR-WS.org}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2005}, collection={CEUR Workshop Proceedings} }","ama":"Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform Independent User Interface Design. In: <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>. Vol 159. CEUR Workshop Proceedings. CEUR-WS.org; 2005."},"publication":"Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-06T11:29:01Z"},{"date_updated":"2022-01-06T07:03:54Z","intvolume":"       192","year":"2005","title":"The Reconfigurable UML Machine Project Group","status":"public","author":[{"first_name":"Achim","last_name":"Rettberg","full_name":"Rettberg, Achim"},{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"first_name":"Carsten","last_name":"Rust","full_name":"Rust, Carsten"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Josef Rammig","first_name":"Franz","full_name":"Josef Rammig, Franz"}],"user_id":"52534","volume":192,"page":"139-147","_id":"8395","publisher":"Springer","series_title":"IFIP - International Federation for Information Processing","language":[{"iso":"eng"}],"publication":"Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)","citation":{"mla":"Rettberg, Achim, et al. “The Reconfigurable UML Machine Project Group.” <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, vol. 192, Springer, 2005, pp. 139–47.","ama":"Rettberg A, Schattkowsky T, Rust C, Müller W, Josef Rammig F. The Reconfigurable UML Machine Project Group. In: <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>. Vol 192. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer; 2005:139-147.","bibtex":"@inproceedings{Rettberg_Schattkowsky_Rust_Müller_Josef Rammig_2005, place={Berlin/Heidelberg}, series={IFIP - International Federation for Information Processing}, title={The Reconfigurable UML Machine Project Group}, volume={192}, booktitle={Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)}, publisher={Springer}, author={Rettberg, Achim and Schattkowsky, Tim and Rust, Carsten and Müller, Wolfgang and Josef Rammig, Franz}, year={2005}, pages={139–147}, collection={IFIP - International Federation for Information Processing} }","apa":"Rettberg, A., Schattkowsky, T., Rust, C., Müller, W., &#38; Josef Rammig, F. (2005). The Reconfigurable UML Machine Project Group. In <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i> (Vol. 192, pp. 139–147). Berlin/Heidelberg: Springer.","ieee":"A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, and F. Josef Rammig, “The Reconfigurable UML Machine Project Group,” in <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, 2005, vol. 192, pp. 139–147.","short":"A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, F. Josef Rammig, in: Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia), Springer, Berlin/Heidelberg, 2005, pp. 139–147.","chicago":"Rettberg, Achim, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, and Franz Josef Rammig. “The Reconfigurable UML Machine Project Group.” In <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, 192:139–47. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer, 2005."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-06T11:29:02Z","place":"Berlin/Heidelberg"},{"date_updated":"2022-01-06T07:03:54Z","title":"Preservation of Compatibility under Evolution of Software Components","year":"2005","status":"public","author":[{"full_name":"Cherchago, Alexey","first_name":"Alexey","last_name":"Cherchago"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"user_id":"52534","_id":"8396","language":[{"iso":"eng"}],"publication":"International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)","citation":{"chicago":"Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under Evolution of Software Components.” In <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.","short":"A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.","ama":"Cherchago A, Engels G. Preservation of Compatibility under Evolution of Software Components. In: <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>. ; 2005.","bibtex":"@inproceedings{Cherchago_Engels_2005, title={Preservation of Compatibility under Evolution of Software Components}, booktitle={International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)}, author={Cherchago, Alexey and Engels, Gregor}, year={2005} }","apa":"Cherchago, A., &#38; Engels, G. (2005). Preservation of Compatibility under Evolution of Software Components. In <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>.","mla":"Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under Evolution of Software Components.” <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.","ieee":"A. Cherchago and G. Engels, “Preservation of Compatibility under Evolution of Software Components,” in <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-06T11:29:04Z"},{"publication":"Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)","citation":{"ieee":"G. Engels, M. Lohmann, and S. Sauer, “Design by Contract zur semantischen Beschreibung von Web Services,” in <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>, 2005, vol. 68, pp. 612–616.","apa":"Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Design by Contract zur semantischen Beschreibung von Web Services. In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i> (Vol. 68, pp. 612–616). Bonn: Gesellschaft für Informatik (GI).","chicago":"Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Design by Contract Zur Semantischen Beschreibung von Web Services.” In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>, 68:612–16. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","short":"G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.","mla":"Engels, Gregor, et al. “Design by Contract Zur Semantischen Beschreibung von Web Services.” <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>, vol. 68, Gesellschaft für Informatik (GI), 2005, pp. 612–16.","bibtex":"@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Design by Contract zur semantischen Beschreibung von Web Services}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={612–616}, collection={Lecture Notes in Informatics} }","ama":"Engels G, Lohmann M, Sauer S. Design by Contract zur semantischen Beschreibung von Web Services. In: <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:612-616."},"abstract":[{"lang":"ger","text":"Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices müssen die Anforderungen eines Requestors und die Beschreibung eines Services miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte, semantische Suche nach Web Services möglich."}],"date_created":"2019-03-06T11:29:05Z","place":"Bonn","type":"conference","department":[{"_id":"66"}],"year":"2005","status":"public","title":"Design by Contract zur semantischen Beschreibung von Web Services","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"}],"date_updated":"2022-01-06T07:03:54Z","intvolume":"        68","page":"612-616","series_title":"Lecture Notes in Informatics","_id":"8397","publisher":"Gesellschaft für Informatik (GI)","language":[{"iso":"eng"}],"user_id":"52534","volume":68},{"citation":{"ama":"Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services mit Design by Contract. In: <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.","bibtex":"@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Modellbasierte Entwicklung von Web Services mit Design by Contract}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={491–495}, collection={Lecture Notes in Informatics} }","mla":"Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, vol. 68, Gesellschaft für Informatik (GI), 2005, pp. 491–95.","short":"G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.","chicago":"Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, 68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","apa":"Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Modellbasierte Entwicklung von Web Services mit Design by Contract. In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i> (Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).","ieee":"G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services mit Design by Contract,” in <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, 2005, vol. 68, pp. 491–495."},"publication":"Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany","abstract":[{"lang":"eng","text":"Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich. Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt."}],"place":"Bonn","date_created":"2019-03-06T11:29:06Z","department":[{"_id":"66"}],"type":"conference","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"status":"public","year":"2005","title":"Modellbasierte Entwicklung von Web Services mit Design by Contract","intvolume":"        68","date_updated":"2022-01-06T07:03:54Z","_id":"8398","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics","publisher":"Gesellschaft für Informatik (GI)","page":"491-495","volume":68,"user_id":"52534"},{"date_updated":"2022-01-06T07:03:54Z","intvolume":"       127","year":"2005","title":"Behavioral Refinement of Graph Transformation-Based Models","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Thöne, Sebastian","first_name":"Sebastian","last_name":"Thöne"}],"doi":"http://dx.doi.org/10.1016/j.entcs.2004.08.037","language":[{"iso":"eng"}],"issue":"3","publication":"Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)","type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-06T11:29:07Z","status":"public","user_id":"52534","volume":127,"page":"101-111","_id":"8399","publisher":"Elsevier","citation":{"short":"R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands, 2005, pp. 101–111.","chicago":"Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based Models.” In <i>Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>, 127:101–11. Amsterdam, The Netherlands: Elsevier, 2005. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>.","apa":"Heckel, R., &#38; Thöne, S. (2005). Behavioral Refinement of Graph Transformation-Based Models. In <i>Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i> (Vol. 127, pp. 101–111). Amsterdam, The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>","ieee":"R. Heckel and S. Thöne, “Behavioral Refinement of Graph Transformation-Based Models,” in <i>Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>, 2005, vol. 127, no. 3, pp. 101–111.","ama":"Heckel R, Thöne S. Behavioral Refinement of Graph Transformation-Based Models. In: <i>Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>. Vol 127. Amsterdam, The Netherlands: Elsevier; 2005:101-111. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>","bibtex":"@inproceedings{Heckel_Thöne_2005, place={Amsterdam, The Netherlands}, title={Behavioral Refinement of Graph Transformation-Based Models}, volume={127}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>}, number={3}, booktitle={Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)}, publisher={Elsevier}, author={Heckel, Reiko and Thöne, Sebastian}, year={2005}, pages={101–111} }","mla":"Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based Models.” <i>Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>, vol. 127, no. 3, Elsevier, 2005, pp. 101–11, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>."},"place":"Amsterdam, The Netherlands"},{"volume":116,"user_id":"52534","doi":"http://dx.doi.org/10.1016/j.entcs.2004.02.073","_id":"8400","publisher":"Elsevier","language":[{"iso":"eng"}],"page":"145-156","intvolume":"       116","date_updated":"2022-01-06T07:03:54Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"}],"year":"2005","status":"public","title":"Towards Contract-based Testing of Web Services","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-06T11:29:08Z","citation":{"mla":"Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web Services.” <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>, vol. 116, Elsevier, 2005, pp. 145–56, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>.","ama":"Heckel R, Lohmann M. Towards Contract-based Testing of Web Services. In: <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>. Vol 116. Elsevier; 2005:145-156. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>","bibtex":"@inproceedings{Heckel_Lohmann_2005, title={Towards Contract-based Testing of Web Services}, volume={116}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>}, booktitle={Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)}, publisher={Elsevier}, author={Heckel, Reiko and Lohmann, Marc}, year={2005}, pages={145–156} }","apa":"Heckel, R., &#38; Lohmann, M. (2005). Towards Contract-based Testing of Web Services. In <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i> (Vol. 116, pp. 145–156). Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>","ieee":"R. Heckel and M. Lohmann, “Towards Contract-based Testing of Web Services,” in <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>, 2005, vol. 116, pp. 145–156.","short":"R. Heckel, M. Lohmann, in: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Elsevier, 2005, pp. 145–156.","chicago":"Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web Services.” In <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>, 116:145–56. Elsevier, 2005. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>."},"publication":"Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)"},{"page":"201-209","publisher":"Springer","_id":"8401","user_id":"52534","volume":3844,"status":"public","place":"Berlin/Heidelberg","citation":{"bibtex":"@inproceedings{Schattkowsky_Lohmann_2005, place={Berlin/Heidelberg}, series={LNCS}, title={Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)}, volume={3844}, DOI={<a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>}, booktitle={Proceedings of the Satellite Events at the MoDELS 2005 Conference}, publisher={Springer}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2005}, pages={201–209}, collection={LNCS} }","ama":"Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised). In: <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>. Vol 3844. LNCS. Berlin/Heidelberg: Springer; 2005:201-209. doi:<a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>","mla":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design (Revised).” <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>, vol. 3844, Springer, 2005, pp. 201–09, doi:<a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>.","chicago":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design (Revised).” In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>, 3844:201–9. LNCS. Berlin/Heidelberg: Springer, 2005. <a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>.","short":"T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.","ieee":"T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised),” in <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>, 2005, vol. 3844, pp. 201–209.","apa":"Schattkowsky, T., &#38; Lohmann, M. (2005). Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised). In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i> (Vol. 3844, pp. 201–209). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>"},"series_title":"LNCS","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/11663430_21","year":"2005","title":"Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)","author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}],"date_updated":"2022-01-06T07:03:54Z","intvolume":"      3844","date_created":"2019-03-06T11:29:09Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the Satellite Events at the MoDELS 2005 Conference","abstract":[{"text":"While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further investigation. Nowadays, user interface design is usually platform specific or based on C-level cross-platform libraries. In this paper, we propose a MDA like design approach for user interfaces based on the transformation of UML models at different levels of abstraction. This enables platform independent design of user interfaces and a clear separation of UI and application logic design while enabling full use of native controls in the actual user interface implementation.","lang":"eng"}]},{"status":"public","title":"Using UML Activities for Synthesis on Reconfigurable Hardware","year":"2005","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Hendrik Hausmann, Jan","first_name":"Jan","last_name":"Hendrik Hausmann"},{"full_name":"Rettberg, Achim","first_name":"Achim","last_name":"Rettberg"}],"date_updated":"2022-01-06T07:03:54Z","_id":"8402","language":[{"iso":"eng"}],"user_id":"52534","publication":"Proceedings of the UML for SoC Design Workshop","citation":{"chicago":"Schattkowsky, Tim, Jan Hendrik Hausmann, and Achim Rettberg. “Using UML Activities for Synthesis on Reconfigurable Hardware.” In <i>Proceedings of the UML for SoC Design Workshop</i>. Anaheim, USA, 2005.","short":"T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005.","ieee":"T. Schattkowsky, J. Hendrik Hausmann, and A. Rettberg, “Using UML Activities for Synthesis on Reconfigurable Hardware,” in <i>Proceedings of the UML for SoC Design Workshop</i>, 2005.","apa":"Schattkowsky, T., Hendrik Hausmann, J., &#38; Rettberg, A. (2005). Using UML Activities for Synthesis on Reconfigurable Hardware. In <i>Proceedings of the UML for SoC Design Workshop</i>. Anaheim, USA.","bibtex":"@inproceedings{Schattkowsky_Hendrik Hausmann_Rettberg_2005, place={Anaheim, USA}, title={Using UML Activities for Synthesis on Reconfigurable Hardware}, booktitle={Proceedings of the UML for SoC Design Workshop}, author={Schattkowsky, Tim and Hendrik Hausmann, Jan and Rettberg, Achim}, year={2005} }","ama":"Schattkowsky T, Hendrik Hausmann J, Rettberg A. Using UML Activities for Synthesis on Reconfigurable Hardware. In: <i>Proceedings of the UML for SoC Design Workshop</i>. Anaheim, USA; 2005.","mla":"Schattkowsky, Tim, et al. “Using UML Activities for Synthesis on Reconfigurable Hardware.” <i>Proceedings of the UML for SoC Design Workshop</i>, 2005."},"place":"Anaheim, USA","date_created":"2019-03-06T11:29:11Z","type":"conference","department":[{"_id":"66"}]},{"_id":"7782","series_title":"Lecture Notes in Informatics","publisher":"Gesellschaft für Informatik (GI)","language":[{"iso":"eng"}],"user_id":"52534","editor":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Seehusen, S.","last_name":"Seehusen","first_name":"S."}],"title":"Proceedings of \"DeLFI 2004: Die 2. e-Learning Fachtagung Informatik\", Paderborn (Germany)","year":"2004","status":"public","date_updated":"2022-01-06T07:03:46Z","place":"Bonn","date_created":"2019-02-19T18:42:54Z","type":"conference_editor","department":[{"_id":"66"}],"issue":"P-52","citation":{"short":"G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2004.","chicago":"Engels, Gregor, and S. Seehusen, eds. <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2004.","ieee":"G. Engels and S. Seehusen, Eds., <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>, no. P-52. Bonn: Gesellschaft für Informatik (GI), 2004.","apa":"Engels, G., &#38; Seehusen, S. (Eds.). (2004). <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Bonn: Gesellschaft für Informatik (GI).","bibtex":"@book{Engels_Seehusen_2004, place={Bonn}, series={Lecture Notes in Informatics}, title={Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)}, number={P-52}, publisher={Gesellschaft für Informatik (GI)}, year={2004}, collection={Lecture Notes in Informatics} }","ama":"Engels G, Seehusen S, eds. <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Bonn: Gesellschaft für Informatik (GI); 2004.","mla":"Engels, Gregor, and S. Seehusen, editors. <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. no. P-52, Gesellschaft für Informatik (GI), 2004."}},{"title":"Modeling and Development of Multimedia Systems","status":"public","year":"2004","intvolume":"        14","date_updated":"2022-01-06T07:03:46Z","_id":"7783","publisher":"World Scientific","series_title":"Special Issue of the International Journal of Software Engineering and Knowledge Engineering","language":[{"iso":"eng"}],"editor":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"}],"volume":14,"doi":"http://dx.doi.org/10.1142/S021819400400183X","user_id":"52534","citation":{"mla":"Engels, Gregor, and Stefan Sauer, editors. <i>Modeling and Development of Multimedia Systems</i>. Vol. 14, no. 6, World Scientific, 2004, doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","apa":"Engels, G., &#38; Sauer, S. (Eds.). (2004). <i>Modeling and Development of Multimedia Systems</i> (Vol. 14). World Scientific. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","ieee":"G. Engels and S. Sauer, Eds., <i>Modeling and Development of Multimedia Systems</i>, vol. 14, no. 6. World Scientific, 2004.","short":"G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.","ama":"Engels G, Sauer S, eds. <i>Modeling and Development of Multimedia Systems</i>. Vol 14. World Scientific; 2004. doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","chicago":"Engels, Gregor, and Stefan Sauer, eds. <i>Modeling and Development of Multimedia Systems</i>. Vol. 14. Special Issue of the International Journal of Software Engineering and Knowledge Engineering. World Scientific, 2004. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","bibtex":"@book{Engels_Sauer_2004, series={Special Issue of the International Journal of Software Engineering and Knowledge Engineering}, title={Modeling and Development of Multimedia Systems}, volume={14}, DOI={<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>}, number={6}, publisher={World Scientific}, year={2004}, collection={Special Issue of the International Journal of Software Engineering and Knowledge Engineering} }"},"issue":"6","date_created":"2019-02-19T18:43:42Z","department":[{"_id":"66"}],"type":"conference_editor"}]