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