---
_id: '8326'
abstract:
- lang: eng
text: Several software architecture paradigms have been proposed for the development
of interactive software systems and applications. Their common idea is the separation
of user interface components from application logic. Normally, they are deployed
as design patterns or basic frameworks of interactive systems. Deploying these
architecture paradigms for multimedia systems or embedded real-time systems, first
requires an appropriate adaption to the specific aspects of these application
areas. We will compare within this position paper two well-known architecture
paradigms and motivate an advanced architecture paradigm applicable to real-time,
embedded multimedia systems. In addition, we will discuss that the architecture
paradigm should be reflected within the structure of a modeling language.
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
citation:
ama: 'Engels G, Sauer S. MVC-Based Modeling Support for Embedded Real-Time Systems.
In: Proceedings of OMER Workshop, Herrsching, Germany. Herrsching, Universität
der Bundeswehr München, Fakultät für Informatik; 1999:11-14.'
apa: Engels, G., & Sauer, S. (1999). MVC-Based Modeling Support for Embedded
Real-Time Systems. In Proceedings of OMER Workshop, Herrsching, Germany
(pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik.
bibtex: '@inproceedings{Engels_Sauer_1999, place={Herrsching, Universität der Bundeswehr
München, Fakultät für Informatik}, title={MVC-Based Modeling Support for Embedded
Real-Time Systems}, number={01}, booktitle={Proceedings of OMER Workshop, Herrsching,
Germany}, author={Engels, Gregor and Sauer, Stefan}, year={1999}, pages={11–14}
}'
chicago: Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded
Real-Time Systems.” In Proceedings of OMER Workshop, Herrsching, Germany,
11–14. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik,
1999.
ieee: G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time
Systems,” in Proceedings of OMER Workshop, Herrsching, Germany, 1999, no.
01, pp. 11–14.
mla: Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded
Real-Time Systems.” Proceedings of OMER Workshop, Herrsching, Germany,
no. 01, 1999, pp. 11–14.
short: 'G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany,
Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999,
pp. 11–14.'
date_created: 2019-03-05T13:29:14Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
issue: '01'
language:
- iso: eng
page: 11-14
place: Herrsching, Universität der Bundeswehr München, Fakultät für Informatik
publication: Proceedings of OMER Workshop, Herrsching, Germany
status: public
title: MVC-Based Modeling Support for Embedded Real-Time Systems
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8327'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Mehner K, Wagner A. An Assessment of Aspect Language Design. In: Proceedings
of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based
Software Engineering (GCSE 1999)), Erfurt (Germany). ; 1999.'
apa: Mehner, K., & Wagner, A. (1999). An Assessment of Aspect Language Design.
In Proceedings of the Young Researchers Workshop (satellite event of the Generative
and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany).
bibtex: '@inproceedings{Mehner_Wagner_1999, title={An Assessment of Aspect Language
Design}, booktitle={Proceedings of the Young Researchers Workshop (satellite event
of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt
(Germany)}, author={Mehner, Katharina and Wagner, Annika}, year={1999} }'
chicago: Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language
Design.” In Proceedings of the Young Researchers Workshop (Satellite Event
of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt
(Germany), 1999.
ieee: K. Mehner and A. Wagner, “An Assessment of Aspect Language Design,” in Proceedings
of the Young Researchers Workshop (satellite event of the Generative and Component-Based
Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
mla: Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.”
Proceedings of the Young Researchers Workshop (Satellite Event of the Generative
and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
short: 'K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop
(Satellite Event of the Generative and Component-Based Software Engineering (GCSE
1999)), Erfurt (Germany), 1999.'
date_created: 2019-03-05T13:29:15Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Young Researchers Workshop (satellite event of the
Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)
status: public
title: An Assessment of Aspect Language Design
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8328'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Mehner K, Wagner A. On the Role of Method Families in Aspect Oriented Programming.
In: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa
(Spain). Vol 1743. LNCS. Berlin/Heidelberg: Springer; 1999:305-306.'
apa: 'Mehner, K., & Wagner, A. (1999). On the Role of Method Families in Aspect
Oriented Programming. In Proceedings of the ECOOP Workshop on Aspect Oriented
Programming, Lisboa (Spain) (Vol. 1743, pp. 305–306). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Mehner_Wagner_1999, place={Berlin/Heidelberg}, series={LNCS},
title={On the Role of Method Families in Aspect Oriented Programming}, volume={1743},
booktitle={Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa
(Spain)}, publisher={Springer}, author={Mehner, Katharina and Wagner, Annika},
year={1999}, pages={305–306}, collection={LNCS} }'
chicago: 'Mehner, Katharina, and Annika Wagner. “On the Role of Method Families
in Aspect Oriented Programming.” In Proceedings of the ECOOP Workshop on Aspect
Oriented Programming, Lisboa (Spain), 1743:305–6. LNCS. Berlin/Heidelberg:
Springer, 1999.'
ieee: K. Mehner and A. Wagner, “On the Role of Method Families in Aspect Oriented
Programming,” in Proceedings of the ECOOP Workshop on Aspect Oriented Programming,
Lisboa (Spain), 1999, vol. 1743, pp. 305–306.
mla: Mehner, Katharina, and Annika Wagner. “On the Role of Method Families in Aspect
Oriented Programming.” Proceedings of the ECOOP Workshop on Aspect Oriented
Programming, Lisboa (Spain), vol. 1743, Springer, 1999, pp. 305–06.
short: 'K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented
Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.'
date_created: 2019-03-05T13:29:16Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 1743'
language:
- iso: eng
page: 305-306
place: Berlin/Heidelberg
publication: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa
(Spain)
publisher: Springer
series_title: LNCS
status: public
title: On the Role of Method Families in Aspect Oriented Programming
type: conference
user_id: '52534'
volume: 1743
year: '1999'
...
---
_id: '7399'
abstract:
- lang: ger
text: Multimedia-Anwendungen sind interaktive Softwaresysteme und verlangen als
solche, mit softwaretechnischen Methoden erstellt zu werden. Sie werden heutzutage
in der Regel mit Hilfe von Autorensystemen entwickelt, die eine Ad-hoc-Entwicklung
auf Implementierungsniveau unterstützen. Hierdurch und wegen des Fehlens etablierter
Vorgehensmodelle für die Multimedia-Softwareentwicklung reduziert sich der Multimedia-Entwicklungsprozeß
auf die Implementierungsphase. Dies führt zu den in der Softwaretechnik bekannten
Problemen wie mangelnder Konzeption und fehlender Dokumentation. Wir stellen in
diesem Beitrag ein Vorgehensmodell für die Entwicklung von Multimedia-Anwendungen
vor, in dessen Mittelpunkt eine Analyse- und Entwurfsphase im Hinblick auf eine
Implementierung der Multimedia-Anwendung mit einem Autorensystem stehen. Ausgehend
von einem frameworkbasierten Analysemodell der Anwendung und einem Modell der
Realisierungsmöglichkeiten mit einem konkreten Autorensystem wird systematisch
ein Implementierungsmodell auf Instanzebene abgeleitet, das als Eingabe für das
Autorensystem verwendet wird. Das postulierte Vorgehensmodell wird exemplarisch
für das Autorensystem Director am Beispiel der Domäne multimedialer Lehr-/Lernanwendungen
erläutert.
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Vorgehensmodell für die
Multimedia-Entwicklung mit Autorensystemen. Informatik Forschung und Entwicklung.
1999;14(2):83-94. doi:http://dx.doi.org/10.1007/s004500050128
apa: Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1999). Ein
Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Informatik
Forschung Und Entwicklung, 14(2), 83–94. http://dx.doi.org/10.1007/s004500050128
bibtex: '@article{Depke_Engels_Mehner_Sauer_Wagner_1999, title={Ein Vorgehensmodell
für die Multimedia-Entwicklung mit Autorensystemen}, volume={14}, DOI={http://dx.doi.org/10.1007/s004500050128},
number={2}, journal={Informatik Forschung und Entwicklung}, author={Depke, Ralph
and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika},
year={1999}, pages={83–94} }'
chicago: 'Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika
Wagner. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit Autorensystemen.”
Informatik Forschung Und Entwicklung 14, no. 2 (1999): 83–94. http://dx.doi.org/10.1007/s004500050128.'
ieee: R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Vorgehensmodell
für die Multimedia-Entwicklung mit Autorensystemen,” Informatik Forschung und
Entwicklung, vol. 14, no. 2, pp. 83–94, 1999.
mla: Depke, Ralph, et al. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit
Autorensystemen.” Informatik Forschung Und Entwicklung, vol. 14, no. 2,
1999, pp. 83–94, doi:http://dx.doi.org/10.1007/s004500050128.
short: R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung
Und Entwicklung 14 (1999) 83–94.
date_created: 2019-01-31T15:46:49Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/s004500050128
intvolume: ' 14'
issue: '2'
language:
- iso: eng
page: 83-94
publication: Informatik Forschung und Entwicklung
status: public
title: Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
type: journal_article
user_id: '52534'
volume: 14
year: '1999'
...
---
_id: '7400'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
- first_name: V.
full_name: Finaev, V.
last_name: Finaev
citation:
ama: Cherchago A, Finaev V. Formalization of the development process for a software-hardware
reflexodiagnostic tool. Scientific bulletin of Academy of Information Technologies
in Education, Science and Balneology. 1999;3.
apa: Cherchago, A., & Finaev, V. (1999). Formalization of the development process
for a software-hardware reflexodiagnostic tool. Scientific Bulletin of Academy
of Information Technologies in Education, Science and Balneology, 3.
bibtex: '@article{Cherchago_Finaev_1999, title={Formalization of the development
process for a software-hardware reflexodiagnostic tool}, volume={3}, journal={Scientific
bulletin of Academy of Information Technologies in Education, Science and Balneology},
author={Cherchago, Alexey and Finaev, V.}, year={1999} }'
chicago: Cherchago, Alexey, and V. Finaev. “Formalization of the Development Process
for a Software-Hardware Reflexodiagnostic Tool.” Scientific Bulletin of Academy
of Information Technologies in Education, Science and Balneology 3 (1999).
ieee: A. Cherchago and V. Finaev, “Formalization of the development process for
a software-hardware reflexodiagnostic tool,” Scientific bulletin of Academy
of Information Technologies in Education, Science and Balneology, vol. 3,
1999.
mla: Cherchago, Alexey, and V. Finaev. “Formalization of the Development Process
for a Software-Hardware Reflexodiagnostic Tool.” Scientific Bulletin of Academy
of Information Technologies in Education, Science and Balneology, vol. 3,
1999.
short: A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies
in Education, Science and Balneology 3 (1999).
date_created: 2019-01-31T15:47:39Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 3'
language:
- iso: eng
publication: Scientific bulletin of Academy of Information Technologies in Education,
Science and Balneology
status: public
title: Formalization of the development process for a software-hardware reflexodiagnostic
tool
type: journal_article
user_id: '52534'
volume: 3
year: '1999'
...
---
_id: '7401'
abstract:
- lang: eng
text: The framework of graph transformation combines the potentials and advantages
of both, graphs and rules, to a single computational paradigm. In this paper we
present some recent developments in applying graph transformations as a rule-based
framework for the specification and development of systems, languages, and tools.
After reviewing the basic features of graph transformation, we discuss a selection
of applications, including the evaluation of functional expressions, the specification
of an interactive graphical tool, an example specification of abstract data types,
and the definition of a visual database query language. The case studies indicate
the need for suitable structuring principles which are independent of a particular
graph transformation approach. To this end, we present the concept of a transformation
unit, which allows systematic and structured specifications and programming based
on graph transformation.
author:
- first_name: Marc
full_name: Andries, Marc
last_name: Andries
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Annegret
full_name: Habel, Annegret
last_name: Habel
- first_name: Berthold
full_name: Hoffmann, Berthold
last_name: Hoffmann
- first_name: Hans-Jörg
full_name: Kreowski, Hans-Jörg
last_name: Kreowski
- first_name: Sabine
full_name: Kuske, Sabine
last_name: Kuske
- first_name: Detlef
full_name: Plump, Detlef
last_name: Plump
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: Andries M, Engels G, Habel A, et al. Graph Transformation for Specification
and Programming. Science of Computer Programming. 1999;34(1):1-54. doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9
apa: Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S.,
… Taentzer, G. (1999). Graph Transformation for Specification and Programming.
Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
bibtex: '@article{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1999,
title={Graph Transformation for Specification and Programming}, volume={34}, DOI={http://dx.doi.org/10.1016/S0167-6423(98)00023-9},
number={1}, journal={Science of Computer Programming}, author={Andries, Marc and
Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg
and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele},
year={1999}, pages={1–54} }'
chicago: 'Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg
Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph
Transformation for Specification and Programming.” Science of Computer Programming
34, no. 1 (1999): 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9.'
ieee: M. Andries et al., “Graph Transformation for Specification and Programming,”
Science of Computer Programming, vol. 34, no. 1, pp. 1–54, 1999.
mla: Andries, Marc, et al. “Graph Transformation for Specification and Programming.”
Science of Computer Programming, vol. 34, no. 1, 1999, pp. 1–54, doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
short: M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D.
Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
date_created: 2019-01-31T15:48:04Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S0167-6423(98)00023-9
intvolume: ' 34'
issue: '1'
language:
- iso: eng
page: 1-54
publication: Science of Computer Programming
status: public
title: Graph Transformation for Specification and Programming
type: journal_article
user_id: '52534'
volume: 34
year: '1999'
...
---
_id: '7510'
abstract:
- lang: eng
text: Graph grammars originated in the late 60s, motivated by considerations about
pattern recognition and compiler construction. Since then, the list of areas which
have interacted with the development of graph grammars has grown quite impressively.
Besides the aforementioned areas, it includes software specification and development,
VLSI layout schemes, database design, modeling of concurrent systems, massively
parallel computer architectures, logic programming, computer animation, developmental
biology, music composition, visual languages, and many others. The area of graph
grammars and graph transformations generalizes formal language theory based on
strings and the theory of term rewriting based on trees. As a matter of fact,
within the area of graph grammars, graph transformation is considered as a fundamental
computation paradigm where computation includes specification, programming, and
implementation. Over the last three decades, graph grammars have developed at
a steady pace into a theoretically attractive and important-for-applications research
field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing
by Graph Transformations considers applications to functional languages, visual
and object-oriented languages, software engineering, mechanical engineering, chemical
process engineering, and images. It also presents implemented specification languages
and tools, and structuring and modularization concepts for specification languages.
The contributions have been written in a tutorial/survey style by the top experts
in the corresponding areas. This volume is accompanied by a CD-Rom containing
implementations of specification environments based on graph transformation systems,
and tools whose implementation is based on the use of graph transformation systems.
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hans Jörg
full_name: Kreowski, Hans Jörg
last_name: Kreowski
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
citation:
ama: 'Ehrig H, Engels G, Kreowski HJ, Rozenberg G. Handbook of Graph Grammars
and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools.
River Edge, NJ, USA: World Scientific Publishing Co., Inc.; 1999.'
apa: 'Ehrig, H., Engels, G., Kreowski, H. J., & Rozenberg, G. (1999). Handbook
of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications,
Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co.,
Inc.'
bibtex: '@book{Ehrig_Engels_Kreowski_Rozenberg_1999, place={River Edge, NJ, USA},
title={Handbook of Graph Grammars and Computing by Graph Transformation: Vol.
2: Applications, Languages, and Tools}, publisher={World Scientific Publishing
Co., Inc.}, author={Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans Jörg
and Rozenberg, Grzegorz}, year={1999} }'
chicago: 'Ehrig, Hartmut, Gregor Engels, Hans Jörg Kreowski, and Grzegorz Rozenberg.
Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications,
Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co.,
Inc., 1999.'
ieee: 'H. Ehrig, G. Engels, H. J. Kreowski, and G. Rozenberg, Handbook of Graph
Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages,
and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.'
mla: 'Ehrig, Hartmut, et al. Handbook of Graph Grammars and Computing by Graph
Transformation: Vol. 2: Applications, Languages, and Tools. World Scientific
Publishing Co., Inc., 1999.'
short: 'H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars
and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools,
World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.'
date_created: 2019-02-04T22:30:03Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
place: River Edge, NJ, USA
publication_identifier:
isbn:
- 981-02-4020-1
publisher: World Scientific Publishing Co., Inc.
status: public
title: 'Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2:
Applications, Languages, and Tools'
type: book
user_id: '52534'
year: '1999'
...
---
_id: '7518'
abstract:
- lang: eng
text: The idea of a combined reference model- and view-based specification approach
has been proposed recently in the software engineering community. In this chapter
we present a specification technique based on open graph transformation systems
(in the double-pushout approach) by a new loose semantics for rule-based systems,
which allows to model the interaction between different views, and by explicit
frame conditions which restrict these interactions to an interface of open types.
On this background, formal notions of view and view relation are developed and
the behavior of views is described by the loose semantics. Based on the assumption
that dependencies between different views are faithfully described by a common
reference model, a construction is developed for the automatic integration of
views. The views and the reference model are kept consistent manually, which is
the task of a model manager. All concepts and results are illustrated at the well-known
example of banking system.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Heckel R, Engels G, Ehrig H, Taentzer G. A View-based Approach to System Modeling
Based on Open Graph Transformation Systems. In: Handbook of Graph Grammars
and Computing by Graph Transformations, Volume 2: Applications, Languages and
Tools. Singapore: World Scientific; 1999:639-668.'
apa: 'Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). A View-based
Approach to System Modeling Based on Open Graph Transformation Systems. In Handbook
of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications,
Languages and Tools (pp. 639–668). Singapore: World Scientific.'
bibtex: '@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={A
View-based Approach to System Modeling Based on Open Graph Transformation Systems},
booktitle={Handbook of Graph Grammars and Computing by Graph Transformations,
Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel,
Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999},
pages={639–668} }'
chicago: 'Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “A
View-Based Approach to System Modeling Based on Open Graph Transformation Systems.”
In Handbook of Graph Grammars and Computing by Graph Transformations, Volume
2: Applications, Languages and Tools, 639–68. Singapore: World Scientific,
1999.'
ieee: 'R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “A View-based Approach to
System Modeling Based on Open Graph Transformation Systems,” in Handbook of
Graph Grammars and Computing by Graph Transformations, Volume 2: Applications,
Languages and Tools, Singapore: World Scientific, 1999, pp. 639–668.'
mla: 'Heckel, Reiko, et al. “A View-Based Approach to System Modeling Based on Open
Graph Transformation Systems.” Handbook of Graph Grammars and Computing by
Graph Transformations, Volume 2: Applications, Languages and Tools, World
Scientific, 1999, pp. 639–68.'
short: 'R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars
and Computing by Graph Transformations, Volume 2: Applications, Languages and
Tools, World Scientific, Singapore, 1999, pp. 639–668.'
date_created: 2019-02-04T22:49:37Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 639-668
place: Singapore
publication: 'Handbook of Graph Grammars and Computing by Graph Transformations, Volume
2: Applications, Languages and Tools'
publisher: World Scientific
status: public
title: A View-based Approach to System Modeling Based on Open Graph Transformation
Systems
type: book_chapter
user_id: '52534'
year: '1999'
...
---
_id: '7519'
abstract:
- lang: eng
text: In this chapter we use a three-level approach for analyzing module concepts
for graph transformation systems. Based on the observation that module architectures
consist of basic specications like body or export interface and relations like
the implementation relation between them, or the import relation between a client
and a server module, module concepts are characterized by answering the questions
1. What are the basic specifications? 2. Which relations between specifications
are used? 3. How are specifications and relations combined to module architectures?
These three questions are investigated for five module concepts available in the
literature. As a reference example, a samplemodular specification of resource
management in distributed operating systems is presented.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Heckel R, Engels G, Ehrig H, Taentzer G. Classification and Comparison of
Module Concepts for Graph Transformation Systems. In: Handbook of Graph Grammars
and Computing by Graph Transformations, Volume 2: Applications, Languages and
Tools. Vol 2. Singapore: World Scientific; 1999:669-689.'
apa: 'Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). Classification
and Comparison of Module Concepts for Graph Transformation Systems. In Handbook
of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications,
Languages and Tools (Vol. 2, pp. 669–689). Singapore: World Scientific.'
bibtex: '@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={Classification
and Comparison of Module Concepts for Graph Transformation Systems}, volume={2},
booktitle={Handbook of Graph Grammars and Computing by Graph Transformations,
Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel,
Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999},
pages={669–689} }'
chicago: 'Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “Classification
and Comparison of Module Concepts for Graph Transformation Systems.” In Handbook
of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications,
Languages and Tools, 2:669–89. Singapore: World Scientific, 1999.'
ieee: 'R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “Classification and Comparison
of Module Concepts for Graph Transformation Systems,” in Handbook of Graph
Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages
and Tools, vol. 2, Singapore: World Scientific, 1999, pp. 669–689.'
mla: 'Heckel, Reiko, et al. “Classification and Comparison of Module Concepts for
Graph Transformation Systems.” Handbook of Graph Grammars and Computing by
Graph Transformations, Volume 2: Applications, Languages and Tools, vol. 2,
World Scientific, 1999, pp. 669–89.'
short: 'R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars
and Computing by Graph Transformations, Volume 2: Applications, Languages and
Tools, World Scientific, Singapore, 1999, pp. 669–689.'
date_created: 2019-02-04T22:50:30Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
intvolume: ' 2'
language:
- iso: eng
page: 669-689
place: Singapore
publication: 'Handbook of Graph Grammars and Computing by Graph Transformations, Volume
2: Applications, Languages and Tools'
publisher: World Scientific
status: public
title: Classification and Comparison of Module Concepts for Graph Transformation Systems
type: book_chapter
user_id: '52534'
volume: 2
year: '1999'
...
---
_id: '7793'
abstract:
- lang: eng
text: 'During the last 20 years several different formal and semi-formal specification
techniques have been successfully developed and used. Applications comprise the
specification of simple programs, data types and processes as well as complex
hardware and software systems. The variety of specification techniques ranges
from formal set theoretical, algebraic, and logic approaches for specifying sequential
systems and from Petri-nets, process algebras, automata, and graph grammars for
specifying concurrent and distributed behaviors to semi-formal software engineering
methods for developing complex systems. Formal and semi-formal approaches have
their advantages and disadvantages: the informal diagrammatic methods are easier
to understand and to apply but they can be ambiguous. Due to the different nature
of the employed diagrams and descriptions it is often difficult to get a comprehensive
view of all functional and dynamic properties. On the other hand, the formal approaches
are more difficult to learn and require mathematical training. But they provide
mathematical rigor for analysis and prototyping of designs. Verification is possible
only with formal techniques. Since a few years many researchers and research groups
are putting more and more effort in closing this gap by integrating semi-formal
and formal specification techniques. Their studies and experiences show the added
value of combining semi-formal and formal techniques and at the same time open
a whole range of new problems and questions which cannot be asked when studying
formalisms in isolation. In this seminar more than 40 scientists came together
in 28 talks and two panel discussions to study possibilities and solutions for
integrating and validating different formal and semi-formal specification techniques.
Similarities and differences of formal and semi-formal specification formalisms
as well as possibilities for combining such techniques were discussed. Most talks
of this seminar analysed, compared, or integrated at least two such methods. On
behalf of all participants the organizers would like to thank the staff of Schloss
Dagstuhl for providing an excellent environment to the conference. The support
of the TMR programme of the European Community is gratefully acknowledged. Due
to this programme it was possible to fund the participation of several young researchers
and of three key note speakers.'
citation:
ama: Engels G, Ehrig H, Orejas F, Wirsing M, eds. Semi-Formal and Formal Specification
Techniques. Vol 218. Schloss Dagstuhl, Leibniz Center for Informatics; 1998.
apa: Engels, G., Ehrig, H., Orejas, F., & Wirsing, M. (Eds.). (1998). Semi-Formal
and Formal Specification Techniques (Vol. 218). Schloss Dagstuhl, Leibniz
Center for Informatics.
bibtex: '@book{Engels_Ehrig_Orejas_Wirsing_1998, series={Dagstuhl-Seminar-Report},
title={Semi-Formal and Formal Specification Techniques}, volume={218}, publisher={Schloss
Dagstuhl, Leibniz Center for Informatics}, year={1998}, collection={Dagstuhl-Seminar-Report}
}'
chicago: Engels, Gregor, Hartmut Ehrig, Fernando Orejas, and M. Wirsing, eds. Semi-Formal
and Formal Specification Techniques. Vol. 218. Dagstuhl-Seminar-Report. Schloss
Dagstuhl, Leibniz Center for Informatics, 1998.
ieee: G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., Semi-Formal and Formal
Specification Techniques, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics,
1998.
mla: Engels, Gregor, et al., editors. Semi-Formal and Formal Specification Techniques.
Vol. 218, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
short: G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal
Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
date_created: 2019-02-19T19:14:00Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Fernando
full_name: Orejas, Fernando
last_name: Orejas
- first_name: M.
full_name: Wirsing, M.
last_name: Wirsing
intvolume: ' 218'
language:
- iso: eng
publisher: Schloss Dagstuhl, Leibniz Center for Informatics
series_title: Dagstuhl-Seminar-Report
status: public
title: Semi-Formal and Formal Specification Techniques
type: conference_editor
user_id: '52534'
volume: 218
year: '1998'
...
---
_id: '7794'
citation:
ama: 'Engels G, Ehrig H, Kreowski H-J, Rozenberg G, eds. 6th International Workshop
on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected
Papers. Vol 1764. Berlin/Heidelberg: Springer; 1998.'
apa: 'Engels, G., Ehrig, H., Kreowski, H.-J., & Rozenberg, G. (Eds.). (1998).
6th International Workshop on Theory and Applications of Graph Transformations
(TAGT ’98), Paderborn, Selected Papers (Vol. 1764). Berlin/Heidelberg: Springer.'
bibtex: '@book{Engels_Ehrig_Kreowski_Rozenberg_1998, place={Berlin/Heidelberg},
series={LNCS}, title={6th International Workshop on Theory and Applications of
Graph Transformations (TAGT ’98), Paderborn, Selected Papers}, volume={1764},
publisher={Springer}, year={1998}, collection={LNCS} }'
chicago: 'Engels, Gregor, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg,
eds. 6th International Workshop on Theory and Applications of Graph Transformations
(TAGT ’98), Paderborn, Selected Papers. Vol. 1764. LNCS. Berlin/Heidelberg:
Springer, 1998.'
ieee: 'G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., 6th International
Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn,
Selected Papers, vol. 1764. Berlin/Heidelberg: Springer, 1998.'
mla: Engels, Gregor, et al., editors. 6th International Workshop on Theory and
Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers.
Vol. 1764, Springer, 1998.
short: G. Engels, H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds., 6th International
Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn,
Selected Papers, Springer, Berlin/Heidelberg, 1998.
date_created: 2019-02-19T19:14:51Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Hans-Jörg
full_name: Kreowski, Hans-Jörg
last_name: Kreowski
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
intvolume: ' 1764'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: LNCS
status: public
title: 6th International Workshop on Theory and Applications of Graph Transformations
(TAGT '98), Paderborn, Selected Papers
type: conference_editor
user_id: '52534'
volume: 1764
year: '1998'
...
---
_id: '7843'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Ansatz zur Verbesserung
des Entwicklungsprozesses von Multimedia-Anwendungen. In: Proceedings of the
GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany). Vol 18. GI;
1998:12-19.'
apa: Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1998). Ein
Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen.
In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)
(Vol. 18, pp. 12–19). GI.
bibtex: '@inproceedings{Depke_Engels_Mehner_Sauer_Wagner_1998, title={Ein Ansatz
zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen}, volume={18},
number={3}, booktitle={Proceedings of the GI-Fachtagung on Softwaretechnik (1998),
Paderborn (Germany)}, publisher={GI}, author={Depke, Ralph and Engels, Gregor
and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}, year={1998}, pages={12–19}
}'
chicago: Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika
Wagner. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.”
In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany),
18:12–19. GI, 1998.
ieee: R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung
des Entwicklungsprozesses von Multimedia-Anwendungen,” in Proceedings of the
GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 1998, vol. 18,
no. 3, pp. 12–19.
mla: Depke, Ralph, et al. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses
von Multimedia-Anwendungen.” Proceedings of the GI-Fachtagung on Softwaretechnik
(1998), Paderborn (Germany), vol. 18, no. 3, GI, 1998, pp. 12–19.
short: 'R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, in: Proceedings of
the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), GI, 1998, pp.
12–19.'
date_created: 2019-02-20T14:09:54Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 18'
issue: '3'
language:
- iso: eng
page: 12-19
publication: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn
(Germany)
publisher: GI
status: public
title: Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen
type: conference
user_id: '52534'
volume: 18
year: '1998'
...
---
_id: '7844'
author:
- first_name: Klaus
full_name: Didrich, Klaus
last_name: Didrich
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Didrich K, Wagner A. Integration of Single Pushout Transformation and Functional
Programming. In: Proceedings of the World Conference on Integrated Design and
Process Technology (IDPT 1998), Berlin (Germany). Vol 4. Society for Design
and Process Science; 1998:65-73.'
apa: Didrich, K., & Wagner, A. (1998). Integration of Single Pushout Transformation
and Functional Programming. In Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany) (Vol. 4, pp. 65–73).
Society for Design and Process Science.
bibtex: '@inproceedings{Didrich_Wagner_1998, title={Integration of Single Pushout
Transformation and Functional Programming}, volume={4}, booktitle={Proceedings
of the World Conference on Integrated Design and Process Technology (IDPT 1998),
Berlin (Germany)}, publisher={Society for Design and Process Science}, author={Didrich,
Klaus and Wagner, Annika}, year={1998}, pages={65–73} }'
chicago: Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation
and Functional Programming.” In Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), 4:65–73. Society
for Design and Process Science, 1998.
ieee: K. Didrich and A. Wagner, “Integration of Single Pushout Transformation and
Functional Programming,” in Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), 1998, vol. 4,
pp. 65–73.
mla: Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation
and Functional Programming.” Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), vol. 4, Society
for Design and Process Science, 1998, pp. 65–73.
short: 'K. Didrich, A. Wagner, in: Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design
and Process Science, 1998, pp. 65–73.'
date_created: 2019-02-20T14:10:57Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 4'
language:
- iso: eng
page: 65-73
publication: Proceedings of the World Conference on Integrated Design and Process
Technology (IDPT 1998), Berlin (Germany)
publisher: Society for Design and Process Science
status: public
title: Integration of Single Pushout Transformation and Functional Programming
type: conference
user_id: '52534'
volume: 4
year: '1998'
...
---
_id: '7845'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Cherchago A. A generalized schema of a decision-making process of a SCENAR-therapeutist.
In: Proceedings of the Scientific and Technical Conference on Medical Information
Systems (MIS 1998), Taganrog (Russia). ; 1998.'
apa: Cherchago, A. (1998). A generalized schema of a decision-making process of
a SCENAR-therapeutist. In Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia).
bibtex: '@inproceedings{Cherchago_1998, title={A generalized schema of a decision-making
process of a SCENAR-therapeutist}, booktitle={Proceedings of the Scientific and
Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)},
author={Cherchago, Alexey}, year={1998} }'
chicago: Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of
a SCENAR-Therapeutist.” In Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
ieee: A. Cherchago, “A generalized schema of a decision-making process of a SCENAR-therapeutist,”
in Proceedings of the Scientific and Technical Conference on Medical Information
Systems (MIS 1998), Taganrog (Russia), 1998.
mla: Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of a
SCENAR-Therapeutist.” Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
short: 'A. Cherchago, in: Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.'
date_created: 2019-02-20T14:11:26Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Scientific and Technical Conference on Medical Information
Systems (MIS 1998), Taganrog (Russia)
status: public
title: A generalized schema of a decision-making process of a SCENAR-therapeutist
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '7847'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Heckel R. Compositional Verification of Reactive Systems Specified by Graph
Transformation. In: Proceedgins of the First International Conference on Fundamental
Approaches to Software Engineering (FASE 1998), Lisbon (Portugal). Vol 1382.
LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:http://dx.doi.org/10.1007/BFb0053578'
apa: 'Heckel, R. (1998). Compositional Verification of Reactive Systems Specified
by Graph Transformation. In Proceedgins of the First International Conference
on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)
(Vol. 1382, pp. 138–153). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0053578'
bibtex: '@inproceedings{Heckel_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional
Verification of Reactive Systems Specified by Graph Transformation}, volume={1382},
DOI={http://dx.doi.org/10.1007/BFb0053578},
booktitle={Proceedgins of the First International Conference on Fundamental Approaches
to Software Engineering (FASE 1998), Lisbon (Portugal)}, publisher={Springer},
author={Heckel, Reiko}, year={1998}, pages={138–153}, collection={LNCS} }'
chicago: 'Heckel, Reiko. “Compositional Verification of Reactive Systems Specified
by Graph Transformation.” In Proceedgins of the First International Conference
on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal),
1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/BFb0053578.'
ieee: R. Heckel, “Compositional Verification of Reactive Systems Specified by Graph
Transformation,” in Proceedgins of the First International Conference on Fundamental
Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), 1998, vol.
1382, pp. 138–153.
mla: Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by
Graph Transformation.” Proceedgins of the First International Conference on
Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal),
vol. 1382, Springer, 1998, pp. 138–53, doi:http://dx.doi.org/10.1007/BFb0053578.
short: 'R. Heckel, in: Proceedgins of the First International Conference on Fundamental
Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg,
1998, pp. 138–153.'
date_created: 2019-02-20T14:11:57Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BFb0053578
intvolume: ' 1382'
language:
- iso: eng
page: 138-153
place: Berlin/Heidelberg
publication: Proceedgins of the First International Conference on Fundamental Approaches
to Software Engineering (FASE 1998), Lisbon (Portugal)
publisher: Springer
series_title: LNCS
status: public
title: Compositional Verification of Reactive Systems Specified by Graph Transformation
type: conference
user_id: '52534'
volume: 1382
year: '1998'
...
---
_id: '7848'
author:
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Lars
full_name: Jansen, Lars
last_name: Jansen
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
citation:
ama: 'Padberg J, Jansen L, Heckel R, Ehrig H. Interoperability in Train Control
Systems: Specification of Scenarios Using Open Nets. In: Proceedings of the
Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany).
Society for Design and Process Science; 1998:17-28.'
apa: 'Padberg, J., Jansen, L., Heckel, R., & Ehrig, H. (1998). Interoperability
in Train Control Systems: Specification of Scenarios Using Open Nets. In Proceedings
of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany) (pp. 17–28). Society for Design and Process Science.'
bibtex: '@inproceedings{Padberg_Jansen_Heckel_Ehrig_1998, title={Interoperability
in Train Control Systems: Specification of Scenarios Using Open Nets}, booktitle={Proceedings
of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany)}, publisher={Society for Design and Process Science}, author={Padberg,
Julia and Jansen, Lars and Heckel, Reiko and Ehrig, Hartmut}, year={1998}, pages={17–28}
}'
chicago: 'Padberg, Julia, Lars Jansen, Reiko Heckel, and Hartmut Ehrig. “Interoperability
in Train Control Systems: Specification of Scenarios Using Open Nets.” In Proceedings
of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany), 17–28. Society for Design and Process Science, 1998.'
ieee: 'J. Padberg, L. Jansen, R. Heckel, and H. Ehrig, “Interoperability in Train
Control Systems: Specification of Scenarios Using Open Nets,” in Proceedings
of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany), 1998, pp. 17–28.'
mla: 'Padberg, Julia, et al. “Interoperability in Train Control Systems: Specification
of Scenarios Using Open Nets.” Proceedings of the Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design
and Process Science, 1998, pp. 17–28.'
short: 'J. Padberg, L. Jansen, R. Heckel, H. Ehrig, in: Proceedings of the Conference
on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society
for Design and Process Science, 1998, pp. 17–28.'
date_created: 2019-02-20T14:12:20Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 17-28
publication: Proceedings of the conference on Integrated Design and Process Technology
(IDPT 1998), Berlin (Germany)
publisher: Society for Design and Process Science
status: public
title: 'Interoperability in Train Control Systems: Specification of Scenarios Using
Open Nets'
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8202'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Silvia
full_name: Kolmschlag, Silvia
last_name: Kolmschlag
citation:
ama: Engels G, Kolmschlag S. Electronic Commerce Systeme Als Anwendungsbeispiel
Für Evolutionstechniken. University of Paderborn, C-LAB; 1998.
apa: Engels, G., & Kolmschlag, S. (1998). Electronic Commerce Systeme als
Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB.
bibtex: '@book{Engels_Kolmschlag_1998, title={Electronic Commerce Systeme als Anwendungsbeispiel
für Evolutionstechniken}, publisher={University of Paderborn, C-LAB}, author={Engels,
Gregor and Kolmschlag, Silvia}, year={1998} }'
chicago: Engels, Gregor, and Silvia Kolmschlag. Electronic Commerce Systeme Als
Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB,
1998.
ieee: G. Engels and S. Kolmschlag, Electronic Commerce Systeme als Anwendungsbeispiel
für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
mla: Engels, Gregor, and Silvia Kolmschlag. Electronic Commerce Systeme Als Anwendungsbeispiel
Für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
short: G. Engels, S. Kolmschlag, Electronic Commerce Systeme Als Anwendungsbeispiel
Für Evolutionstechniken, University of Paderborn, C-LAB, 1998.
date_created: 2019-03-03T16:12:59Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, C-LAB
report_number: 06/98
status: public
title: Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken
type: report
user_id: '52534'
year: '1998'
...
---
_id: '8280'
author:
- first_name: Silvia
full_name: Kolmschlag, Silvia
last_name: Kolmschlag
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Kolmschlag S, Engels G. Unterstützung der Flexibilität eines Electronic Commerce
Systems durch Evolutionstechniken. In: Proceedings of the Workshop on “Integration
Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik
1998), Magdeburg (Germany). GI; 1998:13-24.'
apa: Kolmschlag, S., & Engels, G. (1998). Unterstützung der Flexibilität eines
Electronic Commerce Systems durch Evolutionstechniken. In Proceedings of the
workshop on “Integration heterogener Softwaresysteme” (satellite event of the
GI-Jahrestagung Informatik 1998), Magdeburg (Germany) (pp. 13–24). GI.
bibtex: '@inproceedings{Kolmschlag_Engels_1998, title={Unterstützung der Flexibilität
eines Electronic Commerce Systems durch Evolutionstechniken}, booktitle={Proceedings
of the workshop on “Integration heterogener Softwaresysteme” (satellite event
of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)}, publisher={GI},
author={Kolmschlag, Silvia and Engels, Gregor}, year={1998}, pages={13–24} }'
chicago: Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität
Eines Electronic Commerce Systems Durch Evolutionstechniken.” In Proceedings
of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event
of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), 13–24. GI, 1998.
ieee: S. Kolmschlag and G. Engels, “Unterstützung der Flexibilität eines Electronic
Commerce Systems durch Evolutionstechniken,” in Proceedings of the workshop
on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung
Informatik 1998), Magdeburg (Germany), 1998, pp. 13–24.
mla: Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines
Electronic Commerce Systems Durch Evolutionstechniken.” Proceedings of the
Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the
GI-Jahrestagung Informatik 1998), Magdeburg (Germany), GI, 1998, pp. 13–24.
short: 'S. Kolmschlag, G. Engels, in: Proceedings of the Workshop on “Integration
Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik
1998), Magdeburg (Germany), GI, 1998, pp. 13–24.'
date_created: 2019-03-04T12:25:47Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 13-24
publication: Proceedings of the workshop on "Integration heterogener Softwaresysteme"
(satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)
publisher: GI
status: public
title: Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8281'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Corradini A, Große-Rhode M, Heckel R. Structured Transition Systems as Lax
Coalgebras. In: Proceedings of the First Workshop on Coalgebraic Methods in
Computer Science (CMCS 1998), Lisbon (Portugal). Vol 11. Electronic Notes
in Theoretical Computer Science. Elsevier; 1998.'
apa: Corradini, A., Große-Rhode, M., & Heckel, R. (1998). Structured Transition
Systems as Lax Coalgebras. In Proceedings of the First Workshop on Coalgebraic
Methods in Computer Science (CMCS 1998), Lisbon (Portugal) (Vol. 11). Elsevier.
bibtex: '@inproceedings{Corradini_Große-Rhode_Heckel_1998, series={Electronic Notes
in Theoretical Computer Science}, title={Structured Transition Systems as Lax
Coalgebras}, volume={11}, booktitle={Proceedings of the First Workshop on Coalgebraic
Methods in Computer Science (CMCS 1998), Lisbon (Portugal)}, publisher={Elsevier},
author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1998},
collection={Electronic Notes in Theoretical Computer Science} }'
chicago: Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “Structured Transition
Systems as Lax Coalgebras.” In Proceedings of the First Workshop on Coalgebraic
Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Vol. 11. Electronic
Notes in Theoretical Computer Science. Elsevier, 1998.
ieee: A. Corradini, M. Große-Rhode, and R. Heckel, “Structured Transition Systems
as Lax Coalgebras,” in Proceedings of the First Workshop on Coalgebraic Methods
in Computer Science (CMCS 1998), Lisbon (Portugal), 1998, vol. 11.
mla: Corradini, Andrea, et al. “Structured Transition Systems as Lax Coalgebras.”
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science
(CMCS 1998), Lisbon (Portugal), vol. 11, Elsevier, 1998.
short: 'A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop
on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier,
1998.'
date_created: 2019-03-04T12:25:48Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 11'
language:
- iso: eng
publication: Proceedings of the First Workshop on Coalgebraic Methods in Computer
Science (CMCS 1998), Lisbon (Portugal)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Structured Transition Systems as Lax Coalgebras
type: conference
user_id: '52534'
volume: 11
year: '1998'
...
---
_id: '8282'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Berthold
full_name: Hoffmann, Berthold
last_name: Hoffmann
- first_name: Peter
full_name: Knirsch, Peter
last_name: Knirsch
- first_name: Sabine
full_name: Kuske, Sabine
last_name: Kuske
citation:
ama: 'Heckel R, Hoffmann B, Knirsch P, Kuske S. Simple Modules for Grace. In: Selected
Papers of the 6th International Workshop on Theory and Application of Graph Transformation
(TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer;
1998:215-224.'
apa: 'Heckel, R., Hoffmann, B., Knirsch, P., & Kuske, S. (1998). Simple Modules
for Grace. In Selected papers of the 6th International Workshop on Theory and
Application of Graph Transformation (TAGT 1998), Paderborn (Germany) (Vol.
1764, pp. 215–224). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Heckel_Hoffmann_Knirsch_Kuske_1998, place={Berlin/Heidelberg},
series={LNCS}, title={Simple Modules for Grace}, volume={1764}, booktitle={Selected
papers of the 6th International Workshop on Theory and Application of Graph Transformation
(TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Heckel, Reiko
and Hoffmann, Berthold and Knirsch, Peter and Kuske, Sabine}, year={1998}, pages={215–224},
collection={LNCS} }'
chicago: 'Heckel, Reiko, Berthold Hoffmann, Peter Knirsch, and Sabine Kuske. “Simple
Modules for Grace.” In Selected Papers of the 6th International Workshop on
Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany),
1764:215–24. LNCS. Berlin/Heidelberg: Springer, 1998.'
ieee: R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske, “Simple Modules for Grace,”
in Selected papers of the 6th International Workshop on Theory and Application
of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998, vol. 1764,
pp. 215–224.
mla: Heckel, Reiko, et al. “Simple Modules for Grace.” Selected Papers of the
6th International Workshop on Theory and Application of Graph Transformation (TAGT
1998), Paderborn (Germany), vol. 1764, Springer, 1998, pp. 215–24.
short: 'R. Heckel, B. Hoffmann, P. Knirsch, S. Kuske, in: Selected Papers of the
6th International Workshop on Theory and Application of Graph Transformation (TAGT
1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 215–224.'
date_created: 2019-03-04T12:25:50Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 215-224
place: Berlin/Heidelberg
publication: Selected papers of the 6th International Workshop on Theory and Application
of Graph Transformation (TAGT 1998), Paderborn (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Simple Modules for Grace
type: conference
user_id: '52534'
volume: '1764 '
year: '1998'
...