---
_id: '7957'
abstract:
- lang: eng
text: Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente
Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse
eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise
Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert
eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen
Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist
an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden.
Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen
Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im
Kontext einer SOA vor.
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: Oliver
full_name: Juwig, Oliver
last_name: Juwig
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Jan-Peter
full_name: Richter, Jan-Peter
last_name: Richter
citation:
ama: 'Engels G, Güldali B, Juwig O, Lohmann M, Richter J-P. Industrielle Fallstudie:
Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: Proceedings
of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik
(SE 2006), Leipzig (Germany). Vol 79. Lecture Notes in Informatics. Bonn:
Gesellschaft für Informatik (GI); 2006:111-122. doi:http://dx.doi.org/10.1007/11841883'
apa: 'Engels, G., Güldali, B., Juwig, O., Lohmann, M., & Richter, J.-P. (2006).
Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen.
In Proceedings of the conference on Software Enginneering, Fachtagung des GI
Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany) (Vol. 79, pp. 111–122).
Bonn: Gesellschaft für Informatik (GI). http://dx.doi.org/10.1007/11841883'
bibtex: '@inproceedings{Engels_Güldali_Juwig_Lohmann_Richter_2006, place={Bonn},
series={Lecture Notes in Informatics}, title={Industrielle Fallstudie: Einsatz
visueller Kontrakte in serviceorientierten Architekturen}, volume={79}, DOI={http://dx.doi.org/10.1007/11841883},
booktitle={Proceedings of the conference on Software Enginneering, Fachtagung
des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}, publisher={Gesellschaft
für Informatik (GI)}, author={Engels, Gregor and Güldali, Baris and Juwig, Oliver
and Lohmann, Marc and Richter, Jan-Peter}, year={2006}, pages={111–122}, collection={Lecture
Notes in Informatics} }'
chicago: 'Engels, Gregor, Baris Güldali, Oliver Juwig, Marc Lohmann, and Jan-Peter
Richter. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten
Architekturen.” In Proceedings of the Conference on Software Enginneering,
Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany),
79:111–22. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
2006. http://dx.doi.org/10.1007/11841883.'
ieee: 'G. Engels, B. Güldali, O. Juwig, M. Lohmann, and J.-P. Richter, “Industrielle
Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen,”
in Proceedings of the conference on Software Enginneering, Fachtagung des GI
Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), 2006, vol. 79,
pp. 111–122.'
mla: 'Engels, Gregor, et al. “Industrielle Fallstudie: Einsatz Visueller Kontrakte
in Serviceorientierten Architekturen.” Proceedings of the Conference on Software
Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig
(Germany), vol. 79, Gesellschaft für Informatik (GI), 2006, pp. 111–22, doi:http://dx.doi.org/10.1007/11841883.'
short: 'G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings
of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik
(SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp.
111–122.'
date_created: 2019-02-21T11:44:25Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11841883
intvolume: ' 79'
language:
- iso: eng
page: 111-122
place: Bonn
publication: Proceedings of the conference on Software Enginneering, Fachtagung des
GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: 'Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten
Architekturen'
type: conference
user_id: '52534'
volume: 79
year: '2006'
...
---
_id: '8215'
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Jan-Peter
full_name: Richter, Jan-Peter
last_name: Richter
- 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: Oliver
full_name: Juwig, Oliver
last_name: Juwig
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Lohmann M, Richter J-P, Engels G, Güldali B, Juwig O, Sauer S. Semantische
Beschreibung von Enterprise Services – Eine Industrielle Fallstudie. University
of Paderborn, s-lab; 2006.
apa: Lohmann, M., Richter, J.-P., Engels, G., Güldali, B., Juwig, O., & Sauer,
S. (2006). Semantische Beschreibung von Enterprise Services – Eine industrielle
Fallstudie. University of Paderborn, s-lab.
bibtex: '@book{Lohmann_Richter_Engels_Güldali_Juwig_Sauer_2006, title={Semantische
Beschreibung von Enterprise Services – Eine industrielle Fallstudie}, publisher={University
of Paderborn, s-lab}, author={Lohmann, Marc and Richter, Jan-Peter and Engels,
Gregor and Güldali, Baris and Juwig, Oliver and Sauer, Stefan}, year={2006} }'
chicago: Lohmann, Marc, Jan-Peter Richter, Gregor Engels, Baris Güldali, Oliver
Juwig, and Stefan Sauer. Semantische Beschreibung von Enterprise Services –
Eine Industrielle Fallstudie. University of Paderborn, s-lab, 2006.
ieee: M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, and S. Sauer,
Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie.
University of Paderborn, s-lab, 2006.
mla: Lohmann, Marc, et al. Semantische Beschreibung von Enterprise Services –
Eine Industrielle Fallstudie. University of Paderborn, s-lab, 2006.
short: M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische
Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University
of Paderborn, s-lab, 2006.
date_created: 2019-03-03T16:13:14Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, s-lab
report_number: '1'
status: public
title: Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie
type: report
user_id: '52534'
year: '2006'
...
---
_id: '7376'
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. Model-Driven Development of Reactive Information Systems:
From Graph Transformation Rules to JML Contracts. International Journal on
Software Tools for Technology Transfer (STTT). 2006;9(2):193-207.'
apa: 'Heckel, R., & Lohmann, M. (2006). Model-Driven Development of Reactive
Information Systems: From Graph Transformation Rules to JML Contracts. International
Journal on Software Tools for Technology Transfer (STTT), 9(2), 193–207.'
bibtex: '@article{Heckel_Lohmann_2006, title={Model-Driven Development of Reactive
Information Systems: From Graph Transformation Rules to JML Contracts}, volume={9},
number={2}, journal={International Journal on Software Tools for Technology Transfer
(STTT)}, author={Heckel, Reiko and Lohmann, Marc}, year={2006}, pages={193–207}
}'
chicago: 'Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive
Information Systems: From Graph Transformation Rules to JML Contracts.” International
Journal on Software Tools for Technology Transfer (STTT) 9, no. 2 (2006):
193–207.'
ieee: 'R. Heckel and M. Lohmann, “Model-Driven Development of Reactive Information
Systems: From Graph Transformation Rules to JML Contracts,” International Journal
on Software Tools for Technology Transfer (STTT), vol. 9, no. 2, pp. 193–207,
2006.'
mla: 'Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive Information
Systems: From Graph Transformation Rules to JML Contracts.” International Journal
on Software Tools for Technology Transfer (STTT), vol. 9, no. 2, 2006, pp.
193–207.'
short: R. Heckel, M. Lohmann, International Journal on Software Tools for Technology
Transfer (STTT) 9 (2006) 193–207.
date_created: 2019-01-31T15:28:56Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 9'
issue: '2'
language:
- iso: eng
page: 193-207
publication: International Journal on Software Tools for Technology Transfer (STTT)
status: public
title: 'Model-Driven Development of Reactive Information Systems: From Graph Transformation
Rules to JML Contracts'
type: journal_article
user_id: '52534'
volume: 9
year: '2006'
...
---
_id: '7377'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: Küster J. Definition and Validation of Model Transformations. Software and
Systems Modeling. 2006;5(3):233-259. doi:http://dx.doi.org/10.1007/s10270-006-0018-8
apa: Küster, J. (2006). Definition and Validation of Model Transformations. Software
and Systems Modeling, 5(3), 233–259. http://dx.doi.org/10.1007/s10270-006-0018-8
bibtex: '@article{Küster_2006, title={Definition and Validation of Model Transformations},
volume={5}, DOI={http://dx.doi.org/10.1007/s10270-006-0018-8},
number={3}, journal={Software and Systems Modeling}, author={Küster, Jochen},
year={2006}, pages={233–259} }'
chicago: 'Küster, Jochen. “Definition and Validation of Model Transformations.”
Software and Systems Modeling 5, no. 3 (2006): 233–59. http://dx.doi.org/10.1007/s10270-006-0018-8.'
ieee: J. Küster, “Definition and Validation of Model Transformations,” Software
and Systems Modeling, vol. 5, no. 3, pp. 233–259, 2006.
mla: Küster, Jochen. “Definition and Validation of Model Transformations.” Software
and Systems Modeling, vol. 5, no. 3, 2006, pp. 233–59, doi:http://dx.doi.org/10.1007/s10270-006-0018-8.
short: J. Küster, Software and Systems Modeling 5 (2006) 233–259.
date_created: 2019-01-31T15:29:26Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/s10270-006-0018-8
intvolume: ' 5'
issue: '3'
language:
- iso: eng
page: 233-259
publication: Software and Systems Modeling
status: public
title: Definition and Validation of Model Transformations
type: journal_article
user_id: '52534'
volume: 5
year: '2006'
...
---
_id: '7549'
abstract:
- lang: eng
text: The current situation of ad hoc development of Web applications reminds us
of the software development practices of the 1960s, before it was realized that
the development of applications required more than programming expertise. This
book counteracts this situation by giving a comprehensive, practice-oriented and
thorough insight into the new discipline of Web Engineering. The text highlights
the need to examine and re-use the body of knowledge found within software engineering.
It demonstrates how to use that knowledge within the Web environment, in order
to achieve a highly disciplined and methodological means of producing Web-based
software, putting emphasize on current practices, experiences and pitfalls. The
book demonstrates the distinctions between software engineering and Web engineering,
for instance, the shorter lead times that Web engineering has compared to its
software counterpart, whilst also demonstrating the rapid prototyping and agile
methods of development needed to meet these criteria. The book covers important
topics of Web Engineering, including requirements analysis, design, architectures,
technologies, test, operation and maintenance; this is complemented by in-depth
knowledge about Web project management and process issues as well as important
quality aspects of Web applications like usability, performance and security.
An overview of Semantic Web concepts points the way to the development of future
Web applications.
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: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Engels G, Lohmann M, Wagner A. The Web Application Development Process. In:
Kappel, B. Pröll, S. Reich, W. Retschitzegger G, ed. Web Engineering: The Discipline
of Systematic Development of Web Applications. Wiley; 2006.'
apa: 'Engels, G., Lohmann, M., & Wagner, A. (2006). The Web Application Development
Process. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering:
The Discipline of Systematic Development of Web Applications. Wiley.'
bibtex: '@inbook{Engels_Lohmann_Wagner_2006, title={The Web Application Development
Process}, booktitle={Web Engineering: The Discipline of Systematic Development
of Web Applications}, publisher={Wiley}, author={Engels, Gregor and Lohmann, Marc
and Wagner, Annika}, editor={Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.Editor},
year={2006} }'
chicago: 'Engels, Gregor, Marc Lohmann, and Annika Wagner. “The Web Application
Development Process.” In Web Engineering: The Discipline of Systematic Development
of Web Applications, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger.
Wiley, 2006.'
ieee: 'G. Engels, M. Lohmann, and A. Wagner, “The Web Application Development Process,”
in Web Engineering: The Discipline of Systematic Development of Web Applications,
G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Ed. Wiley, 2006.'
mla: 'Engels, Gregor, et al. “The Web Application Development Process.” Web Engineering:
The Discipline of Systematic Development of Web Applications, edited by G.
Kappel, B. Pröll, S. Reich, W. Retschitzegger, Wiley, 2006.'
short: 'G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W.
Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development
of Web Applications, Wiley, 2006.'
date_created: 2019-02-05T13:03:09Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: G.
full_name: Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.
last_name: Kappel, B. Pröll, S. Reich, W. Retschitzegger
language:
- iso: eng
publication: 'Web Engineering: The Discipline of Systematic Development of Web Applications'
publisher: Wiley
status: public
title: The Web Application Development Process
type: book_chapter
user_id: '52534'
year: '2006'
...
---
_id: '7580'
abstract:
- lang: eng
text: 'Service oriented architectures promise an easy integration of existing IT
systems inside and outside of an organization. Service descriptions and software
developers are the pivotal elements when systems are integrated over a service
oriented architecture. The integration of a service into a client is based on
its public service description. On the service provider side, a software developer
develops a service description and implements a service accordingly. Today, a
service is implemented mainly manual. Automated code generation techniques are
seldom used. On the service requestor side, if a software developer needs a specific
functionality he searches for a sufficient service. Thus, the success of service
oriented architectures is strongly coupled to the content and usability of service
descriptions by software developers. In this thesis we describe how to use contracts
on the model level to enable a correct implementation and retrieval of services.
In our approach we take the pivotal roles of the software developer and the public
service description into account. Especially, we allow for a model-based semantic
description, monitoring of the correctness of a service and the comparison of
existing service descriptions. Therefore, our approach is based on three important
techniques: Visual contracts allow for specifying the semantics of a service.
A visual contract consists of a pair of UML composite structure diagrams for the
representation of the pre- and post-condition of a service. By using UML composite
structure diagrams, we have chosen a graphical notation that is familiar to software
developers and easily integrates with today’s model-driven software development
processes. By embedding our visual contracts into a software development process
we are able to monitor the correctness of a hand-coded implementation. Therefore,
we will show how models can be used to generate assertions which monitor the execution
of the hand-coded implementation. Herewith, violations of the modeled requirements
will be detected at runtime. We call this novel approach model-driven monitoring.
Model-driven Matching is a new approach to enable a model-based query of existing
services. Therefore, we allow for using visual contracts on the service requestor
side to describe a needed service. A matching procedure checks the compatibility
of a service description and a service query.'
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: Lohmann M. Kontraktbasierte Modellierung, Implementierung Und Suche von
Komponenten in Serviceorientierten Architekturen.; 2006.
apa: Lohmann, M. (2006). Kontraktbasierte Modellierung, Implementierung und Suche
von Komponenten in serviceorientierten Architekturen.
bibtex: '@book{Lohmann_2006, title={Kontraktbasierte Modellierung, Implementierung
und Suche von Komponenten in serviceorientierten Architekturen}, author={Lohmann,
Marc}, year={2006} }'
chicago: Lohmann, Marc. Kontraktbasierte Modellierung, Implementierung Und Suche
von Komponenten in Serviceorientierten Architekturen, 2006.
ieee: M. Lohmann, Kontraktbasierte Modellierung, Implementierung und Suche von
Komponenten in serviceorientierten Architekturen. 2006.
mla: Lohmann, Marc. Kontraktbasierte Modellierung, Implementierung Und Suche
von Komponenten in Serviceorientierten Architekturen. 2006.
short: M. Lohmann, Kontraktbasierte Modellierung, Implementierung Und Suche von
Komponenten in Serviceorientierten Architekturen, 2006.
date_created: 2019-02-06T14:24:25Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in
serviceorientierten Architekturen
type: dissertation
user_id: '52534'
year: '2006'
...
---
_id: '7581'
abstract:
- lang: eng
text: One of the main tasks of modern application integration projects is to allow
one business unit (requestor) to use services offered by another business unit
(provider). When software systems of business partners are composed, an import
interface of the requestor system is connected to an exportinterface of the provider
system. Here, the import interface specification containing the requestor's requirements
for a needed service has to be matched against the export interface specification
describing the provided service. Usually, software engineers carry out matching
of interface specifications manually; it makes the design and implementation of
composite software expensive and error-prone. Therefore, the demand for instruments
that would automate the matching procedure is high. In this thesis, we develop
a new technique facilitating integration of software systems. To this end, we
solve a problem of how to construct visual and formal interface specifications
comprising semantic descriptions. Our method also includes a matching procedure
that checks compatibility of such specifications. Interface specifications consist
of structural and behavioural compartments. The structural compartment, given
by a signature analogous to those appearing in algebraic specifications, defines
operation declarations. The behavioural compartment, modelled by a conditional
graph transformation system (GTS), contains operation contracts in the form of
graph transformation rules. The rules of conditional GTS are equipped with loose
semantics to describe operations in the import interface, and with strict semantics
to describe those in the export interface. Composition of two compartments leads
to an integral interface specification which is represented by the novel concept
of parameterized conditional GTS. We develop three kinds of compatibility relations
underlying the matching procedure. The intended correspondence between declarations
and contracts of the required and provided operations is reflected by structural
and behavioural compatibility relations that are established over the corresponding
compartments of interface specifications. These two compatibility relations are
combined into an integral compatibility relation that links the integral specification
of the import interface to the one of the export interface. Furthermore, the constructed
relations are equipped with rigorously formulated semantic requirements to compatibility
and are justified against them. The introduced mathematical theory is supplemented
with a conceptual framework. It is aimed at generating interface specifications
that are suitable for automation of the matching process. The framework is based
on an industry standard that outlines a uniform way of generating specifications.
We use the standard issued by the Open Travel Alliance (OTA) in our example scenario
where we develop and match standard-based interface specifications of Web services
taken from the travelling business domain. Compatibility of interface specifications
is necessary but not sufficient for accurate interactions between systems. The
integration process is based on the assumption that these systems are correct.
First and foremost, this correctness means that interface specifications representing
externally visible parts of systems are consistent with implementations which
appear internally in the systems. To check this assumption, we propose a model
describing external as well as internal parts of a system. The model, formally
represented by a graph transformation module, defines consistency relations between
external and internal specifications and allows to validate correctness of systems
prior to the integration. The proposed model and the matching procedure developed
in the thesis are the key elements of a technology designed to improve the application
integration process, making it theoretically well-defined and practically machine-processable.
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: Cherchago A. Service Specification and Matching Based on Graph Transformation.;
2006.
apa: Cherchago, A. (2006). Service Specification and Matching Based on Graph
Transformation.
bibtex: '@book{Cherchago_2006, title={Service Specification and Matching Based on
Graph Transformation}, author={Cherchago, Alexey}, year={2006} }'
chicago: Cherchago, Alexey. Service Specification and Matching Based on Graph
Transformation, 2006.
ieee: A. Cherchago, Service Specification and Matching Based on Graph Transformation.
2006.
mla: Cherchago, Alexey. Service Specification and Matching Based on Graph Transformation.
2006.
short: A. Cherchago, Service Specification and Matching Based on Graph Transformation,
2006.
date_created: 2019-02-06T14:25:17Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Service Specification and Matching Based on Graph Transformation
type: dissertation
user_id: '52534'
year: '2006'
...
---
_id: '8404'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
- first_name: Rainer
full_name: Dömer, Rainer
last_name: Dömer
citation:
ama: 'Schattkowsky T, Rettberg A, Dömer R. Design Space Exploration through Interactive
Model Mappings for UML-based Specifications. In: Proceedings of the 3rd UML
for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference
(DAC 2006)), San Francisco, CA (USA). ; 2006:25-28.'
apa: Schattkowsky, T., Rettberg, A., & Dömer, R. (2006). Design Space Exploration
through Interactive Model Mappings for UML-based Specifications. In Proceedings
of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA) (pp. 25–28).
bibtex: '@inproceedings{Schattkowsky_Rettberg_Dömer_2006, title={Design Space Exploration
through Interactive Model Mappings for UML-based Specifications}, booktitle={Proceedings
of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA)}, author={Schattkowsky, Tim and
Rettberg, Achim and Dömer, Rainer}, year={2006}, pages={25–28} }'
chicago: Schattkowsky, Tim, Achim Rettberg, and Rainer Dömer. “Design Space Exploration
through Interactive Model Mappings for UML-Based Specifications.” In Proceedings
of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA), 25–28, 2006.
ieee: T. Schattkowsky, A. Rettberg, and R. Dömer, “Design Space Exploration through
Interactive Model Mappings for UML-based Specifications,” in Proceedings of
the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.
mla: Schattkowsky, Tim, et al. “Design Space Exploration through Interactive Model
Mappings for UML-Based Specifications.” Proceedings of the 3rd UML for SoC
Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC
2006)), San Francisco, CA (USA), 2006, pp. 25–28.
short: 'T. Schattkowsky, A. Rettberg, R. Dömer, in: Proceedings of the 3rd UML for
SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference
(DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.'
date_created: 2019-03-06T11:44:45Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 25-28
publication: Proceedings of the 3rd UML for SoC Design Workshop (satellite event of
the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)
status: public
title: Design Space Exploration through Interactive Model Mappings for UML-based Specifications
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '8405'
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 Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France).
Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA; 2006:16-29.'
apa: 'Engels, G., Güldali, B., & Lohmann, M. (2006). Towards Model-Driven Unit
Testing. In Proceedings of the workshop on Model Design and Validation (MoDeVa
2006), Toulouse (France) (pp. 16–29). Berlin / Heidelberg: Le Commissariat
à l’Energie Atomique - CEA.'
bibtex: '@inproceedings{Engels_Güldali_Lohmann_2006, place={Berlin / Heidelberg},
title={Towards Model-Driven Unit Testing}, booktitle={Proceedings of the workshop
on Model Design and Validation (MoDeVa 2006), Toulouse (France)}, publisher={Le
Commissariat à l’Energie Atomique - CEA}, author={Engels, Gregor and Güldali,
Baris and Lohmann, Marc}, year={2006}, pages={16–29} }'
chicago: 'Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven
Unit Testing.” In Proceedings of the Workshop on Model Design and Validation
(MoDeVa 2006), Toulouse (France), 16–29. Berlin / Heidelberg: Le Commissariat
à l’Energie Atomique - CEA, 2006.'
ieee: G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,”
in Proceedings of the workshop on Model Design and Validation (MoDeVa 2006),
Toulouse (France), 2006, pp. 16–29.
mla: Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” Proceedings
of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France),
Le Commissariat à l’Energie Atomique - CEA, 2006, pp. 16–29.
short: 'G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model
Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie
Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.'
date_created: 2019-03-06T11:44:46Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 16-29
place: Berlin / Heidelberg
publication: Proceedings of the workshop on Model Design and Validation (MoDeVa 2006),
Toulouse (France)
publisher: Le Commissariat à l'Energie Atomique - CEA
status: public
title: Towards Model-Driven Unit Testing
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '8406'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Matthias
full_name: Gehrke, Matthias
last_name: Gehrke
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Gehrke M, Sauer S. Multi-Private Public Partnership (MPPP) - Softwaretechnik
auf dem Weg in die Industrie. In: Proceedings of the Workshop on Vernetzung
von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite
Event of the Informatik 2006 - Informatik Für Menschen). Vol 93. Lecture Notes
in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:281-287.'
apa: 'Engels, G., Gehrke, M., & Sauer, S. (2006). Multi-Private Public Partnership
(MPPP) - Softwaretechnik auf dem Weg in die Industrie. In Proceedings of the
Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung
(VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)
(Vol. 93, pp. 281–287). Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@inproceedings{Engels_Gehrke_Sauer_2006, place={Bonn}, series={Lecture
Notes in Informatics}, title={Multi-Private Public Partnership (MPPP) - Softwaretechnik
auf dem Weg in die Industrie}, volume={93}, booktitle={Proceedings of the Workshop
on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF,
satellite event of the Informatik 2006 - Informatik für Menschen)}, publisher={Gesellschaft
für Informatik (GI)}, author={Engels, Gregor and Gehrke, Matthias and Sauer, Stefan},
year={2006}, pages={281–287}, collection={Lecture Notes in Informatics} }'
chicago: 'Engels, Gregor, Matthias Gehrke, and Stefan Sauer. “Multi-Private Public
Partnership (MPPP) - Softwaretechnik Auf Dem Weg in Die Industrie.” In Proceedings
of the Workshop on Vernetzung von Software Engineering Expertise in Industrie
Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für
Menschen), 93:281–87. Lecture Notes in Informatics. Bonn: Gesellschaft für
Informatik (GI), 2006.'
ieee: G. Engels, M. Gehrke, and S. Sauer, “Multi-Private Public Partnership (MPPP)
- Softwaretechnik auf dem Weg in die Industrie,” in Proceedings of the Workshop
on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF,
satellite event of the Informatik 2006 - Informatik für Menschen), 2006, vol.
93, pp. 281–287.
mla: Engels, Gregor, et al. “Multi-Private Public Partnership (MPPP) - Softwaretechnik
Auf Dem Weg in Die Industrie.” Proceedings of the Workshop on Vernetzung von
Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event
of the Informatik 2006 - Informatik Für Menschen), vol. 93, Gesellschaft für
Informatik (GI), 2006, pp. 281–87.
short: 'G. Engels, M. Gehrke, S. Sauer, in: Proceedings of the Workshop on Vernetzung
von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite
Event of the Informatik 2006 - Informatik Für Menschen), Gesellschaft für Informatik
(GI), Bonn, 2006, pp. 281–287.'
date_created: 2019-03-06T11:44:48Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 93'
language:
- iso: eng
page: 281-287
place: Bonn
publication: Proceedings of the Workshop on Vernetzung von Software Engineering Expertise
in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik
für Menschen)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die
Industrie
type: conference
user_id: '52534'
volume: 93
year: '2006'
...
---
_id: '8407'
author:
- first_name: Stephan
full_name: Frohnhoff, Stephan
last_name: Frohnhoff
- first_name: Volker
full_name: Jung, Volker
last_name: Jung
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Frohnhoff S, Jung V, Engels G. Use Case Points in der industriellen Praxis.
In: Proceedings of the International Workshop on Software Metrics and DASMA
Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany). Magdeburger
Schriften zum Empirischen Software-Engineering; 2006:511-526.'
apa: Frohnhoff, S., Jung, V., & Engels, G. (2006). Use Case Points in der industriellen
Praxis. In Proceedings of the International Workshop on Software Metrics and
DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany) (pp.
511–526). Magdeburger Schriften zum Empirischen Software-Engineering.
bibtex: '@inproceedings{Frohnhoff_Jung_Engels_2006, title={Use Case Points in der
industriellen Praxis}, booktitle={Proceedings of the International Workshop on
Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam
(Germany)}, publisher={Magdeburger Schriften zum Empirischen Software-Engineering},
author={Frohnhoff, Stephan and Jung, Volker and Engels, Gregor}, year={2006},
pages={511–526} }'
chicago: Frohnhoff, Stephan, Volker Jung, and Gregor Engels. “Use Case Points in
Der Industriellen Praxis.” In Proceedings of the International Workshop on
Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam
(Germany), 511–26. Magdeburger Schriften zum Empirischen Software-Engineering,
2006.
ieee: S. Frohnhoff, V. Jung, and G. Engels, “Use Case Points in der industriellen
Praxis,” in Proceedings of the International Workshop on Software Metrics and
DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany), 2006,
pp. 511–526.
mla: Frohnhoff, Stephan, et al. “Use Case Points in Der Industriellen Praxis.” Proceedings
of the International Workshop on Software Metrics and DASMA Software Metrik Kongress
(IWSM/MetriKon 2006), Potsdam (Germany), Magdeburger Schriften zum Empirischen
Software-Engineering, 2006, pp. 511–26.
short: 'S. Frohnhoff, V. Jung, G. Engels, in: Proceedings of the International Workshop
on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam
(Germany), Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp.
511–526.'
date_created: 2019-03-06T11:44:49Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 511-526
publication: Proceedings of the International Workshop on Software Metrics and DASMA
Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)
publisher: Magdeburger Schriften zum Empirischen Software-Engineering
status: public
title: Use Case Points in der industriellen Praxis
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '8408'
author:
- first_name: Jana
full_name: Koehler, Jana
last_name: Koehler
- first_name: Rainer
full_name: Hauser, Rainer
last_name: Hauser
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Ksenia
full_name: Ryndina, Ksenia
last_name: Ryndina
- first_name: Jussi
full_name: Vanhatalo, Jussi
last_name: Vanhatalo
- first_name: Michael
full_name: Wahler, Michael
last_name: Wahler
citation:
ama: 'Koehler J, Hauser R, Küster J, Ryndina K, Vanhatalo J, Wahler M. The Role
of Visual Modeling and Model Transformations in Business-driven Development. In:
Proceedings of the 5th International Workshop on Graph Transformation and Visual
Modeling Techniques. Vol 211. ENTCS. Amsterdam, The Netherlands: Elsevier;
2006:5-15. doi:http://dx.doi.org/10.1016/j.entcs.2008.04.025'
apa: 'Koehler, J., Hauser, R., Küster, J., Ryndina, K., Vanhatalo, J., & Wahler,
M. (2006). The Role of Visual Modeling and Model Transformations in Business-driven
Development. In Proceedings of the 5th International Workshop on Graph Transformation
and Visual Modeling Techniques (Vol. 211, pp. 5–15). Amsterdam, The Netherlands:
Elsevier. http://dx.doi.org/10.1016/j.entcs.2008.04.025'
bibtex: '@inproceedings{Koehler_Hauser_Küster_Ryndina_Vanhatalo_Wahler_2006, place={Amsterdam,
The Netherlands}, series={ENTCS}, title={The Role of Visual Modeling and Model
Transformations in Business-driven Development}, volume={211}, DOI={http://dx.doi.org/10.1016/j.entcs.2008.04.025},
booktitle={Proceedings of the 5th International Workshop on Graph Transformation
and Visual Modeling Techniques}, publisher={Elsevier}, author={Koehler, Jana and
Hauser, Rainer and Küster, Jochen and Ryndina, Ksenia and Vanhatalo, Jussi and
Wahler, Michael}, year={2006}, pages={5–15}, collection={ENTCS} }'
chicago: 'Koehler, Jana, Rainer Hauser, Jochen Küster, Ksenia Ryndina, Jussi Vanhatalo,
and Michael Wahler. “The Role of Visual Modeling and Model Transformations in
Business-Driven Development.” In Proceedings of the 5th International Workshop
on Graph Transformation and Visual Modeling Techniques, 211:5–15. ENTCS. Amsterdam,
The Netherlands: Elsevier, 2006. http://dx.doi.org/10.1016/j.entcs.2008.04.025.'
ieee: J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, and M. Wahler,
“The Role of Visual Modeling and Model Transformations in Business-driven Development,”
in Proceedings of the 5th International Workshop on Graph Transformation and
Visual Modeling Techniques, 2006, vol. 211, pp. 5–15.
mla: Koehler, Jana, et al. “The Role of Visual Modeling and Model Transformations
in Business-Driven Development.” Proceedings of the 5th International Workshop
on Graph Transformation and Visual Modeling Techniques, vol. 211, Elsevier,
2006, pp. 5–15, doi:http://dx.doi.org/10.1016/j.entcs.2008.04.025.
short: 'J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, M. Wahler, in:
Proceedings of the 5th International Workshop on Graph Transformation and Visual
Modeling Techniques, Elsevier, Amsterdam, The Netherlands, 2006, pp. 5–15.'
date_created: 2019-03-06T11:44:50Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2008.04.025
intvolume: ' 211'
language:
- iso: eng
page: 5-15
place: Amsterdam, The Netherlands
publication: Proceedings of the 5th International Workshop on Graph Transformation
and Visual Modeling Techniques
publisher: Elsevier
series_title: ENTCS
status: public
title: The Role of Visual Modeling and Model Transformations in Business-driven Development
type: conference
user_id: '52534'
volume: 211
year: '2006'
...
---
_id: '8409'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Mohamed
full_name: Abd-El-Razik, Mohamed
last_name: Abd-El-Razik
citation:
ama: 'Küster J, Abd-El-Razik M. Validation of Model Transformations - First Experiences
using a White Box Approach. In: Proceedings of the Workshop on Model Design
and Validation (MoDeV2a 2006), Toulouse (France). Vol 4364/2007. LNCS. Berlin/Heidelberg:
Springer; 2006:62-77. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_24'
apa: 'Küster, J., & Abd-El-Razik, M. (2006). Validation of Model Transformations
- First Experiences using a White Box Approach. In Proceedings of the workshop
on Model Design and Validation (MoDeV2a 2006), Toulouse (France) (Vol. 4364/2007,
pp. 62–77). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-540-69489-2_24'
bibtex: '@inproceedings{Küster_Abd-El-Razik_2006, place={Berlin/Heidelberg}, series={LNCS},
title={Validation of Model Transformations - First Experiences using a White Box
Approach}, volume={4364/2007}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_24},
booktitle={Proceedings of the workshop on Model Design and Validation (MoDeV2a
2006), Toulouse (France)}, publisher={Springer}, author={Küster, Jochen and Abd-El-Razik,
Mohamed}, year={2006}, pages={62–77}, collection={LNCS} }'
chicago: 'Küster, Jochen, and Mohamed Abd-El-Razik. “Validation of Model Transformations
- First Experiences Using a White Box Approach.” In Proceedings of the Workshop
on Model Design and Validation (MoDeV2a 2006), Toulouse (France), 4364/2007:62–77.
LNCS. Berlin/Heidelberg: Springer, 2006. http://dx.doi.org/10.1007/978-3-540-69489-2_24.'
ieee: J. Küster and M. Abd-El-Razik, “Validation of Model Transformations - First
Experiences using a White Box Approach,” in Proceedings of the workshop on
Model Design and Validation (MoDeV2a 2006), Toulouse (France), 2006, vol.
4364/2007, pp. 62–77.
mla: Küster, Jochen, and Mohamed Abd-El-Razik. “Validation of Model Transformations
- First Experiences Using a White Box Approach.” Proceedings of the Workshop
on Model Design and Validation (MoDeV2a 2006), Toulouse (France), vol. 4364/2007,
Springer, 2006, pp. 62–77, doi:http://dx.doi.org/10.1007/978-3-540-69489-2_24.
short: 'J. Küster, M. Abd-El-Razik, in: Proceedings of the Workshop on Model Design
and Validation (MoDeV2a 2006), Toulouse (France), Springer, Berlin/Heidelberg,
2006, pp. 62–77.'
date_created: 2019-03-06T11:44:51Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-69489-2_24
language:
- iso: eng
page: 62-77
place: Berlin/Heidelberg
publication: Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006),
Toulouse (France)
publisher: Springer
series_title: LNCS
status: public
title: Validation of Model Transformations - First Experiences using a White Box Approach
type: conference
user_id: '52534'
volume: 4364/2007
year: '2006'
...
---
_id: '8410'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Jana
full_name: Koehler, Jana
last_name: Koehler
- first_name: Ksenia
full_name: Ryndina, Ksenia
last_name: Ryndina
citation:
ama: 'Küster J, Koehler J, Ryndina K. Improving Business Process Models with Reference
Models in Business-Driven Development. In: 2nd Workshop on Business Processes
Design (BPD’06). Vol 4103. LNCS. Berlin/Heidelberg: Springer; 2006:35-44.
doi:http://dx.doi.org/10.1007/11837862'
apa: 'Küster, J., Koehler, J., & Ryndina, K. (2006). Improving Business Process
Models with Reference Models in Business-Driven Development. In 2nd Workshop
on Business Processes Design (BPD’06) (Vol. 4103, pp. 35–44). Berlin/Heidelberg:
Springer. http://dx.doi.org/10.1007/11837862'
bibtex: '@inproceedings{Küster_Koehler_Ryndina_2006, place={Berlin/Heidelberg},
series={LNCS}, title={Improving Business Process Models with Reference Models
in Business-Driven Development}, volume={4103}, DOI={http://dx.doi.org/10.1007/11837862},
booktitle={2nd Workshop on Business Processes Design (BPD’06)}, publisher={Springer},
author={Küster, Jochen and Koehler, Jana and Ryndina, Ksenia}, year={2006}, pages={35–44},
collection={LNCS} }'
chicago: 'Küster, Jochen, Jana Koehler, and Ksenia Ryndina. “Improving Business
Process Models with Reference Models in Business-Driven Development.” In 2nd
Workshop on Business Processes Design (BPD’06), 4103:35–44. LNCS. Berlin/Heidelberg:
Springer, 2006. http://dx.doi.org/10.1007/11837862.'
ieee: J. Küster, J. Koehler, and K. Ryndina, “Improving Business Process Models
with Reference Models in Business-Driven Development,” in 2nd Workshop on Business
Processes Design (BPD’06), 2006, vol. 4103, pp. 35–44.
mla: Küster, Jochen, et al. “Improving Business Process Models with Reference Models
in Business-Driven Development.” 2nd Workshop on Business Processes Design
(BPD’06), vol. 4103, Springer, 2006, pp. 35–44, doi:http://dx.doi.org/10.1007/11837862.
short: 'J. Küster, J. Koehler, K. Ryndina, in: 2nd Workshop on Business Processes
Design (BPD’06), Springer, Berlin/Heidelberg, 2006, pp. 35–44.'
date_created: 2019-03-06T11:44:52Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11837862
intvolume: ' 4103'
language:
- iso: eng
page: 35-44
place: Berlin/Heidelberg
publication: 2nd Workshop on Business Processes Design (BPD'06)
publisher: Springer
series_title: LNCS
status: public
title: Improving Business Process Models with Reference Models in Business-Driven
Development
type: conference
user_id: '52534'
volume: 4103
year: '2006'
...
---
_id: '8411'
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Marcus
full_name: Dürksen, Marcus
last_name: Dürksen
- first_name: Alexander
full_name: Gebel, Alexander
last_name: Gebel
- first_name: Dennis
full_name: Hannwacker, Dennis
last_name: Hannwacker
citation:
ama: 'Sauer S, Dürksen M, Gebel A, Hannwacker D. GuiBuilder - A Tool for Model-Driven
Development of Multimedia User Interfaces. In: Proceedings of the Workshop
on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova
(Italy). Vol 214. Aachen, Germany: CEUR Workshop Proceedings; 2006.'
apa: 'Sauer, S., Dürksen, M., Gebel, A., & Hannwacker, D. (2006). GuiBuilder
- A Tool for Model-Driven Development of Multimedia User Interfaces. In Proceedings
of the workshop on Model Driven Development of Advanced User Interfaces (MDDAUI
2006), Genova (Italy) (Vol. 214). Aachen, Germany: CEUR Workshop Proceedings.'
bibtex: '@inproceedings{Sauer_Dürksen_Gebel_Hannwacker_2006, place={Aachen, Germany},
title={GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces},
volume={214}, booktitle={Proceedings of the workshop on Model Driven Development
of Advanced User Interfaces (MDDAUI 2006), Genova (Italy)}, publisher={CEUR Workshop
Proceedings}, author={Sauer, Stefan and Dürksen, Marcus and Gebel, Alexander and
Hannwacker, Dennis}, year={2006} }'
chicago: 'Sauer, Stefan, Marcus Dürksen, Alexander Gebel, and Dennis Hannwacker.
“GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces.”
In Proceedings of the Workshop on Model Driven Development of Advanced User
Interfaces (MDDAUI 2006), Genova (Italy), Vol. 214. Aachen, Germany: CEUR
Workshop Proceedings, 2006.'
ieee: S. Sauer, M. Dürksen, A. Gebel, and D. Hannwacker, “GuiBuilder - A Tool for
Model-Driven Development of Multimedia User Interfaces,” in Proceedings of
the workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006),
Genova (Italy), 2006, vol. 214.
mla: Sauer, Stefan, et al. “GuiBuilder - A Tool for Model-Driven Development of
Multimedia User Interfaces.” Proceedings of the Workshop on Model Driven Development
of Advanced User Interfaces (MDDAUI 2006), Genova (Italy), vol. 214, CEUR
Workshop Proceedings, 2006.
short: 'S. Sauer, M. Dürksen, A. Gebel, D. Hannwacker, in: Proceedings of the Workshop
on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova
(Italy), CEUR Workshop Proceedings, Aachen, Germany, 2006.'
date_created: 2019-03-06T11:44:53Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 214'
language:
- iso: eng
place: Aachen, Germany
publication: Proceedings of the workshop on Model Driven Development of Advanced User
Interfaces (MDDAUI 2006), Genova (Italy)
publisher: CEUR Workshop Proceedings
status: public
title: GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces
type: conference
user_id: '52534'
volume: 214
year: '2006'
...
---
_id: '8412'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
citation:
ama: 'Schattkowsky T. Capturing Implementation Aspects in UML-based Functional Specifications.
In: Proceedings of the 2nd Workshop on Aspect-Oriented Software Development
(Satellite Event of the International Conference on Automated Software Engineering,
ASE 2006), Tokyo (Japan). Tokyo, Japan: IEEE Computer Society; 2006:30-34.'
apa: 'Schattkowsky, T. (2006). Capturing Implementation Aspects in UML-based Functional
Specifications. In Proceedings of the 2nd workshop on Aspect-Oriented Software
Development (satellite event of the International Conference on Automated Software
Engineering, ASE 2006), Tokyo (Japan) (pp. 30–34). Tokyo, Japan: IEEE Computer
Society.'
bibtex: '@inproceedings{Schattkowsky_2006, place={Tokyo, Japan}, title={Capturing
Implementation Aspects in UML-based Functional Specifications}, booktitle={Proceedings
of the 2nd workshop on Aspect-Oriented Software Development (satellite event of
the International Conference on Automated Software Engineering, ASE 2006), Tokyo
(Japan)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim}, year={2006},
pages={30–34} }'
chicago: 'Schattkowsky, Tim. “Capturing Implementation Aspects in UML-Based Functional
Specifications.” In Proceedings of the 2nd Workshop on Aspect-Oriented Software
Development (Satellite Event of the International Conference on Automated Software
Engineering, ASE 2006), Tokyo (Japan), 30–34. Tokyo, Japan: IEEE Computer
Society, 2006.'
ieee: T. Schattkowsky, “Capturing Implementation Aspects in UML-based Functional
Specifications,” in Proceedings of the 2nd workshop on Aspect-Oriented Software
Development (satellite event of the International Conference on Automated Software
Engineering, ASE 2006), Tokyo (Japan), 2006, pp. 30–34.
mla: Schattkowsky, Tim. “Capturing Implementation Aspects in UML-Based Functional
Specifications.” Proceedings of the 2nd Workshop on Aspect-Oriented Software
Development (Satellite Event of the International Conference on Automated Software
Engineering, ASE 2006), Tokyo (Japan), IEEE Computer Society, 2006, pp. 30–34.
short: 'T. Schattkowsky, in: Proceedings of the 2nd Workshop on Aspect-Oriented
Software Development (Satellite Event of the International Conference on Automated
Software Engineering, ASE 2006), Tokyo (Japan), IEEE Computer Society, Tokyo,
Japan, 2006, pp. 30–34.'
date_created: 2019-03-06T11:44:55Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 30-34
place: Tokyo, Japan
publication: Proceedings of the 2nd workshop on Aspect-Oriented Software Development
(satellite event of the International Conference on Automated Software Engineering,
ASE 2006), Tokyo (Japan)
publisher: IEEE Computer Society
status: public
title: Capturing Implementation Aspects in UML-based Functional Specifications
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '7781'
citation:
ama: Sauer S, ed. Proceedings of the Workshop on Model Driven Development of
Advanced User Interfaces, Satellite of the MoDELS 2005 Conference. Vol 159.
CEUR-WS.org; 2005.
apa: Sauer, S. (Ed.). (2005). Proceedings of the Workshop on Model Driven Development
of Advanced User Interfaces, satellite of the MoDELS 2005 conference (Vol.
159). CEUR-WS.org.
bibtex: '@book{Sauer_2005, series={CEUR Workshop Proceedings}, title={Proceedings
of the Workshop on Model Driven Development of Advanced User Interfaces, satellite
of the MoDELS 2005 conference}, volume={159}, publisher={CEUR-WS.org}, year={2005},
collection={CEUR Workshop Proceedings} }'
chicago: Sauer, Stefan, ed. Proceedings of the Workshop on Model Driven Development
of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference. Vol.
159. CEUR Workshop Proceedings. CEUR-WS.org, 2005.
ieee: S. Sauer, Ed., Proceedings of the Workshop on Model Driven Development
of Advanced User Interfaces, satellite of the MoDELS 2005 conference, vol.
159. CEUR-WS.org, 2005.
mla: Sauer, Stefan, editor. Proceedings of the Workshop on Model Driven Development
of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference. Vol.
159, CEUR-WS.org, 2005.
short: S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of
Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org,
2005.
date_created: 2019-02-19T18:42:18Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
intvolume: ' 159'
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 2005 conference
type: conference_editor
user_id: '52534'
volume: 159
year: '2005'
...
---
_id: '7934'
author:
- first_name: Harald
full_name: Störrle, Harald
last_name: Störrle
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
citation:
ama: 'Störrle H, Hendrik Hausmann J. Towards a Formal Semantics of UML 2.0 Activities.
In: Software Engineering. Vol 64. Lecture Notes in Informatics. Bonn: Gesellschaft
für Informatik (GI); 2005:117-128.'
apa: 'Störrle, H., & Hendrik Hausmann, J. (2005). Towards a Formal Semantics
of UML 2.0 Activities. In Software Engineering (Vol. 64, pp. 117–128).
Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@inproceedings{Störrle_Hendrik Hausmann_2005, place={Bonn}, series={Lecture
Notes in Informatics}, title={Towards a Formal Semantics of UML 2.0 Activities},
volume={64}, booktitle={Software Engineering}, publisher={Gesellschaft für Informatik
(GI)}, author={Störrle, Harald and Hendrik Hausmann, Jan}, year={2005}, pages={117–128},
collection={Lecture Notes in Informatics} }'
chicago: 'Störrle, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics
of UML 2.0 Activities.” In Software Engineering, 64:117–28. Lecture Notes
in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.'
ieee: H. Störrle and J. Hendrik Hausmann, “Towards a Formal Semantics of UML 2.0
Activities,” in Software Engineering, 2005, vol. 64, pp. 117–128.
mla: Störrle, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics of UML
2.0 Activities.” Software Engineering, vol. 64, Gesellschaft für Informatik
(GI), 2005, pp. 117–28.
short: 'H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft
für Informatik (GI), Bonn, 2005, pp. 117–128.'
date_created: 2019-02-21T11:32:35Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
intvolume: ' 64'
language:
- iso: eng
page: 117-128
place: Bonn
publication: Software Engineering
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Towards a Formal Semantics of UML 2.0 Activities
type: conference
user_id: '52534'
volume: 64
year: '2005'
...
---
_id: '7935'
author:
- first_name: Fevzi
full_name: Belli, Fevzi
last_name: Belli
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
citation:
ama: 'Belli F, Güldali B. A holistic approach to test-driven model checking. In:
Proceedings of the Conference on Innovations in Applied Artificial Intelligence
and Expert Systems (IEA/AIE 2005), Bari (Italy). LNCS. Berlin/Heidelberg:
Springer; 2005:321-331.'
apa: 'Belli, F., & Güldali, B. (2005). A holistic approach to test-driven model
checking. In Proceedings of the conference on Innovations in Applied Artificial
Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy) (pp. 321–331).
Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Belli_Güldali_2005, place={Berlin/Heidelberg}, series={LNCS},
title={A holistic approach to test-driven model checking}, booktitle={Proceedings
of the conference on Innovations in Applied Artificial Intelligence and Expert
Systems (IEA/AIE 2005), Bari (Italy)}, publisher={Springer}, author={Belli, Fevzi
and Güldali, Baris}, year={2005}, pages={321–331}, collection={LNCS} }'
chicago: 'Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model
Checking.” In Proceedings of the Conference on Innovations in Applied Artificial
Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), 321–31. LNCS.
Berlin/Heidelberg: Springer, 2005.'
ieee: F. Belli and B. Güldali, “A holistic approach to test-driven model checking,”
in Proceedings of the conference on Innovations in Applied Artificial Intelligence
and Expert Systems (IEA/AIE 2005), Bari (Italy), 2005, pp. 321–331.
mla: Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model
Checking.” Proceedings of the Conference on Innovations in Applied Artificial
Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, 2005,
pp. 321–31.
short: 'F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in
Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy),
Springer, Berlin/Heidelberg, 2005, pp. 321–331.'
date_created: 2019-02-21T11:32:58Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 321-331
place: Berlin/Heidelberg
publication: Proceedings of the conference on Innovations in Applied Artificial Intelligence
and Expert Systems (IEA/AIE 2005), Bari (Italy)
publisher: Springer
series_title: LNCS
status: public
title: A holistic approach to test-driven model checking
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7936'
abstract:
- lang: eng
text: Spreadsheets are widely used in all kinds of business applications. Numerous
studies have shown that they contain many errors that sometimes have dramatic
impacts. One reason for this situation is the low-level, cell-oriented development
process of spreadsheets. We improve this process by introducing and formalizing
a higher-level object-oriented model termed ClassSheet. While still following
the tabular look-and-feel of spreadsheets, ClassSheets allow the developer to
express explicitly business object structures within a spreadsheet, which is achieved
by integrating concepts from the UML (Unified Modeling Language). A stepwise automatic
transformation process generates a spreadsheet application that is consistent
with the ClassSheet model. Thus, by deploying the formal underpinning of ClassSheets,
a large variety of errors can be prevented that occur in many existing spreadsheet
applications today. The presented ClassSheet approach links spreadsheet applications
to the object-oriented modeling world and advocates an automatic model-driven
development process for spreadsheet applications of high quality.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Martin
full_name: Erwig, Martin
last_name: Erwig
citation:
ama: 'Engels G, Erwig M. ClassSheets: automatic generation of spreadsheet applications
from object-oriented specifications. In: Proceedings of the 20th IEEE/ACM International
Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA).
New York, NY, USA: ACM Press; 2005:124-133.'
apa: 'Engels, G., & Erwig, M. (2005). ClassSheets: automatic generation of spreadsheet
applications from object-oriented specifications. In Proceedings of the 20th
IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
Long Beach, CA (USA) (pp. 124–133). New York, NY, USA: ACM Press.'
bibtex: '@inproceedings{Engels_Erwig_2005, place={New York, NY, USA}, title={ClassSheets:
automatic generation of spreadsheet applications from object-oriented specifications},
booktitle={Proceedings of the 20th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2005), Long Beach, CA (USA)}, publisher={ACM Press},
author={Engels, Gregor and Erwig, Martin}, year={2005}, pages={124–133} }'
chicago: 'Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of
Spreadsheet Applications from Object-Oriented Specifications.” In Proceedings
of the 20th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2005), Long Beach, CA (USA), 124–33. New York, NY, USA: ACM Press, 2005.'
ieee: 'G. Engels and M. Erwig, “ClassSheets: automatic generation of spreadsheet
applications from object-oriented specifications,” in Proceedings of the 20th
IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
Long Beach, CA (USA), 2005, pp. 124–133.'
mla: 'Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet
Applications from Object-Oriented Specifications.” Proceedings of the 20th
IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
Long Beach, CA (USA), ACM Press, 2005, pp. 124–33.'
short: 'G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International
Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA),
ACM Press, New York, NY, USA, 2005, pp. 124–133.'
date_created: 2019-02-21T11:33:39Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 124-133
place: New York, NY, USA
publication: Proceedings of the 20th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2005), Long Beach, CA (USA)
publisher: ACM Press
status: public
title: 'ClassSheets: automatic generation of spreadsheet applications from object-oriented
specifications'
type: conference
user_id: '52534'
year: '2005'
...