---
_id: '560'
abstract:
- lang: eng
text: In the last decades, development turned from monolithic software products
towards more flexible software components that can be provided on world-wide markets
in form of services. Customers request such services or compositions of several
services. However, in many cases, discovering the best services to address a given
request is a tough challenge and requires expressive, gradual matching results,
considering different aspects of a service description, e.g., inputs/ouputs, protocols,
or quality properties. Furthermore,in situations in which no service exactly satifies
the request, approximate matching which can deal with a certain amount of fuzziness
becomes necessary. There is a wealth of service matching approaches, but it is
not clear whether there is a comprehensive, fuzzy matching approach which addresses
all these challenges. Although there are a few service matchingsurveys, none of
them is able to answer this question. In this paper, we perform a systematic literature
survey of 35 (outof 504) service matching approaches which consider fuzzy matching.
Based on this survey, we propose a classication,discuss how different matching
approaches can be combined into a comprehensive matching method, and identify
future research challenges.
author:
- first_name: Marie
full_name: Platenius, Marie
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Platenius M, von Detten M, Becker S, Schäfer W, Engels G. A Survey of Fuzzy
Service Matching Approaches in the Context of On-The-Fly Computing. In: Proceedings
of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering.
; 2013:143-152. doi:10.1145/2465449.2465454'
apa: Platenius, M., von Detten, M., Becker, S., Schäfer, W., & Engels, G. (2013).
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.
In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering (pp. 143–152). https://doi.org/10.1145/2465449.2465454
bibtex: '@inproceedings{Platenius_von Detten_Becker_Schäfer_Engels_2013, title={A
Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing},
DOI={10.1145/2465449.2465454},
booktitle={Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering}, author={Platenius, Marie and von Detten, Markus and Becker,
Steffen and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={143–152}
}'
chicago: Platenius, Marie, Markus von Detten, Steffen Becker, Wilhelm Schäfer, and
Gregor Engels. “A Survey of Fuzzy Service Matching Approaches in the Context of
On-The-Fly Computing.” In Proceedings of the 16th International ACM Sigsoft
Symposium on Component-Based Software Engineering, 143–52, 2013. https://doi.org/10.1145/2465449.2465454.
ieee: M. Platenius, M. von Detten, S. Becker, W. Schäfer, and G. Engels, “A Survey
of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing,”
in Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering, 2013, pp. 143–152.
mla: Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in
the Context of On-The-Fly Computing.” Proceedings of the 16th International
ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–52,
doi:10.1145/2465449.2465454.
short: 'M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings
of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering,
2013, pp. 143–152.'
date_created: 2017-10-17T12:42:41Z
date_updated: 2022-01-06T07:02:06Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1145/2465449.2465454
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:26:49Z
date_updated: 2018-03-15T10:26:49Z
file_id: '1281'
file_name: 560-Platenius_et_al_CBSE2013.pdf
file_size: 570580
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:26:49Z
has_accepted_license: '1'
language:
- iso: eng
page: 143-152
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering
status: public
title: A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly
Computing
type: conference
user_id: '477'
year: '2013'
...
---
_id: '20974'
abstract:
- lang: eng
text: "The functionality realized by software in modern cars is increasing and as
a result the development artifacts of automotive systems are getting more complex.
The existence of traceability along these artifacts is essential, since it allows
to monitor the product development from the initial requirements to the final
code. However, traceability is established and maintained mostly manually, which
is time-consuming and error-prone. A further crucial problem is the assurance
of the validity of the trace links, that is, the linked elements are indeed related
to each other. In this paper we present a semiautomatic approach to create, check,
and update trace links between artifacts along an automotive development process.\r\n"
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
citation:
ama: 'Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance
of valid traceability in automotive development processes. In: 2012 Second
International Workshop on Software Engineering for Embedded Systems (SEES).
; 2012. doi:10.1109/sees.2012.6225489'
apa: Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment
and maintenance of valid traceability in automotive development processes. 2012
Second International Workshop on Software Engineering for Embedded Systems (SEES).
https://doi.org/10.1109/sees.2012.6225489
bibtex: '@inproceedings{Fockel_Holtmann_Meyer_2012, title={Semi-automatic establishment
and maintenance of valid traceability in automotive development processes}, DOI={10.1109/sees.2012.6225489},
booktitle={2012 Second International Workshop on Software Engineering for Embedded
Systems (SEES)}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Jan}, year={2012}
}'
chicago: Fockel, Markus, Jörg Holtmann, and Jan Meyer. “Semi-Automatic Establishment
and Maintenance of Valid Traceability in Automotive Development Processes.” In
2012 Second International Workshop on Software Engineering for Embedded Systems
(SEES), 2012. https://doi.org/10.1109/sees.2012.6225489.
ieee: 'M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance
of valid traceability in automotive development processes,” 2012, doi: 10.1109/sees.2012.6225489.'
mla: Fockel, Markus, et al. “Semi-Automatic Establishment and Maintenance of Valid
Traceability in Automotive Development Processes.” 2012 Second International
Workshop on Software Engineering for Embedded Systems (SEES), 2012, doi:10.1109/sees.2012.6225489.
short: 'M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop
on Software Engineering for Embedded Systems (SEES), 2012.'
date_created: 2021-01-13T13:12:50Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1109/sees.2012.6225489
language:
- iso: eng
publication: 2012 Second International Workshop on Software Engineering for Embedded
Systems (SEES)
publication_identifier:
isbn:
- '9781467318532'
- '9781467318525'
publication_status: published
status: public
title: Semi-automatic establishment and maintenance of valid traceability in automotive
development processes
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '20914'
abstract:
- lang: eng
text: This chapter summarizes the application and evaluation of the SPES engineering
methodology in the automotive domain. After introducing the particular domain
characteristics, we state some research questions that we have investigated. Some
of the activities that address these research questions are presented in detail.
We conclude that the SPES engineering methodology is a good basis for the development
of automotive systems, but could be further refined to fit the particular needs
of the domain.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Peter
full_name: Heidl, Peter
last_name: Heidl
- first_name: Jens
full_name: Höfflinger, Jens
last_name: Höfflinger
- first_name: Harald
full_name: Hönninger, Harald
last_name: Hönninger
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Wilfried
full_name: Horn, Wilfried
last_name: Horn
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Jörg
full_name: Schäuffele, Jörg
last_name: Schäuffele
citation:
ama: 'Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the
Automotive Domain. In: Model-Based Engineering of Embedded Systems. ; 2012.
doi:10.1007/978-3-642-34614-9_12'
apa: Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W.,
Meyer, J., Meyer, M., & Schäuffele, J. (2012). Application and Evaluation
in the Automotive Domain. In Model-Based Engineering of Embedded Systems.
https://doi.org/10.1007/978-3-642-34614-9_12
bibtex: '@inbook{Fockel_Heidl_Höfflinger_Hönninger_Holtmann_Horn_Meyer_Meyer_Schäuffele_2012,
place={Berlin, Heidelberg}, title={Application and Evaluation in the Automotive
Domain}, DOI={10.1007/978-3-642-34614-9_12},
booktitle={Model-Based Engineering of Embedded Systems}, author={Fockel, Markus
and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg
and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg}, year={2012}
}'
chicago: Fockel, Markus, Peter Heidl, Jens Höfflinger, Harald Hönninger, Jörg Holtmann,
Wilfried Horn, Jan Meyer, Matthias Meyer, and Jörg Schäuffele. “Application and
Evaluation in the Automotive Domain.” In Model-Based Engineering of Embedded
Systems. Berlin, Heidelberg, 2012. https://doi.org/10.1007/978-3-642-34614-9_12.
ieee: M. Fockel et al., “Application and Evaluation in the Automotive Domain,”
in Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
mla: Fockel, Markus, et al. “Application and Evaluation in the Automotive Domain.”
Model-Based Engineering of Embedded Systems, 2012, doi:10.1007/978-3-642-34614-9_12.
short: 'M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn,
J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems,
Berlin, Heidelberg, 2012.'
date_created: 2021-01-12T14:21:35Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-642-34614-9_12
language:
- iso: eng
place: Berlin, Heidelberg
publication: Model-Based Engineering of Embedded Systems
publication_identifier:
isbn:
- '9783642346132'
- '9783642346149'
publication_status: published
status: public
title: Application and Evaluation in the Automotive Domain
type: book_chapter
user_id: '5786'
year: '2012'
...
---
_id: '630'
abstract:
- lang: eng
text: Maintaining software systems requires up-to-date models of these systems to
systematically plan, analyse and execute the necessary reengineering steps. Often,
no or only outdated models of such systems exist. Thus, a reverse engineering
step is needed that recovers the system’s components, subsystems and connectors.
However, reverse engineering methods are severely impacted by design deficiencies
in the system’s code base, e.g., they lead to wrong component structures. Several
approaches exist today for the reverse engineering of component-based systems,
however, none of them explicitly integrates a systematic design deficiency removal
into the process to improve the quality of the reverse engineered architecture.
Therefore, in our Archimetrix approach, we propose to regard the most relevant
deficiencies with respect to the reverse engineered component-based architecture
and support reengineers by presenting the architectural consequences of removing
a given deficiency. We validate our approach on the Common Component Modeling
Example and show that we are able to identify relevant deficiencies and that their
removal leads to an improved reengineered architecture.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture
Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th
European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264.
doi:10.1109/CSMR.2012.33'
apa: 'Platenius, M. C., von Detten, M., & Becker, S. (2012). Archimetrix: Improved
Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR)
(pp. 255–264). https://doi.org/10.1109/CSMR.2012.33'
bibtex: '@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved
Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={10.1109/CSMR.2012.33}, booktitle={Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR)},
author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen},
year={2012}, pages={255–264} }'
chicago: 'Platenius, Marie Christin, Markus von Detten, and Steffen Becker. “Archimetrix:
Improved Software Architecture Recovery in the Presence of Design Deficiencies.”
In Proceedings of the 16th European Conference on Software Maintenance and
Reengineering (CSMR), 255–64, 2012. https://doi.org/10.1109/CSMR.2012.33.'
ieee: 'M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software
Architecture Recovery in the Presence of Design Deficiencies,” in Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR),
2012, pp. 255–264.'
mla: 'Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture
Recovery in the Presence of Design Deficiencies.” Proceedings of the 16th European
Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–64,
doi:10.1109/CSMR.2012.33.'
short: 'M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European
Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.'
date_created: 2017-10-17T12:42:54Z
date_updated: 2022-01-06T07:03:00Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1109/CSMR.2012.33
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T06:37:13Z
date_updated: 2018-03-15T06:37:13Z
file_id: '1236'
file_name: 630-CSMR2012-PlateniusDettenBecker.pdf
file_size: 723739
relation: main_file
success: 1
file_date_updated: 2018-03-15T06:37:13Z
has_accepted_license: '1'
language:
- iso: eng
page: 255-264
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 16th European Conference on Software Maintenance and
Reengineering (CSMR)
status: public
title: 'Archimetrix: Improved Software Architecture Recovery in the Presence of Design
Deficiencies'
type: conference
user_id: '477'
year: '2012'
...
---
_id: '5183'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Patrick
full_name: Lam, Patrick
last_name: Lam
- first_name: Laurie
full_name: Hendren, Laurie
last_name: Hendren
citation:
ama: Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors
Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52.
doi:10.1145/2220365.2220366
apa: Bodden, E., Lam, P., & Hendren, L. (2012). Partially Evaluating Finite-State
Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and
Systems, 34(2), 1–52. https://doi.org/10.1145/2220365.2220366
bibtex: '@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State
Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366},
number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association
for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren,
Laurie}, year={2012}, pages={1–52} }'
chicago: 'Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State
Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages
and Systems 34, no. 2 (2012): 1–52. https://doi.org/10.1145/2220365.2220366.'
ieee: E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime
Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems,
vol. 34, no. 2, pp. 1–52, 2012.
mla: Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead
of Time.” ACM Transactions on Programming Languages and Systems, vol. 34,
no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
short: E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages
and Systems 34 (2012) 1–52.
date_created: 2018-10-31T10:43:13Z
date_updated: 2022-01-06T07:01:41Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2220365.2220366
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:42:24Z
date_updated: 2018-11-02T15:42:24Z
file_id: '5310'
file_name: a7-bodden.pdf
file_size: 2280938
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:42:24Z
has_accepted_license: '1'
intvolume: ' 34'
issue: '2'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/blh12partially.pdf
page: 1-52
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
issn:
- 0164-0925
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Partially Evaluating Finite-State Runtime Monitors Ahead of Time
type: journal_article
user_id: '477'
volume: 34
year: '2012'
...
---
_id: '20958'
abstract:
- lang: eng
text: Nowadays requirements are mostly specified in unrestricted natural language
so that each stakeholder understands them. To ensure high quality and to avoid
misunderstandings, the requirements have to be validated. Because of the ambiguity
of natural language and the resulting absence of an automatic mechanism, this
has to be done manually. Such manual validation techniques are timeconsuming,
error-prone, and repetitive because hundreds or thousands of requirements must
be checked. With an automatic validation the requirements engineering process
can be faster and can produce requirements of higher quality. To realize an automatism,
we propose a controlled natural language (CNL) for the documentation of requirements.
On basis of the CNL, a concept for an automatic requirements validation is developed
for the identification of inconsistencies and incomplete requirements. Additionally,
automated correction operations for such defective requirements are presented.
The approach improves the quality of the requirements and therefore the quality
of the whole development process.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: 'Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of
Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference
on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17'
apa: Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation
and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
bibtex: '@inproceedings{Holtmann_Meyer_von Detten_2011, title={Automatic Validation
and Correction of Formalized, Textual Requirements}, DOI={10.1109/icstw.2011.17},
booktitle={2011 IEEE Fourth International Conference on Software Testing, Verification
and Validation Workshops}, author={Holtmann, Jörg and Meyer, Jan and von Detten,
Markus}, year={2011} }'
chicago: Holtmann, Jörg, Jan Meyer, and Markus von Detten. “Automatic Validation
and Correction of Formalized, Textual Requirements.” In 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops, 2011.
https://doi.org/10.1109/icstw.2011.17.
ieee: 'J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction
of Formalized, Textual Requirements,” 2011, doi: 10.1109/icstw.2011.17.'
mla: Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized,
Textual Requirements.” 2011 IEEE Fourth International Conference on Software
Testing, Verification and Validation Workshops, 2011, doi:10.1109/icstw.2011.17.
short: 'J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops, 2011.'
date_created: 2021-01-13T10:51:15Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
doi: 10.1109/icstw.2011.17
language:
- iso: eng
publication: 2011 IEEE Fourth International Conference on Software Testing, Verification
and Validation Workshops
publication_identifier:
isbn:
- '9781457700194'
publication_status: published
status: public
title: Automatic Validation and Correction of Formalized, Textual Requirements
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '20960'
abstract:
- lang: ger
text: "Heutige Steuergeraete im Automobilbereich zeichnen sich durch eine hohe Funktionsvielfalt
und eine hohe Vernetzung untereinander aus. Dies fuehrt zu immer komplexeren Systemen,
wobei auch immer mehr sicherheitskritische Funktionen durch Software realisiert
werden. Damit die Qualitaet der Software entsprechend hoch und zufriedenstellend
ist, erfordert die Entwicklung ein systematisches und prozesskonformes Vorgehen.
Der fuer die Softwarearchitektur entwickelte AUTOSAR Standard ist allerdings nicht
fuer die fruehen Entwicklungsphasen wie die Anforderungsanalyse und das Systemarchitekturdesign
gedacht, welche von Prozessbewertungsmodellen – wie Automotive SPICE – gefordert
werden. Als Loesung fuer die Analyse bietet sich die Nutzung der Systems Modeling
Language (SysML) mit Anpassungen bzw. Erweiterungen an die Beduerfnisse der Automobilindustrie,
an. Damit aber keine Luecke im Entwicklungsprozess entsteht, wird bei der hier
vorgestellten Methode ein wohldefinierter uebergang zur AUTOSAR Architektur, und
zwar zur Applikations- und zur Basissoftware, definiert.\r\n"
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
citation:
ama: 'Meyer J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur
bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband Des Dagstuhl-Workshop
MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII. fortiss GmbH;
2011:21-30.'
apa: 'Meyer, J., & Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode
von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. Tagungsband
Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme
VII, 21–30.'
bibtex: '@inproceedings{Meyer_Holtmann_2011, title={Eine durchgängige Entwicklungsmethode
von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR}, booktitle={Tagungsband
des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme
VII}, publisher={fortiss GmbH}, author={Meyer, Jan and Holtmann, Jörg}, year={2011},
pages={21–30} }'
chicago: 'Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode
von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” In Tagungsband
Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme
VII, 21–30. fortiss GmbH, 2011.'
ieee: 'J. Meyer and J. Holtmann, “Eine durchgängige Entwicklungsmethode von der
Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR,” in Tagungsband
des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme
VII, 2011, pp. 21–30.'
mla: 'Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von
Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” Tagungsband
Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme
VII, fortiss GmbH, 2011, pp. 21–30.'
short: 'J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte
Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.'
date_created: 2021-01-13T10:53:25Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
page: 21-30
publication: 'Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung
eingebetteter Systeme VII'
publisher: fortiss GmbH
status: public
title: Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur
mit AUTOSAR
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '20975'
abstract:
- lang: eng
text: "Software maintenance tasks require knowledge about the software’s design.
Several tools help to identify implementations of software patterns, e.g. Design
Patterns, in source code and thus help to reveal the underlying design. In case
of the reverse engineering tool suite Reclipse, detection algorithms are generated
from manually created, formal pattern specifications. Due to numerous variants
that have to be considered, the pattern specification is error-prone. Because
of this, the complex, step-wise generation process has to be traceable backwards
to identify specification mistakes. To increase the traceability, we directly
interpret the detection algorithm models (story diagrams) instead of executing
code generated from these models. This way, a reverse engineer no longer has to
relate generated code to the story diagrams to find mistakes in pattern specifications.\r\n"
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Dietrich
full_name: Travkin, Dietrich
last_name: Travkin
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: 'Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static
Detection of Software Patterns. In: Proceedings of the 8th International Fujaba
Days. ; 2011.'
apa: Fockel, M., Travkin, D., & von Detten, M. (2011). Interpreting Story Diagrams
for the Static Detection of Software Patterns. Proceedings of the 8th International
Fujaba Days.
bibtex: '@inproceedings{Fockel_Travkin_von Detten_2011, place={University of Tartu,
Estonia}, title={Interpreting Story Diagrams for the Static Detection of Software
Patterns}, booktitle={Proceedings of the 8th International Fujaba Days}, author={Fockel,
Markus and Travkin, Dietrich and von Detten, Markus}, year={2011} }'
chicago: Fockel, Markus, Dietrich Travkin, and Markus von Detten. “Interpreting
Story Diagrams for the Static Detection of Software Patterns.” In Proceedings
of the 8th International Fujaba Days. University of Tartu, Estonia, 2011.
ieee: M. Fockel, D. Travkin, and M. von Detten, “Interpreting Story Diagrams for
the Static Detection of Software Patterns,” 2011.
mla: Fockel, Markus, et al. “Interpreting Story Diagrams for the Static Detection
of Software Patterns.” Proceedings of the 8th International Fujaba Days,
2011.
short: 'M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International
Fujaba Days, University of Tartu, Estonia, 2011.'
date_created: 2021-01-13T13:15:48Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
place: University of Tartu, Estonia
publication: Proceedings of the 8th International Fujaba Days
status: public
title: Interpreting Story Diagrams for the Static Detection of Software Patterns
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '20915'
abstract:
- lang: ger
text: "Durch die immer kuerzer werdenden Entwicklungszyklen und den groeßer werdenden
Druck bzgl. Time-to-Market fuer eingebettete Systeme im Automobilsektor steigt
der Bedarf, die Systeme bereits zu fruehen Entwicklungszeitpunkten gegenueber
den Qualitaetsanforderungen (z. B. Zeitanforderungen und Ressourcenauslastung)
zu verifizieren. Wir stellen einen Ansatz vor, der eine formale Spezifikation
von Zeitanforderungen und Wirkketten sowie deren fruehzeitige Analyse durch Simulation
erlaubt. Verletzungen von Zeitanforderungen werden in den Simulationsergebnissen
automatisch erkannt.\r\n"
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
citation:
ama: 'Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften
zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: 8.
Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 294. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215.'
apa: Meyer, J., Holtmann, J., & Meyer, M. (2011). Formalisierung von Anforderungen
und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten,
automobilen Systemen. 8. Paderborner Workshop Entwurf Mechatronischer Systeme,
294, 203–215.
bibtex: '@inproceedings{Meyer_Holtmann_Meyer_2011, series={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn}, title={Formalisierung von Anforderungen
und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten,
automobilen Systemen}, volume={294}, booktitle={8. Paderborner Workshop Entwurf
mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan
and Holtmann, Jörg and Meyer, Matthias}, year={2011}, pages={203–215}, collection={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn} }'
chicago: Meyer, Jan, Jörg Holtmann, and Matthias Meyer. “Formalisierung von Anforderungen
Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten,
Automobilen Systemen.” In 8. Paderborner Workshop Entwurf Mechatronischer Systeme,
294:203–15. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz
Nixdorf Institut, 2011.
ieee: J. Meyer, J. Holtmann, and M. Meyer, “Formalisierung von Anforderungen und
Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen
Systemen,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme,
2011, vol. 294, pp. 203–215.
mla: Meyer, Jan, et al. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften
Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” 8. Paderborner
Workshop Entwurf Mechatronischer Systeme, vol. 294, Heinz Nixdorf Institut,
2011, pp. 203–15.
short: 'J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer
Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.'
date_created: 2021-01-12T14:25:00Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
intvolume: ' 294'
language:
- iso: eng
page: 203-215
publication: 8. Paderborner Workshop Entwurf mechatronischer Systeme
publisher: Heinz Nixdorf Institut
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen
Simulation von eingebetteten, automobilen Systemen
type: conference
user_id: '5786'
volume: 294
year: '2011'
...
---
_id: '20916'
abstract:
- lang: eng
text: Safety critical functions for embedded systems are increasingly realized with
software. Current and future standards and maturity models impose high accuracy
and quality for the development process of such software-intensive, embedded systems.
But nowadays, there are process and tooling gaps between different modeling aspects
for the system under development (SUD). Furthermore, the SUD is usually verified
and validated not until it is completely implemented, which leads to expensive
corrections. In this paper we present a seamless, model-based development process,
which is intended for the automotive supplier domain and conforms to the process
reference model of Automotive SPICE. The development process addresses the issues
mentioned above by using systematic transitions between different modeling aspects
and simulations in early development stages.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
citation:
ama: 'Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for
Automotive Systems. In: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium).
Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag;
2011:79-88.'
apa: Holtmann, J., Meyer, J., & Meyer, M. (2011). A Seamless Model-Based Development
Process for Automotive Systems. Software Engineering 2011 – Workshopband (Inkl.
Doktorandensymposium), P-184, 79–88.
bibtex: '@inproceedings{Holtmann_Meyer_Meyer_2011, series={GI-Edition Lecture Notes
in Informatics (LNI)}, title={A Seamless Model-Based Development Process for Automotive
Systems}, volume={P-184}, booktitle={Software Engineering 2011 – Workshopband
(inkl. Doktorandensymposium)}, publisher={Bonner Koellen Verlag}, author={Holtmann,
Jörg and Meyer, Jan and Meyer, Matthias}, year={2011}, pages={79–88}, collection={GI-Edition
Lecture Notes in Informatics (LNI)} }'
chicago: Holtmann, Jörg, Jan Meyer, and Matthias Meyer. “A Seamless Model-Based
Development Process for Automotive Systems.” In Software Engineering 2011 –
Workshopband (Inkl. Doktorandensymposium), P-184:79–88. GI-Edition Lecture
Notes in Informatics (LNI). Bonner Koellen Verlag, 2011.
ieee: J. Holtmann, J. Meyer, and M. Meyer, “A Seamless Model-Based Development Process
for Automotive Systems,” in Software Engineering 2011 – Workshopband (inkl.
Doktorandensymposium), 2011, vol. P-184, pp. 79–88.
mla: Holtmann, Jörg, et al. “A Seamless Model-Based Development Process for Automotive
Systems.” Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium),
vol. P-184, Bonner Koellen Verlag, 2011, pp. 79–88.
short: 'J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband
(Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, pp. 79–88.'
date_created: 2021-01-12T14:26:06Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 79-88
publication: Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)
publisher: Bonner Koellen Verlag
series_title: GI-Edition Lecture Notes in Informatics (LNI)
status: public
title: A Seamless Model-Based Development Process for Automotive Systems
type: conference
user_id: '5786'
volume: P-184
year: '2011'
...
---
_id: '650'
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: Platenius MC. Reengineering of Design Deficiencies in Component-Based Software
Architectures. Universität Paderborn; 2011.
apa: Platenius, M. C. (2011). Reengineering of Design Deficiencies in Component-Based
Software Architectures. Universität Paderborn.
bibtex: '@book{Platenius_2011, title={Reengineering of Design Deficiencies in Component-Based
Software Architectures}, publisher={Universität Paderborn}, author={Platenius,
Marie Christin}, year={2011} }'
chicago: Platenius, Marie Christin. Reengineering of Design Deficiencies in Component-Based
Software Architectures. Universität Paderborn, 2011.
ieee: M. C. Platenius, Reengineering of Design Deficiencies in Component-Based
Software Architectures. Universität Paderborn, 2011.
mla: Platenius, Marie Christin. Reengineering of Design Deficiencies in Component-Based
Software Architectures. Universität Paderborn, 2011.
short: M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software
Architectures, Universität Paderborn, 2011.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:08Z
department:
- _id: '76'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Reengineering of Design Deficiencies in Component-Based Software Architectures
type: mastersthesis
user_id: '477'
year: '2011'
...
---
_id: '20934'
author:
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Dietrich
full_name: Travkin, Dietrich
last_name: Travkin
citation:
ama: 'von Detten M, Meyer M, Travkin D. Reverse Engineering with the Reclipse Tool
Suite. In: Proceedings of the 32nd ACM/IEEE International Conference on Software
Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010. Vol 2. ACM
Press; 2010:299-300.'
apa: von Detten, M., Meyer, M., & Travkin, D. (2010). Reverse Engineering with
the Reclipse Tool Suite. Proceedings of the 32nd ACM/IEEE International Conference
on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010,
2, 299–300.
bibtex: '@inproceedings{von Detten_Meyer_Travkin_2010, place={New York, NY, USA},
title={Reverse Engineering with the Reclipse Tool Suite}, volume={2}, booktitle={Proceedings
of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010),
Cape Town, South Africa, May 2-8, 2010}, publisher={ACM Press}, author={von Detten,
Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010}, pages={299–300}
}'
chicago: 'Detten, Markus von, Matthias Meyer, and Dietrich Travkin. “Reverse Engineering
with the Reclipse Tool Suite.” In Proceedings of the 32nd ACM/IEEE International
Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8,
2010, 2:299–300. New York, NY, USA: ACM Press, 2010.'
ieee: M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse
Tool Suite,” in Proceedings of the 32nd ACM/IEEE International Conference on
Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010,
2010, vol. 2, pp. 299–300.
mla: von Detten, Markus, et al. “Reverse Engineering with the Reclipse Tool Suite.”
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
(ICSE 2010), Cape Town, South Africa, May 2-8, 2010, vol. 2, ACM Press, 2010,
pp. 299–300.
short: 'M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE
International Conference on Software Engineering (ICSE 2010), Cape Town, South
Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.'
date_created: 2021-01-13T10:00:42Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
intvolume: ' 2'
language:
- iso: eng
page: 299 - 300
place: New York, NY, USA
publication: Proceedings of the 32nd ACM/IEEE International Conference on Software
Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010
publisher: ACM Press
status: public
title: Reverse Engineering with the Reclipse Tool Suite
type: conference
user_id: '5786'
volume: 2
year: '2010'
...
---
_id: '20935'
abstract:
- lang: eng
text: Design pattern detection is a reverse engineering methodology that helps software
engineers to analyze and understand legacy software by recovering design decisions
and thereby providing deeper insight into software. In this report we present
Reclipse, a reverse engineering tool suite based on Fujaba. Reclipse provides
static and dynamic design pattern detection in combination with a pattern rating
that is used to evaluate the quality of our detection results.
author:
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Dietrich
full_name: Travkin, Dietrich
last_name: Travkin
citation:
ama: von Detten M, Meyer M, Travkin D. Reclipse - A Reverse Engineering Tool
Suite.; 2010.
apa: von Detten, M., Meyer, M., & Travkin, D. (2010). Reclipse - A Reverse
Engineering Tool Suite.
bibtex: '@book{von Detten_Meyer_Travkin_2010, title={Reclipse - A Reverse Engineering
Tool Suite}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich},
year={2010} }'
chicago: Detten, Markus von, Matthias Meyer, and Dietrich Travkin. Reclipse -
A Reverse Engineering Tool Suite, 2010.
ieee: M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering
Tool Suite. 2010.
mla: von Detten, Markus, et al. Reclipse - A Reverse Engineering Tool Suite.
2010.
short: M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool
Suite, 2010.
date_created: 2021-01-13T10:01:07Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Reclipse - A Reverse Engineering Tool Suite
type: report
user_id: '5786'
year: '2010'
...
---
_id: '20936'
author:
- first_name: Renate
full_name: Löffler, Renate
last_name: Löffler
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Matthias
full_name: Gottschalk, Matthias
last_name: Gottschalk
citation:
ama: 'Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification
and Test Case Generation in Healthcare Applications. In: Proceedings of the
2010 ICSE Workshop on Software Engineering in Health Care. ACM; 2010:57-67.'
apa: Löffler, R., Meyer, M., & Gottschalk, M. (2010). Formal Scenario-based
Requirements Specification and Test Case Generation in Healthcare Applications.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care,
57–67.
bibtex: '@inproceedings{Löffler_Meyer_Gottschalk_2010, place={New York, NY, USA},
title={Formal Scenario-based Requirements Specification and Test Case Generation
in Healthcare Applications}, booktitle={Proceedings of the 2010 ICSE Workshop
on Software Engineering in Health Care}, publisher={ACM}, author={Löffler, Renate
and Meyer, Matthias and Gottschalk, Matthias}, year={2010}, pages={57–67} }'
chicago: 'Löffler, Renate, Matthias Meyer, and Matthias Gottschalk. “Formal Scenario-Based
Requirements Specification and Test Case Generation in Healthcare Applications.”
In Proceedings of the 2010 ICSE Workshop on Software Engineering in Health
Care, 57–67. New York, NY, USA: ACM, 2010.'
ieee: R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements
Specification and Test Case Generation in Healthcare Applications,” in Proceedings
of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010, pp.
57–67.
mla: Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and
Test Case Generation in Healthcare Applications.” Proceedings of the 2010 ICSE
Workshop on Software Engineering in Health Care, ACM, 2010, pp. 57–67.
short: 'R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop
on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.'
date_created: 2021-01-13T10:01:49Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
page: 57-67
place: New York, NY, USA
publication: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health
Care
publisher: ACM
status: public
title: Formal Scenario-based Requirements Specification and Test Case Generation in
Healthcare Applications
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '20961'
abstract:
- lang: eng
text: "Self-healing promises to improve the dependability of systems. In particular
safety-critical systems like automotive systems are well suited application, since
safe operation is required in these systems even in case of failures. Prerequisite
for the improved dependability is the correct realization of the self-healing
techniques. Consequently, self-healing activities should be rigorously specified
and appropriately integrated with the rest of the system. In this paper, we present
an approach for designing self-healing mechanisms in automotive systems. The approach
contains a construction model which consist of a structural description as well
as an extensive set of constraints. The constraints specify a correct system structure
and are also used in the self-healing activities. We exemplify the self-healing
approach using the adaptive cruise control system of modern cars.\r\n"
author:
- first_name: Hella
full_name: Seebach, Hella
last_name: Seebach
- first_name: Florian
full_name: Nafz, Florian
last_name: Nafz
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Matthias
full_name: Tichy, Matthias
last_name: Tichy
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive
Systems. In: Lecture Notes in Computer Science. ; 2010. doi:10.1007/978-3-642-16576-4_4'
apa: Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., &
Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture
Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
bibtex: '@inbook{Seebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place={Berlin,
Heidelberg}, title={Designing Self-healing in Automotive Systems}, DOI={10.1007/978-3-642-16576-4_4},
booktitle={Lecture Notes in Computer Science}, author={Seebach, Hella and Nafz,
Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang
and Schäfer, Wilhelm}, year={2010} }'
chicago: Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy,
Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.”
In Lecture Notes in Computer Science. Berlin, Heidelberg, 2010. https://doi.org/10.1007/978-3-642-16576-4_4.
ieee: H. Seebach et al., “Designing Self-healing in Automotive Systems,”
in Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
mla: Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” Lecture
Notes in Computer Science, 2010, doi:10.1007/978-3-642-16576-4_4.
short: 'H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer,
in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.'
date_created: 2021-01-13T10:54:04Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
doi: 10.1007/978-3-642-16576-4_4
language:
- iso: eng
place: Berlin, Heidelberg
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783642165757'
- '9783642165764'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Designing Self-healing in Automotive Systems
type: book_chapter
user_id: '5786'
year: '2010'
...
---
_id: '20962'
abstract:
- lang: eng
text: Im Bereich der eingebetteten Systeme, beispielsweise im Automobilsektor, wird
heutzutage immer mehr auf eine modellbasierte Entwicklung gesetzt. Die Anforderungen
an die zu entwickelnden Systeme werden dagegen aus juristischen Gründen und zwecks
einer guten Verständlichkeit nach wie vor rein textuell formuliert. Ein Prosatext
lässt sich allerdings wegen der Fülle von Formulierungsmöglichkeiten nicht automatisiert
verarbeiten. Dies führt dazu, dass die Qualitätsanalyse der Anforderungen und
der Übergang von textuellen Anforderungen zu Systemmodellen auf manuelle Weise
erfolgen müssen. Dies kostet Zeit und ist fehleranfällig. In diesem Beitrag wird
ein Ansatz vorgestellt, mit dem Anforderungen auf Basis von Satzmustern weiterhin
textuell, aber gleichzeitig auch automatisiert verarbeitbar formuliert werden
können.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
last_name: Holtmann
citation:
ama: Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum.
2010;(RE/2010).
apa: Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen.
OBJEKTspektrum, RE/2010.
bibtex: '@article{Holtmann_2010, title={Mit Satzmustern von textuellen Anforderungen
zu Modellen}, number={RE/2010}, journal={OBJEKTspektrum}, author={Holtmann, Jörg},
year={2010} }'
chicago: Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.”
OBJEKTspektrum, no. RE/2010 (2010).
ieee: J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” OBJEKTspektrum,
no. RE/2010, 2010.
mla: Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.”
OBJEKTspektrum, no. RE/2010, 2010.
short: J. Holtmann, OBJEKTspektrum (2010).
date_created: 2021-01-13T10:54:49Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
issue: RE/2010
language:
- iso: eng
publication: OBJEKTspektrum
status: public
title: Mit Satzmustern von textuellen Anforderungen zu Modellen
type: journal_article
user_id: '5786'
year: '2010'
...
---
_id: '20963'
abstract:
- lang: ger
text: Heutige Transportsysteme, wie z.B. Automobile sind gekennzeichnet durch eine
Vielzahl von Funktionalitaet, die sehr haeufig durch Software realisiert wird.
Hiermit ist eine Zunahme der Komplexitaet festzustellen. Zur Beherrschung dieser
Komplexitaet und damit einhergehend die Aufteilung des Systems in verschiedene
Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens
unerlaesslich. Ein besonderer Augenmerk liegt auf Grund der Echtzeitsysteme in
dieser Domaene dabei auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen
Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML),
sind dafuer aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird
eine erweiterte Systemmodellierung vorgestellt, die zusaetzlich eine formale Spezifizierung
von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie
z.B. Simulationen oder Verifikationen moeglich, die zum einen die sicherheitsrelevante
Funktionalitaet sicherstellen und zum anderen die Qualitaet der Software steigern.
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Ulrich A.
full_name: Nickel, Ulrich A.
last_name: Nickel
citation:
ama: 'Meyer J, Holtmann J, Schäfer W, Nickel UA. Eine erweiterte Systemmodellierung
zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie.
In: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium).
Vol P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag;
2010.'
apa: Meyer, J., Holtmann, J., Schäfer, W., & Nickel, U. A. (2010). Eine erweiterte
Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie.
Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium),
P-160.
bibtex: '@inproceedings{Meyer_Holtmann_Schäfer_Nickel_2010, series={GI-Edition -
Lecture Notes in Informatics (LNI)}, title={Eine erweiterte Systemmodellierung
zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie},
volume={P-160}, booktitle={Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)},
publisher={Bonner Koellen Verlag}, author={Meyer, Jan and Holtmann, Jörg and Schäfer,
Wilhelm and Nickel, Ulrich A.}, year={2010}, collection={GI-Edition - Lecture
Notes in Informatics (LNI)} }'
chicago: Meyer, Jan, Jörg Holtmann, Wilhelm Schäfer, and Ulrich A. Nickel. “Eine
Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen
in Der Automobilindustrie.” In Software Engineering 2010 – Workshopband (Inkl.
Doktorandensymposium), Vol. P-160. GI-Edition - Lecture Notes in Informatics
(LNI). Bonner Koellen Verlag, 2010.
ieee: J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung
zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,”
in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium),
2010, vol. P-160.
mla: Meyer, Jan, et al. “Eine Erweiterte Systemmodellierung Zur Entwicklung von
Softwareintensiven Anwendungen in Der Automobilindustrie.” Software Engineering
2010 – Workshopband (Inkl. Doktorandensymposium), vol. P-160, Bonner Koellen
Verlag, 2010.
short: 'J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering
2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.'
date_created: 2021-01-13T10:55:51Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publication: Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)
publisher: Bonner Koellen Verlag
series_title: GI-Edition - Lecture Notes in Informatics (LNI)
status: public
title: Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen
in der Automobilindustrie
type: conference
user_id: '5786'
volume: P-160
year: '2010'
...
---
_id: '20937'
author:
- first_name: Matthias
full_name: Meyer, Matthias
last_name: Meyer
citation:
ama: Meyer M. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek
Paderborn; 2009.
apa: Meyer, M. (2009). Musterbasiertes Re-Engineering von Softwaresystemen.
Universitaetsbibliothek Paderborn.
bibtex: '@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen},
publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009}
}'
chicago: Meyer, Matthias. Musterbasiertes Re-Engineering von Softwaresystemen.
Universitaetsbibliothek Paderborn, 2009.
ieee: M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek
Paderborn, 2009.
mla: Meyer, Matthias. Musterbasiertes Re-Engineering von Softwaresystemen.
Universitaetsbibliothek Paderborn, 2009.
short: M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek
Paderborn, 2009.
date_created: 2021-01-13T10:02:36Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://ubdok.uni-paderborn.de/servlets/DocumentServlet?id=11678
publisher: Universitaetsbibliothek Paderborn
status: public
title: Musterbasiertes Re-Engineering von Softwaresystemen
type: dissertation
user_id: '5786'
year: '2009'
...
---
_id: '20938'
author:
- first_name: Matthias
full_name: Tichy, Matthias
last_name: Tichy
- first_name: Stefan
full_name: Henkler, Stefan
last_name: Henkler
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: 'Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems:
Analysis and Improvement using Fujaba4Eclipse. In: Companion Proceedings of
the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany.
; 2008.'
apa: 'Tichy, M., Henkler, S., Meyer, M., & von Detten, M. (2008). Safety of
Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. Companion
Proceedings of the 30th International Conference on Software Engineering (ICSE),
Leipzig, Germany.'
bibtex: '@inproceedings{Tichy_Henkler_Meyer_von Detten_2008, title={Safety of Component-Based
Systems: Analysis and Improvement using Fujaba4Eclipse}, booktitle={Companion
Proceedings of the 30th International Conference on Software Engineering (ICSE),
Leipzig, Germany}, author={Tichy, Matthias and Henkler, Stefan and Meyer, Matthias
and von Detten, Markus}, year={2008} }'
chicago: 'Tichy, Matthias, Stefan Henkler, Matthias Meyer, and Markus von Detten.
“Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.”
In Companion Proceedings of the 30th International Conference on Software Engineering
(ICSE), Leipzig, Germany, 2008.'
ieee: 'M. Tichy, S. Henkler, M. Meyer, and M. von Detten, “Safety of Component-Based
Systems: Analysis and Improvement using Fujaba4Eclipse,” 2008.'
mla: 'Tichy, Matthias, et al. “Safety of Component-Based Systems: Analysis and Improvement
Using Fujaba4Eclipse.” Companion Proceedings of the 30th International Conference
on Software Engineering (ICSE), Leipzig, Germany, 2008.'
short: 'M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings
of the 30th International Conference on Software Engineering (ICSE), Leipzig,
Germany, 2008.'
date_created: 2021-01-13T10:04:58Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
publication: Companion Proceedings of the 30th International Conference on Software
Engineering (ICSE), Leipzig, Germany
status: public
title: 'Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse'
type: conference
user_id: '5786'
year: '2008'
...
---
_id: '20957'
abstract:
- lang: eng
text: 'In this paper, we report on a new approach of aspect-oriented modelling,
which is particularly suited for domains with naturally born aspects as part of
that domain: MoDowA for Modelling Domains with Aspects. Though these models are
on a very high level of abstraction and could be made early in the development
process, these models are fully operational in that they can be executed by an
interpreter. This way, we shed a light on Aspect-oriented Modelling from a new,
different angle.'
author:
- first_name: Ekkart
full_name: Kindler, Ekkart
last_name: Kindler
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
citation:
ama: 'Kindler E, Schmelter D. Aspect-oriented modelling from a different angle.
In: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM
’08. ; 2008. doi:10.1145/1404920.1404922'
apa: Kindler, E., & Schmelter, D. (2008). Aspect-oriented modelling from a different
angle. Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling -
AOM ’08. https://doi.org/10.1145/1404920.1404922
bibtex: '@inproceedings{Kindler_Schmelter_2008, title={Aspect-oriented modelling
from a different angle}, DOI={10.1145/1404920.1404922},
booktitle={Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling -
AOM ’08}, author={Kindler, Ekkart and Schmelter, David}, year={2008} }'
chicago: Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a
Different Angle.” In Proceedings of the 2008 AOSD Workshop on Aspect-Oriented
Modeling - AOM ’08, 2008. https://doi.org/10.1145/1404920.1404922.
ieee: 'E. Kindler and D. Schmelter, “Aspect-oriented modelling from a different
angle,” 2008, doi: 10.1145/1404920.1404922.'
mla: Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different
Angle.” Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling -
AOM ’08, 2008, doi:10.1145/1404920.1404922.
short: 'E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented
Modeling - AOM ’08, 2008.'
date_created: 2021-01-13T10:48:57Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
doi: 10.1145/1404920.1404922
language:
- iso: eng
publication: Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM
'08
publication_identifier:
isbn:
- '9781605581453'
publication_status: published
status: public
title: Aspect-oriented modelling from a different angle
type: conference
user_id: '5786'
year: '2008'
...