---
_id: '7380'
author:
- first_name: Luciano
full_name: Baresi, Luciano
last_name: Baresi
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
- first_name: Dániel
full_name: Varró, Dániel
last_name: Varró
citation:
ama: Baresi L, Heckel R, Thöne S, Varró D. Style-Based Modeling and Refinement of
Service-Oriented Architectures. Software and Systems Modeling. 2005;5(2):187-207.
apa: Baresi, L., Heckel, R., Thöne, S., & Varró, D. (2005). Style-Based Modeling
and Refinement of Service-Oriented Architectures. Software and Systems Modeling,
5(2), 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} }'
chicago: 'Baresi, Luciano, Reiko Heckel, Sebastian Thöne, and Dániel Varró. “Style-Based
Modeling and Refinement of Service-Oriented Architectures.” Software and Systems
Modeling 5, no. 2 (2005): 187–207.'
ieee: L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Modeling and Refinement
of Service-Oriented Architectures,” Software and Systems Modeling, vol.
5, no. 2, pp. 187–207, 2005.
mla: Baresi, Luciano, et al. “Style-Based Modeling and Refinement of Service-Oriented
Architectures.” Software and Systems Modeling, vol. 5, no. 2, 2005, pp.
187–207.
short: L. Baresi, R. Heckel, S. Thöne, D. Varró, Software and Systems Modeling 5
(2005) 187–207.
date_created: 2019-01-31T15:31:30Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 5'
issue: '2'
language:
- iso: eng
page: 187-207
publication: Software and Systems Modeling
status: public
title: Style-Based Modeling and Refinement of Service-Oriented Architectures
type: journal_article
user_id: '52534'
volume: 5
year: '2005'
...
---
_id: '7381'
abstract:
- lang: eng
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.
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: Hendrik Hausmann J, Heckel R, Lohmann M. Model-based development of Web service
descriptions enabling a precise matching concept. International Journal of
Web Services Research. 2005;2(2):67-85.
apa: Hendrik Hausmann, J., Heckel, R., & Lohmann, M. (2005). Model-based development
of Web service descriptions enabling a precise matching concept. International
Journal of Web Services Research, 2(2), 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}
}'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Marc Lohmann. “Model-Based Development
of Web Service Descriptions Enabling a Precise Matching Concept.” International
Journal of Web Services Research 2, no. 2 (2005): 67–85.'
ieee: J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based development of
Web service descriptions enabling a precise matching concept,” International
Journal of Web Services Research, vol. 2, no. 2, pp. 67–85, 2005.
mla: Hendrik Hausmann, Jan, et al. “Model-Based Development of Web Service Descriptions
Enabling a Precise Matching Concept.” International Journal of Web Services
Research, vol. 2, no. 2, 2005, pp. 67–85.
short: J. Hendrik Hausmann, R. Heckel, M. Lohmann, International Journal of Web
Services Research 2 (2005) 67–85.
date_created: 2019-01-31T15:32:54Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 2'
issue: '2'
language:
- iso: eng
page: 67-85
publication: International Journal of Web Services Research
status: public
title: Model-based development of Web service descriptions enabling a precise matching
concept
type: journal_article
user_id: '52534'
volume: 2
year: '2005'
...
---
_id: '7544'
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.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Mueller, Wolfgang
last_name: Mueller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
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. UML
for SoC Design. Springer; 2005:63-88.'
apa: Schattkowsky, T., Mueller, W., & Rettberg, A. (2005). A Generic Model Execution
Platform for the Design of Hardware and Software. In G. Martin & W. Mueller (Eds.),
UML for SoC Design (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}
}'
chicago: Schattkowsky, Tim, Wolfgang Mueller, and Achim Rettberg. “A Generic Model
Execution Platform for the Design of Hardware and Software.” In UML for SoC
Design, edited by G. Martin and W. Mueller , 63–88. Springer, 2005.
ieee: T. Schattkowsky, W. Mueller, and A. Rettberg, “A Generic Model Execution Platform
for the Design of Hardware and Software,” in UML for SoC Design, 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.” UML for SoC Design, edited by G. Martin and
W. Mueller , Springer, 2005, pp. 63–88.
short: 'T. Schattkowsky, W. Mueller, A. Rettberg, in: G. Martin, W. Mueller (Eds.),
UML for SoC Design, Springer, 2005, pp. 63–88.'
date_created: 2019-02-05T12:55:57Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'G. '
full_name: 'Martin, G. '
last_name: Martin
- first_name: 'W. '
full_name: 'Mueller , W. '
last_name: 'Mueller '
language:
- iso: eng
page: 63-88
publication: UML for SoC Design
publisher: Springer
status: public
title: A Generic Model Execution Platform for the Design of Hardware and Software
type: book_chapter
user_id: '52534'
year: '2005'
...
---
_id: '7546'
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.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Alexander
full_name: Förster, Alexander
last_name: Förster
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
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. Process-Aware Information Systems.
New York, NY: Wiley; 2005:85-117.'
apa: 'Engels, G., Förster, A., Heckel, R., & Thöne, S. (2005). Process Modeling
using UML. In M. Dumas, W. van der Aalst, & A. ter Hofstede (Eds.), Process-Aware
Information Systems (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} }'
chicago: 'Engels, Gregor, Alexander Förster, Reiko Heckel, and Sebastian Thöne.
“Process Modeling Using UML.” In Process-Aware Information Systems, edited
by M. Dumas, W. van der Aalst, and A. ter Hofstede, 85–117. New York, NY: Wiley,
2005.'
ieee: 'G. Engels, A. Förster, R. Heckel, and S. Thöne, “Process Modeling using UML,”
in Process-Aware Information Systems, M. Dumas, W. van der Aalst, and A.
ter Hofstede, Eds. New York, NY: Wiley, 2005, pp. 85–117.'
mla: Engels, Gregor, et al. “Process Modeling Using UML.” Process-Aware Information
Systems, edited by M. Dumas et al., Wiley, 2005, pp. 85–117.
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.'
date_created: 2019-02-05T12:58:16Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'M. '
full_name: 'Dumas, M. '
last_name: Dumas
- first_name: 'W. '
full_name: 'van der Aalst, W. '
last_name: van der Aalst
- first_name: A.
full_name: ter Hofstede, A.
last_name: ter Hofstede
language:
- iso: eng
page: 85-117
place: New York, NY
publication: Process-Aware Information Systems
publisher: Wiley
status: public
title: Process Modeling using UML
type: book_chapter
user_id: '52534'
year: '2005'
...
---
_id: '7547'
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.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
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. Formal Methods in Software and System Modeling. Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Vol 3393.
LNCS. Berlin/Heidelberg: Springer; 2005:38-63.'
apa: 'Engels, G., Heckel, R., & 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.), Formal Methods in Software
and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His
60th Birthday (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} }'
chicago: 'Engels, Gregor, Reiko Heckel, and Alexey Cherchago. “Flexible Interconnection
of Graph Transformation Modules - A Systematic Approach.” In Formal Methods
in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion
of His 60th Birthday, 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 Formal Methods in Software
and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His
60th Birthday, vol. 3393, H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg,
G. Taentzer, Ed. Berlin/Heidelberg: Springer, 2005, pp. 38–63.'
mla: Engels, Gregor, et al. “Flexible Interconnection of Graph Transformation Modules
- A Systematic Approach.” Formal Methods in Software and System Modeling. Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, edited by
H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, vol. 3393,
Springer, 2005, pp. 38–63.
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.'
date_created: 2019-02-05T13:00:17Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: H.-J.
full_name: ' Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.'
last_name: ' Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer'
intvolume: ' 3393'
language:
- iso: eng
page: 38-63
place: Berlin/Heidelberg
publication: Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut
Ehrig on the Occasion of His 60th Birthday
publisher: Springer
series_title: LNCS
status: public
title: Flexible Interconnection of Graph Transformation Modules - A Systematic Approach
type: book_chapter
user_id: '52534'
volume: 3393
year: '2005'
...
---
_id: '7548'
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.
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
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. Ausgezeichnete Informatikdissertationen 2004. Vol D5. Lecture
Notes in Informatics. 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.), Ausgezeichnete Informatikdissertationen 2004
(Vol. D5). Bonn: Gesellschaft für Informatik (GI).'
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} }'
chicago: 'Küster, Jochen. “Konsistenzmanagement von Objektorientierten Verhaltensmodellen.”
In Ausgezeichnete Informatikdissertationen 2004, 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.'
ieee: 'J. Küster, “Konsistenzmanagement von objektorientierten Verhaltensmodellen,”
in Ausgezeichnete Informatikdissertationen 2004, 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.'
mla: Küster, Jochen. “Konsistenzmanagement von Objektorientierten Verhaltensmodellen.”
Ausgezeichnete Informatikdissertationen 2004, 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.
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.'
date_created: 2019-02-05T13:01:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: D.
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
language:
- iso: eng
place: Bonn
publication: Ausgezeichnete Informatikdissertationen 2004
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Konsistenzmanagement von objektorientierten Verhaltensmodellen
type: book_chapter
user_id: '52534'
volume: D5
year: '2005'
...
---
_id: '7582'
abstract:
- lang: eng
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.
author:
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Thöne S. Dynamic Software Architectures: A Style-Based Modeling and Refinement
Technique with Graph Transformations.; 2005.'
apa: 'Thöne, S. (2005). Dynamic Software Architectures: A Style-Based Modeling
and Refinement Technique with Graph Transformations.'
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} }'
chicago: 'Thöne, Sebastian. Dynamic Software Architectures: A Style-Based Modeling
and Refinement Technique with Graph Transformations, 2005.'
ieee: 'S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement
Technique with Graph Transformations. 2005.'
mla: 'Thöne, Sebastian. Dynamic Software Architectures: A Style-Based Modeling
and Refinement Technique with Graph Transformations. 2005.'
short: 'S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement
Technique with Graph Transformations, 2005.'
date_created: 2019-02-06T14:25:58Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: 'Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique
with Graph Transformations'
type: dissertation
user_id: '52534'
year: '2005'
...
---
_id: '7583'
abstract:
- lang: eng
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.
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
citation:
ama: Mehner K. Trace-Based Debugging and Visualisation of Concurrent Java Programs
with UML.; 2005.
apa: Mehner, K. (2005). Trace-based Debugging and Visualisation of Concurrent
Java Programs with UML.
bibtex: '@book{Mehner_2005, title={Trace-based Debugging and Visualisation of Concurrent
Java Programs with UML}, author={Mehner, Katharina}, year={2005} }'
chicago: Mehner, Katharina. Trace-Based Debugging and Visualisation of Concurrent
Java Programs with UML, 2005.
ieee: K. Mehner, Trace-based Debugging and Visualisation of Concurrent Java Programs
with UML. 2005.
mla: Mehner, Katharina. Trace-Based Debugging and Visualisation of Concurrent
Java Programs with UML. 2005.
short: K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs
with UML, 2005.
date_created: 2019-02-06T14:26:49Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Trace-based Debugging and Visualisation of Concurrent Java Programs with UML
type: dissertation
user_id: '52534'
year: '2005'
...
---
_id: '7584'
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.
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
citation:
ama: 'Hendrik Hausmann J. Dynamic Meta Modeling: A Semantics Description Technique
for Visual Modeling Languages.; 2005.'
apa: 'Hendrik Hausmann, J. (2005). Dynamic Meta Modeling: A Semantics Description
Technique for Visual Modeling Languages.'
bibtex: '@book{Hendrik Hausmann_2005, title={Dynamic Meta Modeling: A Semantics
Description Technique for Visual Modeling Languages}, author={Hendrik Hausmann,
Jan}, year={2005} }'
chicago: 'Hendrik Hausmann, Jan. Dynamic Meta Modeling: A Semantics Description
Technique for Visual Modeling Languages, 2005.'
ieee: 'J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique
for Visual Modeling Languages. 2005.'
mla: 'Hendrik Hausmann, Jan. Dynamic Meta Modeling: A Semantics Description Technique
for Visual Modeling Languages. 2005.'
short: 'J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique
for Visual Modeling Languages, 2005.'
date_created: 2019-02-06T14:27:26Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: 'Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling
Languages'
type: dissertation
user_id: '52534'
year: '2005'
...
---
_id: '8394'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform
Independent User Interface Design. In: Proceedings of the MoDELS’05 Workshop
on Model Driven Development of Advanced User Interfaces. Vol 159. CEUR Workshop
Proceedings. CEUR-WS.org; 2005.'
apa: Schattkowsky, T., & Lohmann, M. (2005). Towards employing UML Model Mappings
for Platform Independent User Interface Design. In Proceedings of the MoDELS’05
Workshop on Model Driven Development of Advanced User Interfaces (Vol. 159).
CEUR-WS.org.
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} }'
chicago: Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
for Platform Independent User Interface Design.” In Proceedings of the MoDELS’05
Workshop on Model Driven Development of Advanced User Interfaces, Vol. 159.
CEUR Workshop Proceedings. CEUR-WS.org, 2005.
ieee: T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for
Platform Independent User Interface Design,” in Proceedings of the MoDELS’05
Workshop on Model Driven Development of Advanced User Interfaces, 2005, vol.
159.
mla: Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
for Platform Independent User Interface Design.” Proceedings of the MoDELS’05
Workshop on Model Driven Development of Advanced User Interfaces, vol. 159,
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.'
date_created: 2019-03-06T11:29:01Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 159'
language:
- iso: eng
main_file_link:
- url: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-159/paper6.pdf
publication: Proceedings of the MoDELS'05 Workshop on Model Driven Development of
Advanced User Interfaces
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Towards employing UML Model Mappings for Platform Independent User Interface
Design
type: conference
user_id: '52534'
volume: 159
year: '2005'
...
---
_id: '8395'
author:
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Carsten
full_name: Rust, Carsten
last_name: Rust
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
- first_name: Franz
full_name: Josef Rammig, Franz
last_name: Josef Rammig
citation:
ama: 'Rettberg A, Schattkowsky T, Rust C, Müller W, Josef Rammig F. The Reconfigurable
UML Machine Project Group. In: Proceedings of the EduTech Workshop on New Trends
and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech
2005), Perth (Australia). Vol 192. IFIP - International Federation for Information
Processing. Berlin/Heidelberg: Springer; 2005:139-147.'
apa: 'Rettberg, A., Schattkowsky, T., Rust, C., Müller, W., & Josef Rammig,
F. (2005). The Reconfigurable UML Machine Project Group. In Proceedings of
the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
for Computer-Aided Design (Edutech 2005), Perth (Australia) (Vol. 192, pp.
139–147). Berlin/Heidelberg: Springer.'
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} }'
chicago: 'Rettberg, Achim, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, and
Franz Josef Rammig. “The Reconfigurable UML Machine Project Group.” In Proceedings
of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
for Computer-Aided Design (Edutech 2005), Perth (Australia), 192:139–47. IFIP
- International Federation for Information Processing. Berlin/Heidelberg: Springer,
2005.'
ieee: A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, and F. Josef Rammig, “The
Reconfigurable UML Machine Project Group,” in Proceedings of the EduTech Workshop
on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design
(Edutech 2005), Perth (Australia), 2005, vol. 192, pp. 139–147.
mla: Rettberg, Achim, et al. “The Reconfigurable UML Machine Project Group.” Proceedings
of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
for Computer-Aided Design (Edutech 2005), Perth (Australia), vol. 192, Springer,
2005, pp. 139–47.
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.'
date_created: 2019-03-06T11:29:02Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 192'
language:
- iso: eng
page: 139-147
place: Berlin/Heidelberg
publication: Proceedings of the EduTech Workshop on New Trends and Technologies in
Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)
publisher: Springer
series_title: IFIP - International Federation for Information Processing
status: public
title: The Reconfigurable UML Machine Project Group
type: conference
user_id: '52534'
volume: 192
year: '2005'
...
---
_id: '8396'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Cherchago A, Engels G. Preservation of Compatibility under Evolution of Software
Components. In: International ERCIM-ESF Workshop on Challenges in Software
Evolution (ChaSE 2005), Berne (Switzerland). ; 2005.'
apa: Cherchago, A., & Engels, G. (2005). Preservation of Compatibility under
Evolution of Software Components. In International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland).
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} }'
chicago: Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under
Evolution of Software Components.” In International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
ieee: A. Cherchago and G. Engels, “Preservation of Compatibility under Evolution
of Software Components,” in International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
mla: Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under
Evolution of Software Components.” International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
short: 'A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.'
date_created: 2019-03-06T11:29:04Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: International ERCIM-ESF Workshop on Challenges in Software Evolution
(ChaSE 2005), Berne (Switzerland)
status: public
title: Preservation of Compatibility under Evolution of Software Components
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '8397'
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.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Lohmann M, Sauer S. Design by Contract zur semantischen Beschreibung
von Web Services. 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 & IT, Bonn
(Germany). Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik
(GI); 2005:612-616.'
apa: 'Engels, G., Lohmann, M., & Sauer, S. (2005). Design by Contract zur semantischen
Beschreibung von Web Services. 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
& IT, Bonn (Germany) (Vol. 68, pp. 612–616). Bonn: Gesellschaft für Informatik
(GI).'
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
& 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} }'
chicago: 'Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Design by Contract Zur
Semantischen Beschreibung von Web Services.” 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 & IT, Bonn (Germany), 68:612–16. Lecture Notes in Informatics.
Bonn: Gesellschaft für Informatik (GI), 2005.'
ieee: G. Engels, M. Lohmann, and S. Sauer, “Design by Contract zur semantischen
Beschreibung von Web Services,” 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
& IT, Bonn (Germany), 2005, vol. 68, pp. 612–616.
mla: Engels, Gregor, et al. “Design by Contract Zur Semantischen Beschreibung von
Web Services.” 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), vol.
68, Gesellschaft für Informatik (GI), 2005, pp. 612–16.
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
& IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.'
date_created: 2019-03-06T11:29:05Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 68'
language:
- iso: eng
page: 612-616
place: Bonn
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)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Design by Contract zur semantischen Beschreibung von Web Services
type: conference
user_id: '52534'
volume: 68
year: '2005'
...
---
_id: '8398'
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.'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services
mit Design by Contract. 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. Vol 68. Lecture
Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.'
apa: 'Engels, G., Lohmann, M., & Sauer, S. (2005). Modellbasierte Entwicklung
von Web Services mit Design by Contract. 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
(Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).'
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} }'
chicago: 'Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung
von Web Services Mit Design by Contract.” 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,
68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
2005.'
ieee: G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services
mit Design by Contract,” 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, 2005, vol. 68,
pp. 491–495.
mla: Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design
by Contract.” 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, 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.'
date_created: 2019-03-06T11:29:06Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 68'
language:
- iso: eng
page: 491-495
place: Bonn
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
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Modellbasierte Entwicklung von Web Services mit Design by Contract
type: conference
user_id: '52534'
volume: 68
year: '2005'
...
---
_id: '8399'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Heckel R, Thöne S. Behavioral Refinement of Graph Transformation-Based Models.
In: Proceedings of the Workshop on Software Evolution through Transformations
(SETra 2004), Rome (Italy). Vol 127. Amsterdam, The Netherlands: Elsevier;
2005:101-111. doi:http://dx.doi.org/10.1016/j.entcs.2004.08.037'
apa: 'Heckel, R., & Thöne, S. (2005). Behavioral Refinement of Graph Transformation-Based
Models. In Proceedings of the workshop on Software Evolution through Transformations
(SETra 2004), Rome (Italy) (Vol. 127, pp. 101–111). Amsterdam, The Netherlands:
Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.08.037'
bibtex: '@inproceedings{Heckel_Thöne_2005, place={Amsterdam, The Netherlands}, title={Behavioral
Refinement of Graph Transformation-Based Models}, volume={127}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.08.037},
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} }'
chicago: 'Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based
Models.” In Proceedings of the Workshop on Software Evolution through Transformations
(SETra 2004), Rome (Italy), 127:101–11. Amsterdam, The Netherlands: Elsevier,
2005. http://dx.doi.org/10.1016/j.entcs.2004.08.037.'
ieee: R. Heckel and S. Thöne, “Behavioral Refinement of Graph Transformation-Based
Models,” in Proceedings of the workshop on Software Evolution through Transformations
(SETra 2004), Rome (Italy), 2005, vol. 127, no. 3, pp. 101–111.
mla: Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based
Models.” Proceedings of the Workshop on Software Evolution through Transformations
(SETra 2004), Rome (Italy), vol. 127, no. 3, Elsevier, 2005, pp. 101–11, doi:http://dx.doi.org/10.1016/j.entcs.2004.08.037.
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.'
date_created: 2019-03-06T11:29:07Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.08.037
intvolume: ' 127'
issue: '3'
language:
- iso: eng
page: 101-111
place: Amsterdam, The Netherlands
publication: Proceedings of the workshop on Software Evolution through Transformations
(SETra 2004), Rome (Italy)
publisher: Elsevier
status: public
title: Behavioral Refinement of Graph Transformation-Based Models
type: conference
user_id: '52534'
volume: 127
year: '2005'
...
---
_id: '8400'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Heckel R, Lohmann M. Towards Contract-based Testing of Web Services. In: Proceedings
of the International Workshop on Test and Analysis of Component Based Systems
(TACoS 2004). Vol 116. Elsevier; 2005:145-156. doi:http://dx.doi.org/10.1016/j.entcs.2004.02.073'
apa: Heckel, R., & Lohmann, M. (2005). Towards Contract-based Testing of Web
Services. In Proceedings of the International Workshop on Test and Analysis
of Component Based Systems (TACoS 2004) (Vol. 116, pp. 145–156). Elsevier.
http://dx.doi.org/10.1016/j.entcs.2004.02.073
bibtex: '@inproceedings{Heckel_Lohmann_2005, title={Towards Contract-based Testing
of Web Services}, volume={116}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.02.073},
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} }'
chicago: Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web
Services.” In Proceedings of the International Workshop on Test and Analysis
of Component Based Systems (TACoS 2004), 116:145–56. Elsevier, 2005. http://dx.doi.org/10.1016/j.entcs.2004.02.073.
ieee: R. Heckel and M. Lohmann, “Towards Contract-based Testing of Web Services,”
in Proceedings of the International Workshop on Test and Analysis of Component
Based Systems (TACoS 2004), 2005, vol. 116, pp. 145–156.
mla: Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web Services.”
Proceedings of the International Workshop on Test and Analysis of Component
Based Systems (TACoS 2004), vol. 116, Elsevier, 2005, pp. 145–56, doi:http://dx.doi.org/10.1016/j.entcs.2004.02.073.
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.'
date_created: 2019-03-06T11:29:08Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.02.073
intvolume: ' 116'
language:
- iso: eng
page: 145-156
publication: Proceedings of the International Workshop on Test and Analysis of Component
Based Systems (TACoS 2004)
publisher: Elsevier
status: public
title: Towards Contract-based Testing of Web Services
type: conference
user_id: '52534'
volume: 116
year: '2005'
...
---
_id: '8401'
abstract:
- lang: eng
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.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform
Independent User Interface Design (Revised). In: Proceedings of the Satellite
Events at the MoDELS 2005 Conference. Vol 3844. LNCS. Berlin/Heidelberg: Springer;
2005:201-209. doi:http://dx.doi.org/10.1007/11663430_21'
apa: 'Schattkowsky, T., & Lohmann, M. (2005). Towards employing UML Model Mappings
for Platform Independent User Interface Design (Revised). In Proceedings of
the Satellite Events at the MoDELS 2005 Conference (Vol. 3844, pp. 201–209).
Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/11663430_21'
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={http://dx.doi.org/10.1007/11663430_21},
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} }'
chicago: 'Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
for Platform Independent User Interface Design (Revised).” In Proceedings of
the Satellite Events at the MoDELS 2005 Conference, 3844:201–9. LNCS. Berlin/Heidelberg:
Springer, 2005. http://dx.doi.org/10.1007/11663430_21.'
ieee: T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for
Platform Independent User Interface Design (Revised),” in Proceedings of the
Satellite Events at the MoDELS 2005 Conference, 2005, vol. 3844, pp. 201–209.
mla: Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
for Platform Independent User Interface Design (Revised).” Proceedings of the
Satellite Events at the MoDELS 2005 Conference, vol. 3844, Springer, 2005,
pp. 201–09, doi:http://dx.doi.org/10.1007/11663430_21.
short: 'T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at
the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.'
date_created: 2019-03-06T11:29:09Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11663430_21
intvolume: ' 3844'
language:
- iso: eng
page: 201-209
place: Berlin/Heidelberg
publication: Proceedings of the Satellite Events at the MoDELS 2005 Conference
publisher: Springer
series_title: LNCS
status: public
title: Towards employing UML Model Mappings for Platform Independent User Interface
Design (Revised)
type: conference
user_id: '52534'
volume: 3844
year: '2005'
...
---
_id: '8402'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Hendrik Hausmann J, Rettberg A. Using UML Activities for Synthesis
on Reconfigurable Hardware. In: Proceedings of the UML for SoC Design Workshop.
Anaheim, USA; 2005.'
apa: Schattkowsky, T., Hendrik Hausmann, J., & Rettberg, A. (2005). Using UML
Activities for Synthesis on Reconfigurable Hardware. In Proceedings of the
UML for SoC Design Workshop. 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} }'
chicago: Schattkowsky, Tim, Jan Hendrik Hausmann, and Achim Rettberg. “Using UML
Activities for Synthesis on Reconfigurable Hardware.” 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 Proceedings of the UML for SoC
Design Workshop, 2005.
mla: Schattkowsky, Tim, et al. “Using UML Activities for Synthesis on Reconfigurable
Hardware.” Proceedings of the UML for SoC Design Workshop, 2005.
short: 'T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the
UML for SoC Design Workshop, Anaheim, USA, 2005.'
date_created: 2019-03-06T11:29:11Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
place: Anaheim, USA
publication: Proceedings of the UML for SoC Design Workshop
status: public
title: Using UML Activities for Synthesis on Reconfigurable Hardware
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7782'
citation:
ama: 'Engels G, Seehusen S, eds. Proceedings of “DeLFI 2004: Die 2. e-Learning
Fachtagung Informatik”, Paderborn (Germany). Bonn: Gesellschaft für Informatik
(GI); 2004.'
apa: 'Engels, G., & Seehusen, S. (Eds.). (2004). Proceedings of “DeLFI 2004:
Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany). 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} }'
chicago: 'Engels, Gregor, and S. Seehusen, eds. Proceedings of “DeLFI 2004: Die
2. e-Learning Fachtagung Informatik”, Paderborn (Germany). Lecture Notes in
Informatics. Bonn: Gesellschaft für Informatik (GI), 2004.'
ieee: 'G. Engels and S. Seehusen, Eds., Proceedings of “DeLFI 2004: Die 2. e-Learning
Fachtagung Informatik”, Paderborn (Germany), no. P-52. Bonn: Gesellschaft
für Informatik (GI), 2004.'
mla: 'Engels, Gregor, and S. Seehusen, editors. Proceedings of “DeLFI 2004: Die
2. e-Learning Fachtagung Informatik”, Paderborn (Germany). no. P-52, Gesellschaft
für Informatik (GI), 2004.'
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.'
date_created: 2019-02-19T18:42:54Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: S.
full_name: Seehusen, S.
last_name: Seehusen
issue: P-52
language:
- iso: eng
place: Bonn
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: 'Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn
(Germany)'
type: conference_editor
user_id: '52534'
year: '2004'
...
---
_id: '7783'
citation:
ama: Engels G, Sauer S, eds. Modeling and Development of Multimedia Systems.
Vol 14. World Scientific; 2004. doi:http://dx.doi.org/10.1142/S021819400400183X
apa: Engels, G., & Sauer, S. (Eds.). (2004). Modeling and Development of
Multimedia Systems (Vol. 14). World Scientific. http://dx.doi.org/10.1142/S021819400400183X
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={http://dx.doi.org/10.1142/S021819400400183X},
number={6}, publisher={World Scientific}, year={2004}, collection={Special Issue
of the International Journal of Software Engineering and Knowledge Engineering}
}'
chicago: Engels, Gregor, and Stefan Sauer, eds. Modeling and Development of Multimedia
Systems. Vol. 14. Special Issue of the International Journal of Software Engineering
and Knowledge Engineering. World Scientific, 2004. http://dx.doi.org/10.1142/S021819400400183X.
ieee: G. Engels and S. Sauer, Eds., Modeling and Development of Multimedia Systems,
vol. 14, no. 6. World Scientific, 2004.
mla: Engels, Gregor, and Stefan Sauer, editors. Modeling and Development of Multimedia
Systems. Vol. 14, no. 6, World Scientific, 2004, doi:http://dx.doi.org/10.1142/S021819400400183X.
short: G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems,
World Scientific, 2004.
date_created: 2019-02-19T18:43:42Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S021819400400183X
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
intvolume: ' 14'
issue: '6'
language:
- iso: eng
publisher: World Scientific
series_title: Special Issue of the International Journal of Software Engineering and
Knowledge Engineering
status: public
title: Modeling and Development of Multimedia Systems
type: conference_editor
user_id: '52534'
volume: 14
year: '2004'
...