---
_id: '23779'
abstract:
- lang: ger
text: "Produktentstehung (PE) bezieht sich auf den Prozess der Planung und Entwicklung
eines Produkts sowie der damit verbundenen Dienstleistungen von der ersten Idee
bis zur Herstellung und zum Vertrieb. Während dieses Prozesses gibt es zahlreiche
Aufgaben, die von menschlichem Fachwissen abhängen und typischerweise von erfahrenen
Experten übernommen werden. Da sich das Feld der Künstlichen Intelligenz (KI)
immer weiterentwickelt und seinen Weg in den Fertigungssektor findet, gibt es
viele Möglichkeiten für eine Anwendung von KI, um bei der Lösung der oben genannten
Aufgaben zu helfen. In diesem Paper geben wir einen umfassenden Überblick über
den aktuellen Stand der Technik des Einsatzes von KI in der PE. \r\nIm Detail
analysieren wir 40 bestehende Surveys zu KI in der PE und 94 Case Studies, um
herauszufinden, welche Bereiche der PE von der aktuellen Forschung in diesem Bereich
vorrangig adressiert werden, wie ausgereift die diskutierten KI-Methoden sind
und inwieweit datenzentrierte Ansätze in der aktuellen Forschung genutzt werden."
- lang: eng
text: "Product Creation (PC) refers to the process of planning and developing a
product as well as related services from the initial idea until manufacturing
and distribution. Throughout this process, there are numerous tasks that depend
on human expertise and are typically undertaken by experienced practitioners.
As the field of Artificial Intelligence (AI) continues to evolve and finds its
way into the manufacturing sector, there exist many possibilities for an application
of AI in order to assist in solving aforementioned tasks. In this work, we provide
a comprehensive overview of the current state of the art of the use of AI in PC.
\r\nIn detail, we analyze 40 existing surveys on AI in PC and 94 case studies
in order to find out which areas of PC are primarily addressed by current research
in this field, how mature the discussed AI methods are, and to which extent data-centric
approaches are utilized in current research."
author:
- first_name: Ruslan
full_name: Bernijazov, Ruslan
last_name: Bernijazov
- first_name: Alexander
full_name: Dicks, Alexander
last_name: Dicks
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
- first_name: Marc
full_name: Foullois, Marc
last_name: Foullois
- first_name: Jonas Manuel
full_name: Hanselle, Jonas Manuel
id: '43980'
last_name: Hanselle
orcid: 0000-0002-1231-4985
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Gökce
full_name: Karakaya, Gökce
last_name: Karakaya
- first_name: Patrick
full_name: Ködding, Patrick
id: '45402'
last_name: Ködding
- first_name: Volker
full_name: Lohweg, Volker
last_name: Lohweg
- first_name: Manuel
full_name: Malatyali, Manuel
id: '41265'
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Melina
full_name: Panzner, Melina
last_name: Panzner
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: 'Bernijazov R, Dicks A, Dumitrescu R, et al. A Meta-Review on Artificial Intelligence
in Product Creation. In: Proceedings of the 30th International Joint Conference
on Artificial Intelligence (IJCAI-21). ; 2021.'
apa: Bernijazov, R., Dicks, A., Dumitrescu, R., Foullois, M., Hanselle, J. M., Hüllermeier,
E., Karakaya, G., Ködding, P., Lohweg, V., Malatyali, M., Meyer auf der Heide,
F., Panzner, M., & Soltenborn, C. (2021). A Meta-Review on Artificial Intelligence
in Product Creation. Proceedings of the 30th International Joint Conference
on Artificial Intelligence (IJCAI-21). 30th International Joint Conference
on Artificial Intelligence (IJCAI 2021) - Workshop “AI and Product Design,” Montreal,
Kanada.
bibtex: '@inproceedings{Bernijazov_Dicks_Dumitrescu_Foullois_Hanselle_Hüllermeier_Karakaya_Ködding_Lohweg_Malatyali_et
al._2021, title={A Meta-Review on Artificial Intelligence in Product Creation},
booktitle={Proceedings of the 30th International Joint Conference on Artificial
Intelligence (IJCAI-21)}, author={Bernijazov, Ruslan and Dicks, Alexander and
Dumitrescu, Roman and Foullois, Marc and Hanselle, Jonas Manuel and Hüllermeier,
Eyke and Karakaya, Gökce and Ködding, Patrick and Lohweg, Volker and Malatyali,
Manuel and et al.}, year={2021} }'
chicago: Bernijazov, Ruslan, Alexander Dicks, Roman Dumitrescu, Marc Foullois, Jonas
Manuel Hanselle, Eyke Hüllermeier, Gökce Karakaya, et al. “A Meta-Review on Artificial
Intelligence in Product Creation.” In Proceedings of the 30th International
Joint Conference on Artificial Intelligence (IJCAI-21), 2021.
ieee: R. Bernijazov et al., “A Meta-Review on Artificial Intelligence in Product
Creation,” presented at the 30th International Joint Conference on Artificial
Intelligence (IJCAI 2021) - Workshop “AI and Product Design,” Montreal, Kanada,
2021.
mla: Bernijazov, Ruslan, et al. “A Meta-Review on Artificial Intelligence in Product
Creation.” Proceedings of the 30th International Joint Conference on Artificial
Intelligence (IJCAI-21), 2021.
short: 'R. Bernijazov, A. Dicks, R. Dumitrescu, M. Foullois, J.M. Hanselle, E. Hüllermeier,
G. Karakaya, P. Ködding, V. Lohweg, M. Malatyali, F. Meyer auf der Heide, M. Panzner,
C. Soltenborn, in: Proceedings of the 30th International Joint Conference on Artificial
Intelligence (IJCAI-21), 2021.'
conference:
end_date: 2021-08-26
location: Montreal, Kanada
name: 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)
- Workshop "AI and Product Design"
start_date: 2021-08-19
date_created: 2021-09-06T08:23:45Z
date_updated: 2022-01-06T06:55:59Z
department:
- _id: '63'
- _id: '563'
- _id: '355'
- _id: '241'
keyword:
- Artificial Intelligence Product Creation Literature Review
language:
- iso: eng
main_file_link:
- url: https://www.hsu-hh.de/imb/wp-content/uploads/sites/677/2021/08/A-Meta-Review-on-Artificial-Intelligence-in-Product-Creation.pdf
publication: Proceedings of the 30th International Joint Conference on Artificial
Intelligence (IJCAI-21)
publication_status: epub_ahead
quality_controlled: '1'
status: public
title: A Meta-Review on Artificial Intelligence in Product Creation
type: conference
user_id: '15415'
year: '2021'
...
---
_id: '7569'
abstract:
- lang: eng
text: 'Dynamic Meta Modeling (DMM) is a semantics specification technique targeted
at MOF-based modeling languages, where a language''s behavior is defined by means
of graphical operational rules which change runtime models. The DMM approach has
first been suggested by Engels et al. in 2000; Hausmann has then defined the DMM
language on a conceptual level within his PhD thesis in 2006. Consequently, the
next step was to bring the existing DMM concepts alive, and then to apply them
to different modeling languages, making use of the lessons learned to improve
the DMM concepts as well as the DMM tooling. The result of this process is the
DMM++ method, which is presented within this thesis. Our contributions are three-fold:
First, and according to our experiences with the DMM language, we have introduced
new concepts such as refinement by means of rule overriding, and we have strengthened
existing concepts such as the dealing with universally quantified structures or
attributes. Second, we have developed a test-driven process for semantics specification:
A set of test models is created, and their expected behavior is fixed. Then, the
DMM rules are created incrementally, finally resulting in a DMM ruleset realizing
at least the expected behavior of the test models. Additionally, we have defined
a set of coverage criteria for DMM rulesets which allow to measure the quality
of a set of test models. Third, we have shown how functional as well as non-functional
requirements can be formulated against models and their DMM specifications. The
former is achieved by providing a visual language for formulating temporal logic
properties, which are then verified with model checking techniques, and by allowing
for visual debugging of models failing a requirement. For the latter, the modeler
can add performance information to models and analyze their performance properties,
e.g. average throughput.'
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität
Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
apa: Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
bibtex: '@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling},
DOI={http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420},
publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013}
}'
chicago: Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
ieee: C. Soltenborn, Quality Assurance with Dynamic Meta Modeling. Universität
Paderborn, 2013.
mla: Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn, 2013, doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
short: C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität
Paderborn, 2013.
date_created: 2019-02-06T14:15:58Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
title: Quality Assurance with Dynamic Meta Modeling
type: dissertation
user_id: '477'
year: '2013'
...
---
_id: '622'
abstract:
- lang: eng
text: Behavioral modeling languages are most useful if their behavior is specified
formally such that it can e.g. be analyzed and executed automatically. Obviously,
the quality of such behavior specifications is crucial. The rule-based semantics
specification technique Dynamic Meta Modeling (DMM) honors this by using the approach
of Test-driven Semantics Specification (TDSS), which makes sure that the specification
at hand at least describes the correct behavior for a suite of test models. However,
in its current state TDSS does not provide any means to measure the quality of
such a test suite. In this paper, we describe how we have applied the idea of
test coverage to TDSS. Similar to common approaches of defining test coverage
criteria, we describe a data structure called invocation graph containing possible
orders of applications ofDMM rules. Then we define different coverage criteria
based on that data structure, taking the rule applications caused by the test
suite’s models into account. Our implementation of the described approach gives
the language engineer using DMM a means to reason about the quality of the language’s
test suite, and also provides hints on how to improve that quality by adding dedicated
test models to the test suite.
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: 'Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications.
In: Proceedings of the 11th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT). Electronic Communications of the
EASST. ; 2012. doi:10.14279/tuj.eceasst.47.718'
apa: Arifulina, S., Engels, G., & Soltenborn, C. (2012). Coverage Criteria for
Testing DMM Specifications. In Proceedings of the 11th International Workshop
on Graph Transformation and Visual Modeling Techniques (GT-VMT). https://doi.org/10.14279/tuj.eceasst.47.718
bibtex: '@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications
of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={10.14279/tuj.eceasst.47.718},
booktitle={Proceedings of the 11th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels,
Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications
of the EASST} }'
chicago: Arifulina, Svetlana, Gregor Engels, and Christian Soltenborn. “Coverage
Criteria for Testing DMM Specifications.” In Proceedings of the 11th International
Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT).
Electronic Communications of the EASST, 2012. https://doi.org/10.14279/tuj.eceasst.47.718.
ieee: S. Arifulina, G. Engels, and C. Soltenborn, “Coverage Criteria for Testing
DMM Specifications,” in Proceedings of the 11th International Workshop on Graph
Transformation and Visual Modeling Techniques (GT-VMT), 2012.
mla: Arifulina, Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.”
Proceedings of the 11th International Workshop on Graph Transformation and
Visual Modeling Techniques (GT-VMT), 2012, doi:10.14279/tuj.eceasst.47.718.
short: 'S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International
Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.'
date_created: 2017-10-17T12:42:53Z
date_updated: 2022-01-06T07:02:57Z
ddc:
- '040'
department:
- _id: '66'
doi: 10.14279/tuj.eceasst.47.718
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T06:46:40Z
date_updated: 2018-03-15T06:46:40Z
file_id: '1243'
file_name: 622-gtvmt2012-Arifulina_01.pdf
file_size: 301602
relation: main_file
success: 1
file_date_updated: 2018-03-15T06:46:40Z
has_accepted_license: '1'
language:
- iso: eng
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 11th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT)
series_title: Electronic Communications of the EASST
status: public
title: Coverage Criteria for Testing DMM Specifications
type: conference
user_id: '14955'
year: '2012'
...
---
_id: '8053'
author:
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive
SYstems. In: Proceedings of the 8th International Conference on Autonomic Computing
(ICAC’11). ACM; 2011. doi:http://dx.doi.org/10.1145/1998582.1998617'
apa: Luckey, M., Gerth, C., Soltenborn, C., & Engels, G. (2011). QUAASY - QUality
Assurance of Adaptive SYstems. In Proceedings of the 8th International Conference
on Autonomic Computing (ICAC’11). ACM. http://dx.doi.org/10.1145/1998582.1998617
bibtex: '@inproceedings{Luckey_Gerth_Soltenborn_Engels_2011, title={QUAASY - QUality
Assurance of Adaptive SYstems}, DOI={http://dx.doi.org/10.1145/1998582.1998617},
booktitle={Proceedings of the 8th International Conference on Autonomic Computing
(ICAC’11)}, publisher={ACM}, author={Luckey, Markus and Gerth, Christian and Soltenborn,
Christian and Engels, Gregor}, year={2011} }'
chicago: Luckey, Markus, Christian Gerth, Christian Soltenborn, and Gregor Engels.
“QUAASY - QUality Assurance of Adaptive SYstems.” In Proceedings of the 8th
International Conference on Autonomic Computing (ICAC’11). ACM, 2011. http://dx.doi.org/10.1145/1998582.1998617.
ieee: M. Luckey, C. Gerth, C. Soltenborn, and G. Engels, “QUAASY - QUality Assurance
of Adaptive SYstems,” in Proceedings of the 8th International Conference on
Autonomic Computing (ICAC’11), 2011.
mla: Luckey, Markus, et al. “QUAASY - QUality Assurance of Adaptive SYstems.” Proceedings
of the 8th International Conference on Autonomic Computing (ICAC’11), ACM,
2011, doi:http://dx.doi.org/10.1145/1998582.1998617.
short: 'M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th
International Conference on Autonomic Computing (ICAC’11), ACM, 2011.'
date_created: 2019-02-21T20:49:28Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1145/1998582.1998617
language:
- iso: eng
publication: Proceedings of the 8th International Conference on Autonomic Computing
(ICAC'11)
publisher: ACM
status: public
title: QUAASY - QUality Assurance of Adaptive SYstems
type: conference
user_id: '14955'
year: '2011'
...
---
_id: '8054'
author:
- first_name: Nils
full_name: Bandener, Nils
last_name: Bandener
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications
for Visual Execution and Debugging. In: Proceedings of the 3rd International
Conference on Software Language Engineering (SLE 2010). Vol 6563. LNCS. Berlin/Heidelberg:
Springer; 2011:357-376. doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24'
apa: 'Bandener, N., Soltenborn, C., & Engels, G. (2011). Extending DMM Behavior
Specifications for Visual Execution and Debugging. In Proceedings of the 3rd
International Conference on Software Language Engineering (SLE 2010) (Vol.
6563, pp. 357–376). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-19440-5_24'
bibtex: '@inproceedings{Bandener_Soltenborn_Engels_2011, place={Berlin/Heidelberg},
series={LNCS}, title={Extending DMM Behavior Specifications for Visual Execution
and Debugging}, volume={6563}, DOI={http://dx.doi.org/10.1007/978-3-642-19440-5_24},
booktitle={Proceedings of the 3rd International Conference on Software Language
Engineering (SLE 2010)}, publisher={Springer}, author={Bandener, Nils and Soltenborn,
Christian and Engels, Gregor}, year={2011}, pages={357–376}, collection={LNCS}
}'
chicago: 'Bandener, Nils, Christian Soltenborn, and Gregor Engels. “Extending DMM
Behavior Specifications for Visual Execution and Debugging.” In Proceedings
of the 3rd International Conference on Software Language Engineering (SLE 2010),
6563:357–76. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-19440-5_24.'
ieee: N. Bandener, C. Soltenborn, and G. Engels, “Extending DMM Behavior Specifications
for Visual Execution and Debugging,” in Proceedings of the 3rd International
Conference on Software Language Engineering (SLE 2010), 2011, vol. 6563, pp.
357–376.
mla: Bandener, Nils, et al. “Extending DMM Behavior Specifications for Visual Execution
and Debugging.” Proceedings of the 3rd International Conference on Software
Language Engineering (SLE 2010), vol. 6563, Springer, 2011, pp. 357–76, doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24.
short: 'N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International
Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg,
2011, pp. 357–376.'
date_created: 2019-02-21T20:49:29Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-19440-5_24
intvolume: ' 6563'
language:
- iso: eng
page: 357-376
place: Berlin/Heidelberg
publication: Proceedings of the 3rd International Conference on Software Language
Engineering (SLE 2010)
publisher: Springer
series_title: LNCS
status: public
title: Extending DMM Behavior Specifications for Visual Execution and Debugging
type: conference
user_id: '14955'
volume: 6563
year: '2011'
...
---
_id: '7355'
abstract:
- lang: eng
text: Dynamic Meta Modeling (DMM) is a visual semantics specification technique
targeted at languages based on a metamodel. A DMM specification consists of a
runtime metamodel and operational rules which describe how instances of the runtime
metamodel change over time. A known deficiency of the DMM approach is that it
does not support the refinement of a DMM specification, e.g., in the case of defining
the semantics for a refined and extended domain-specific language (DSL). Up to
now, DMM specifications could only be reused by adding or removing DMM rules.
In this paper, we enhance DMM such that DMM rules can override other DMM rules,
similar to a method being overridden in a subclass, and we show how rule overriding
can be realized with the graph transformation tool GROOVE. We argue that rule
overriding does not only have positive impact on reusability, but also improves
the intuitive understandability of DMM semantics specifications.
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability
of Dynamic Meta Modeling specifications. Journal of Visual Languages &
Computing. 2011;22(3):233-250. doi:10.1016/j.jvlc.2010.12.005
apa: Soltenborn, C., & Engels, G. (2011). Using rule overriding to improve reusability
and understandability of Dynamic Meta Modeling specifications. Journal of Visual
Languages & Computing, 22(3), 233–250. https://doi.org/10.1016/j.jvlc.2010.12.005
bibtex: '@article{Soltenborn_Engels_2011, title={Using rule overriding to improve
reusability and understandability of Dynamic Meta Modeling specifications}, volume={22},
DOI={10.1016/j.jvlc.2010.12.005},
number={3}, journal={Journal of Visual Languages & Computing}, publisher={Elsevier
BV}, author={Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={233–250}
}'
chicago: 'Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve
Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal
of Visual Languages & Computing 22, no. 3 (2011): 233–50. https://doi.org/10.1016/j.jvlc.2010.12.005.'
ieee: C. Soltenborn and G. Engels, “Using rule overriding to improve reusability
and understandability of Dynamic Meta Modeling specifications,” Journal of
Visual Languages & Computing, vol. 22, no. 3, pp. 233–250, 2011.
mla: Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve
Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal
of Visual Languages & Computing, vol. 22, no. 3, Elsevier BV, 2011, pp.
233–50, doi:10.1016/j.jvlc.2010.12.005.
short: C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22
(2011) 233–250.
date_created: 2019-01-31T13:02:21Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: 10.1016/j.jvlc.2010.12.005
intvolume: ' 22'
issue: '3'
language:
- iso: eng
page: 233-250
publication: Journal of Visual Languages & Computing
publication_identifier:
issn:
- 1045-926X
publication_status: published
publisher: Elsevier BV
status: public
title: Using rule overriding to improve reusability and understandability of Dynamic
Meta Modeling specifications
type: journal_article
user_id: '14955'
volume: 22
year: '2011'
...
---
_id: '3194'
author:
- first_name: Mathias
full_name: Hülsbusch, Mathias
last_name: Hülsbusch
- first_name: Barbara
full_name: König, Barbara
last_name: König
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing
Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.
In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture
Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14'
apa: Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &
Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation
- {A} Comparison of Techniques. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated
Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October
11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14
bibtex: '@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010,
series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation
in Model Transformation - {A} Comparison of Techniques}, DOI={10.1007/978-3-642-16265-7_14},
booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and
König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian
and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors},
year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science}
}'
chicago: Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model
Transformation - {A} Comparison of Techniques.” In Integrated Formal Methods
- 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010.
Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture
Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
ieee: M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“Showing Full Semantics Preservation in Model Transformation - {A} Comparison
of Techniques,” in Integrated Formal Methods - 8th International Conference,
{IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
mla: Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation
- {A} Comparison of Techniques.” Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited
by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.
short: 'M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010,
pp. 183--198.'
date_created: 2018-06-13T09:19:33Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16265-7_14
editor:
- first_name: Dominique
full_name: M{\'{e}}ry, Dominique
last_name: M{\'{e}}ry
- first_name: Stephan
full_name: Merz, Stephan
last_name: Merz
language:
- iso: eng
page: 183--198
publication: Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Showing Full Semantics Preservation in Model Transformation - {A} Comparison
of Techniques
type: conference
user_id: '14955'
year: '2010'
...
---
_id: '8220'
author:
- first_name: Mathias
full_name: Hülsbusch, Mathias
last_name: Hülsbusch
- first_name: Barbara
full_name: König, Barbara
last_name: König
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Full
Semantics Preservation in Model Transformation - A Comparison of Proof Techniques.
Enschede, The Netherlands: Centre for Telematics and Information Technology of
the University of Twente; 2010.'
apa: 'Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &
Wehrheim, H. (2010). Full Semantics Preservation in Model Transformation -
A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics
and Information Technology of the University of Twente.'
bibtex: '@book{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, place={Enschede,
The Netherlands}, title={Full Semantics Preservation in Model Transformation -
A Comparison of Proof Techniques}, publisher={Centre for Telematics and Information
Technology of the University of Twente}, author={Hülsbusch, Mathias and König,
Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim,
Heike}, year={2010} }'
chicago: 'Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. Full Semantics Preservation in Model Transformation
- A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for
Telematics and Information Technology of the University of Twente, 2010.'
ieee: 'M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
Full Semantics Preservation in Model Transformation - A Comparison of Proof
Techniques. Enschede, The Netherlands: Centre for Telematics and Information
Technology of the University of Twente, 2010.'
mla: Hülsbusch, Mathias, et al. Full Semantics Preservation in Model Transformation
- A Comparison of Proof Techniques. Centre for Telematics and Information
Technology of the University of Twente, 2010.
short: M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques,
Centre for Telematics and Information Technology of the University of Twente,
Enschede, The Netherlands, 2010.
date_created: 2019-03-03T16:13:20Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
place: Enschede, The Netherlands
publisher: Centre for Telematics and Information Technology of the University of Twente
status: public
title: Full Semantics Preservation in Model Transformation - A Comparison of Proof
Techniques
type: report
user_id: '14955'
year: '2010'
...
---
_id: '8437'
abstract:
- lang: eng
text: Deriving a new language L_B from an already existing one L_A is a typical
task in domain-specific language engineering. Here, besides adjusting L_A's syntax,
the language engineer has to modify the semantics of L_A to derive L_B's semantics.
Particularly, in case of behavioral modeling languages, this is a difficult and
error-prone task, as changing the behavior of language elements or adding behavior
for new elements might have undesired side effects. Therefore, we propose a test-driven
language derivation process. In a first step, the language engineer creates example
models containing the changed or newly added elements in different contexts. For
each of these models, the language engineer also precisely describes the expected
behavior. In a second step, each example model and its description of behavior
is transformed into an executable test case. Finally, these test cases are used
when deriving the actual semantics of L_B - at any time, the language engineer
can run the tests to verify whether the changes he performed on L_A's semantics
indeed produce the desired behavior. In this paper, we illustrate the approach
using our graph transformation-based semantics specification technique Dynamic
Meta Modeling. This is once more an example where the graph transformation approach
shows its strengths and appropriateness to support software engineering tasks
as, e.g., model transformations, software specifications, or tool development.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: 'Engels G, Soltenborn C. Test-driven Language Derivation with Graph Transformation-based
Dynamic Meta Modeling. In: Proceedings of the International Colloquium on Graph
and Model Transformation (GraMoT 2010), Berlin (Germany). Vol 30. Electronic
Communications of the EASST. European Association of Software Science and Technology;
2010:240-257.'
apa: Engels, G., & Soltenborn, C. (2010). Test-driven Language Derivation with
Graph Transformation-based Dynamic Meta Modeling. In Proceedings of the International
Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)
(Vol. 30, pp. 240–257). European Association of Software Science and Technology.
bibtex: '@inproceedings{Engels_Soltenborn_2010, series={Electronic Communications
of the EASST}, title={Test-driven Language Derivation with Graph Transformation-based
Dynamic Meta Modeling}, volume={30}, booktitle={Proceedings of the International
Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)},
publisher={European Association of Software Science and Technology}, author={Engels,
Gregor and Soltenborn, Christian}, year={2010}, pages={240–257}, collection={Electronic
Communications of the EASST} }'
chicago: Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation
with Graph Transformation-Based Dynamic Meta Modeling.” In Proceedings of the
International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin
(Germany), 30:240–57. Electronic Communications of the EASST. European Association
of Software Science and Technology, 2010.
ieee: G. Engels and C. Soltenborn, “Test-driven Language Derivation with Graph Transformation-based
Dynamic Meta Modeling,” in Proceedings of the International Colloquium on Graph
and Model Transformation (GraMoT 2010), Berlin (Germany), 2010, vol. 30, pp.
240–257.
mla: Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation
with Graph Transformation-Based Dynamic Meta Modeling.” Proceedings of the
International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin
(Germany), vol. 30, European Association of Software Science and Technology,
2010, pp. 240–57.
short: 'G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium
on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association
of Software Science and Technology, 2010, pp. 240–257.'
date_created: 2019-03-06T16:20:33Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 30'
language:
- iso: eng
page: 240-257
publication: Proceedings of the International Colloquium on Graph and Model Transformation
(GraMoT 2010), Berlin (Germany)
publisher: European Association of Software Science and Technology
series_title: Electronic Communications of the EASST
status: public
title: Test-driven Language Derivation with Graph Transformation-based Dynamic Meta
Modeling
type: conference
user_id: '14955'
volume: 30
year: '2010'
...
---
_id: '8019'
abstract:
- lang: eng
text: 'Behavioral models are getting more and more important within the software
development cycle. To get the most use out of them, their behavior should be defined
formally. As a result, many approaches exist which aim at specifying formal semantics
for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring).
Most of these approaches give rise to a formal semantics which can e.g. be used
to check the quality of a particular language instance, for instance using model
checking techniques. However, if the semantics specification itself contains errors,
it is more or less useless, since one cannot rely on the analysis results. Therefore,
the language engineer must make sure that the semantics he develops is of the
highest quality possible. To help the language engineer to achieve that goal,
we propose a test-driven semantics specification process: the semantics of the
language under consideration is first informally demonstrated using example models,
which will then be used as test cases during the actual semantics specification
process. In this paper, we present this approach using the already mentioned specification
language DMM.'
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Soltenborn C, Engels G. Towards Test-Driven Semantics Specification. In: Proceedings
of the 12th International Conference on Model Driven Engineering Languages and
Systems (MODELS 2009), Denver, Colorado (USA). Vol 5795. LNCS. Berlin/Heidelberg:
Springer; 2009:378-392. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30'
apa: 'Soltenborn, C., & Engels, G. (2009). Towards Test-Driven Semantics Specification.
In Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA) (Vol. 5795, pp.
378–392). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-04425-0_30'
bibtex: '@inproceedings{Soltenborn_Engels_2009, place={Berlin/Heidelberg}, series={LNCS},
title={Towards Test-Driven Semantics Specification}, volume={5795}, DOI={http://dx.doi.org/10.1007/978-3-642-04425-0_30},
booktitle={Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA)}, publisher={Springer},
author={Soltenborn, Christian and Engels, Gregor}, year={2009}, pages={378–392},
collection={LNCS} }'
chicago: 'Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics
Specification.” In Proceedings of the 12th International Conference on Model
Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA),
5795:378–92. LNCS. Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_30.'
ieee: C. Soltenborn and G. Engels, “Towards Test-Driven Semantics Specification,”
in Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA), 2009, vol. 5795,
pp. 378–392.
mla: Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.”
Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA), vol. 5795, Springer,
2009, pp. 378–92, doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30.
short: 'C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference
on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado
(USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.'
date_created: 2019-02-21T17:36:28Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-04425-0_30
intvolume: ' 5795'
language:
- iso: eng
page: 378-392
place: Berlin/Heidelberg
publication: Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA)
publisher: Springer
series_title: LNCS
status: public
title: Towards Test-Driven Semantics Specification
type: conference
user_id: '14955'
volume: 5795
year: '2009'
...
---
_id: '8020'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Daniela
full_name: Fisseler, Daniela
last_name: Fisseler
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: 'Engels G, Fisseler D, Soltenborn C. Improving Reusability of Dynamic Meta
Modeling Specifications with Rule Overriding. In: Proceedings of the 2009 IEEE
Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis,
Oregon (USA). Piscataway, NJ (USA): IEEE Computer Society; 2009:39-46. doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302'
apa: 'Engels, G., Fisseler, D., & Soltenborn, C. (2009). Improving Reusability
of Dynamic Meta Modeling Specifications with Rule Overriding. In Proceedings
of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
2009), Corvallis, Oregon (USA) (pp. 39–46). Piscataway, NJ (USA): IEEE Computer
Society. http://dx.doi.org/10.1109/VLHCC.2009.5295302'
bibtex: '@inproceedings{Engels_Fisseler_Soltenborn_2009, place={Piscataway, NJ (USA)},
title={Improving Reusability of Dynamic Meta Modeling Specifications with Rule
Overriding}, DOI={http://dx.doi.org/10.1109/VLHCC.2009.5295302},
booktitle={Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2009), Corvallis, Oregon (USA)}, publisher={IEEE Computer Society},
author={Engels, Gregor and Fisseler, Daniela and Soltenborn, Christian}, year={2009},
pages={39–46} }'
chicago: 'Engels, Gregor, Daniela Fisseler, and Christian Soltenborn. “Improving
Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.” In
Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2009), Corvallis, Oregon (USA), 39–46. Piscataway, NJ (USA):
IEEE Computer Society, 2009. http://dx.doi.org/10.1109/VLHCC.2009.5295302.'
ieee: G. Engels, D. Fisseler, and C. Soltenborn, “Improving Reusability of Dynamic
Meta Modeling Specifications with Rule Overriding,” in Proceedings of the 2009
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009),
Corvallis, Oregon (USA), 2009, pp. 39–46.
mla: Engels, Gregor, et al. “Improving Reusability of Dynamic Meta Modeling Specifications
with Rule Overriding.” Proceedings of the 2009 IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer
Society, 2009, pp. 39–46, doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302.
short: 'G. Engels, D. Fisseler, C. Soltenborn, in: Proceedings of the 2009 IEEE
Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis,
Oregon (USA), IEEE Computer Society, Piscataway, NJ (USA), 2009, pp. 39–46.'
date_created: 2019-02-21T17:36:29Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/VLHCC.2009.5295302
language:
- iso: eng
page: 39-46
place: Piscataway, NJ (USA)
publication: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2009), Corvallis, Oregon (USA)
publisher: IEEE Computer Society
status: public
title: Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding
type: conference
user_id: '14955'
year: '2009'
...
---
_id: '8435'
abstract:
- lang: eng
text: Visual Process Pattern (VPP) is a visual language to describe constraints
on the behavior of UML Activities. They have been developed for the sake of formulating
and verifying requirements on business process models (with Activities being one
possible description language). In the VPP approach, a visual pattern is translated
into an LTL formula, which can then be verified against a transition system describing
the behavior of the Activity under consideration. In this paper, we aim at generalizing
VPP. We show how to formulate patterns more generally, using either concrete or
abstract syntax of the behavioral model under consideration. Additionally, we
describe how these more general patterns can be verified against a model’s behavior.
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: Proceedings
of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009),
Corvallis, OR (USA). Vol 25. Electronic Communications of the EASST. European
Association of Software Science and Technology; 2009.'
apa: Soltenborn, C., & Engels, G. (2009). Towards Generalizing Visual Process
Pattern. In Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA) (Vol. 25). European Association
of Software Science and Technology.
bibtex: '@inproceedings{Soltenborn_Engels_2009, series={Electronic Communications
of the EASST}, title={Towards Generalizing Visual Process Pattern}, volume={25},
booktitle={Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA)}, publisher={European Association
of Software Science and Technology}, author={Soltenborn, Christian and Engels,
Gregor}, year={2009}, collection={Electronic Communications of the EASST} }'
chicago: Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual
Process Pattern.” In Proceedings of the 1st International Workshop on Visual
Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), Vol. 25. Electronic
Communications of the EASST. European Association of Software Science and Technology,
2009.
ieee: C. Soltenborn and G. Engels, “Towards Generalizing Visual Process Pattern,”
in Proceedings of the 1st International Workshop on Visual Formalisms for Patterns
(VFfP 2009), Corvallis, OR (USA), 2009, vol. 25.
mla: Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process
Pattern.” Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA), vol. 25, European Association
of Software Science and Technology, 2009.
short: 'C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop
on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association
of Software Science and Technology, 2009.'
date_created: 2019-03-06T16:20:31Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 25'
language:
- iso: eng
publication: Proceedings of the 1st International Workshop on Visual Formalisms for
Patterns (VFfP 2009), Corvallis, OR (USA)
publisher: European Association of Software Science and Technology
series_title: Electronic Communications of the EASST
status: public
title: Towards Generalizing Visual Process Pattern
type: conference
user_id: '14955'
volume: 25
year: '2009'
...
---
_id: '3207'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Anneke
full_name: Kleppe, Anneke
last_name: Kleppe
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From
{UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.
In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109.
doi:10.1007/978-3-540-69100-6_7'
apa: Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim,
H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model
Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven
Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA}
2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
bibtex: '@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008,
series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL}
- Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7},
booktitle={Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels,
Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn,
Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors},
year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” In Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer
Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
ieee: G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,”
in Model Driven Architecture - Foundations and Applications, 4th European Conference,
{ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp.
94--109.
mla: Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
short: 'G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings, 2008, pp. 94--109.'
date_created: 2018-06-13T09:51:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-69100-6_7
editor:
- first_name: Ina
full_name: Schieferdecker, Ina
last_name: Schieferdecker
- first_name: Alan
full_name: Hartman, Alan
last_name: Hartman
language:
- iso: eng
page: 94--109
publication: Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
type: conference
user_id: '14955'
year: '2008'
...
---
_id: '7371'
abstract:
- lang: eng
text: Sollen wir UML 1.4, UML 2.0 oder eine ganz andere Modellierungssprache für
unsere Softwareentwicklung einsetzen? Der folgende Beitrag zeigt, dass bei der
Festlegung einer unternehmensweiten Entwicklungsmethode nicht die Frage nach der
Modellierungssprache im Vordergrund stehen sollte. Viel entscheidender für den
Erfolg von Softwareentwicklungsprojekten in einem Unternehmen ist ein einheitliches
Verständnis der Entwicklungskonzepte und -artefakte sowie ihrer Beziehungen untereinander.
Eine Einigung über ein unternehmensweites Domänenmodell der Softwareentwicklungskonzepte
sollte deshalb vor der Auswahl von Modellierungssprachen, eines konkreten Vorgehensmodells
und geeigneter Werkzeuge erfolgen.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: 'Engels G, Sauer S, Soltenborn C. Unternehmensweit verstehen – unternehmensweit
entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. Informatik-Spektrum.
2008;31(5):451-459.'
apa: 'Engels, G., Sauer, S., & Soltenborn, C. (2008). Unternehmensweit verstehen
– unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode.
Informatik-Spektrum, 31(5), 451–459.'
bibtex: '@article{Engels_Sauer_Soltenborn_2008, title={Unternehmensweit verstehen
– unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode},
volume={31}, number={5}, journal={Informatik-Spektrum}, author={Engels, Gregor
and Sauer, Stefan and Soltenborn, Christian}, year={2008}, pages={451–459} }'
chicago: 'Engels, Gregor, Stefan Sauer, and Christian Soltenborn. “Unternehmensweit
Verstehen – Unternehmensweit Entwickeln: Von Der Modellierungssprache Zur Softwareentwicklungsmethode.”
Informatik-Spektrum 31, no. 5 (2008): 451–59.'
ieee: 'G. Engels, S. Sauer, and C. Soltenborn, “Unternehmensweit verstehen – unternehmensweit
entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode,” Informatik-Spektrum,
vol. 31, no. 5, pp. 451–459, 2008.'
mla: 'Engels, Gregor, et al. “Unternehmensweit Verstehen – Unternehmensweit Entwickeln:
Von Der Modellierungssprache Zur Softwareentwicklungsmethode.” Informatik-Spektrum,
vol. 31, no. 5, 2008, pp. 451–59.'
short: G. Engels, S. Sauer, C. Soltenborn, Informatik-Spektrum 31 (2008) 451–459.
date_created: 2019-01-31T15:24:18Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 31'
issue: '5'
language:
- iso: eng
page: 451-459
publication: Informatik-Spektrum
status: public
title: 'Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache
zur Softwareentwicklungsmethode'
type: journal_article
user_id: '14955'
volume: 31
year: '2008'
...
---
_id: '3214'
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: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business
Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl
M, Z{\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial
Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer
Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2'
apa: Engels, G., Güldali, B., Soltenborn, C., & Wehrheim, H. (2007). Assuring
Consistency of Business Process Models and Web Services Using Visual Contracts.
In A. Sch{\"{u}}rr, M. Nagl, & A. Z{\"{u}}ndorf (Eds.), Applications of
Graph Transformations with Industrial Relevance, Third International Symposium,
{AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
Papers (pp. 17--31). https://doi.org/10.1007/978-3-540-89020-1_2
bibtex: '@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture
Notes in Computer Science}, title={Assuring Consistency of Business Process Models
and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2},
booktitle={Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007,
Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris
and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and
Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31},
collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim.
“Assuring Consistency of Business Process Models and Web Services Using Visual
Contracts.” In Applications of Graph Transformations with Industrial Relevance,
Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr, Manfred
Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007.
https://doi.org/10.1007/978-3-540-89020-1_2.
ieee: G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency
of Business Process Models and Web Services Using Visual Contracts,” in Applications
of Graph Transformations with Industrial Relevance, Third International Symposium,
{AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
Papers, 2007, pp. 17--31.
mla: Engels, Gregor, et al. “Assuring Consistency of Business Process Models and
Web Services Using Visual Contracts.” Applications of Graph Transformations
with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel,
Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited
by Andy Sch{\"{u}}rr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.
short: 'G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr,
M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial
Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.'
date_created: 2018-06-13T10:00:14Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-89020-1_2
editor:
- first_name: Andy
full_name: Sch{\"{u}}rr, Andy
last_name: Sch{\"{u}}rr
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Albert
full_name: Z{\"{u}}ndorf, Albert
last_name: Z{\"{u}}ndorf
language:
- iso: eng
page: 17--31
publication: Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised
Selected and Invited Papers
series_title: Lecture Notes in Computer Science
status: public
title: Assuring Consistency of Business Process Models and Web Services Using Visual
Contracts
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '3215'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic
Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for
Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes
in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5'
apa: Engels, G., Soltenborn, C., & Wehrheim, H. (2007). Analysis of {UML} Activities
Using Dynamic Meta Modeling. In M. M. Bonsangue & E. Broch Johnsen (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
(pp. 76--90). https://doi.org/10.1007/978-3-540-72952-5_5
bibtex: '@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in
Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling},
DOI={10.1007/978-3-540-72952-5_5},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike},
editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007},
pages={76--90}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of
{UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based
Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007,
Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue
and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
ieee: G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using
Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed
Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
mla: Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.”
Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:10.1007/978-3-540-72952-5_5.
short: 'G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen
(Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
2007, pp. 76--90.'
date_created: 2018-06-13T10:01:31Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_5
editor:
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Einar
full_name: Broch Johnsen, Einar
last_name: Broch Johnsen
language:
- iso: eng
page: 76--90
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Analysis of {UML} Activities Using Dynamic Meta Modeling
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '8415'
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling
Techniques. In: Symposium “A Formal Semantics for UML” (Satellite Event of
the MoDELS Conference 2006), Genova (Italy). Vol 4364. LNCS. Berlin/Heidelberg:
Springer; 2007:329-330. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_42'
apa: 'Soltenborn, C., & Engels, G. (2007). Analysis of UML Activities with Dynamic
Meta Modeling Techniques. In Symposium “A Formal Semantics for UML” (satellite
event of the MoDELS conference 2006), Genova (Italy) (Vol. 4364, pp. 329–330).
Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-540-69489-2_42'
bibtex: '@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS},
title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364},
DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_42},
booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS
conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian
and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }'
chicago: 'Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities
with Dynamic Meta Modeling Techniques.” In Symposium “A Formal Semantics for
UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), 4364:329–30.
LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_42.'
ieee: C. Soltenborn and G. Engels, “Analysis of UML Activities with Dynamic Meta
Modeling Techniques,” in Symposium “A Formal Semantics for UML” (satellite
event of the MoDELS conference 2006), Genova (Italy), 2007, vol. 4364, pp.
329–330.
mla: Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with
Dynamic Meta Modeling Techniques.” Symposium “A Formal Semantics for UML” (Satellite
Event of the MoDELS Conference 2006), Genova (Italy), vol. 4364, Springer,
2007, pp. 329–30, doi:http://dx.doi.org/10.1007/978-3-540-69489-2_42.
short: 'C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite
Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg,
2007, pp. 329–330.'
date_created: 2019-03-06T11:44:58Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-69489-2_42
intvolume: ' 4364'
language:
- iso: eng
page: 329-330
place: Berlin/Heidelberg
publication: Symposium "A Formal Semantics for UML" (satellite event of the MoDELS
conference 2006), Genova (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Analysis of UML Activities with Dynamic Meta Modeling Techniques
type: conference
user_id: '14955'
volume: 4364
year: '2007'
...
---
_id: '7940'
author:
- first_name: Kiran
full_name: Mahajan, Kiran
last_name: Mahajan
- first_name: Christoph
full_name: Laroque, Christoph
last_name: Laroque
- first_name: Wilhelm
full_name: Dangelmaier, Wilhelm
last_name: Dangelmaier
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Michael
full_name: Kortenjan, Michael
last_name: Kortenjan
- first_name: Daniel
full_name: Kuntze, Daniel
last_name: Kuntze
citation:
ama: 'Mahajan K, Laroque C, Dangelmaier W, Soltenborn C, Kortenjan M, Kuntze D.
d3FACT insight: A motion planning algorithm for material flow simulations
in virtual environments. In: Proceedings of the Conference on Simulation and
Visualization (SimViS 2005), Magedeburg (Germany). Vol 1. Erlangen: SCS European
Publishing House; 2005:115-126.'
apa: 'Mahajan, K., Laroque, C., Dangelmaier, W., Soltenborn, C., Kortenjan, M.,
& Kuntze, D. (2005). d3FACT insight: A motion planning algorithm
for material flow simulations in virtual environments. In Proceedings of the
conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)
(Vol. 1, pp. 115–126). Erlangen: SCS European Publishing House.'
bibtex: '@inproceedings{Mahajan_Laroque_Dangelmaier_Soltenborn_Kortenjan_Kuntze_2005,
place={Erlangen}, title={d3FACT insight: A motion planning algorithm
for material flow simulations in virtual environments}, volume={1}, booktitle={Proceedings
of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)},
publisher={SCS European Publishing House}, author={Mahajan, Kiran and Laroque,
Christoph and Dangelmaier, Wilhelm and Soltenborn, Christian and Kortenjan, Michael
and Kuntze, Daniel}, year={2005}, pages={115–126} }'
chicago: 'Mahajan, Kiran, Christoph Laroque, Wilhelm Dangelmaier, Christian Soltenborn,
Michael Kortenjan, and Daniel Kuntze. “D3FACT Insight: A Motion Planning
Algorithm for Material Flow Simulations in Virtual Environments.” In Proceedings
of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany),
1:115–26. Erlangen: SCS European Publishing House, 2005.'
ieee: 'K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, and
D. Kuntze, “d3FACT insight: A motion planning algorithm for material
flow simulations in virtual environments,” in Proceedings of the conference
on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), 2005,
vol. 1, pp. 115–126.'
mla: 'Mahajan, Kiran, et al. “D3FACT Insight: A Motion Planning Algorithm
for Material Flow Simulations in Virtual Environments.” Proceedings of the
Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany),
vol. 1, SCS European Publishing House, 2005, pp. 115–26.'
short: 'K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D.
Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS
2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp.
115–126.'
date_created: 2019-02-21T11:36:08Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
intvolume: ' 1'
language:
- iso: eng
page: 115-126
place: Erlangen
publication: Proceedings of the conference on Simulation and Visualization (SimViS
2005), Magedeburg (Germany)
publisher: SCS European Publishing House
status: public
title: 'd³FACT insight: A motion planning algorithm for material flow simulations
in virtual environments'
type: conference
user_id: '14955'
volume: 1
year: '2005'
...