Conditional Reactive Systems

Bruggink, H. J. Sander; Cauderlier, Raphaël; Hülsbusch, Mathias; König, Barbara

doi:10.4230/LIPIcs.FSTTCS.2011.191

Document

Conditional Reactive Systems

Authors H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König

Part of: Volume: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
License: Creative Commons Attribution-NoDerivs 3.0 Unported license
Publication Date: 2011-12-01

PDF

File

PDF

LIPIcs.FSTTCS.2011.191.pdf

Filesize: 0.54 MB
13 pages

Document Identifiers

DOI: 10.4230/LIPIcs.FSTTCS.2011.191
URN: urn:nbn:de:0030-drops-33257

Subject Classification

Keywords

reactive systems
graph transformation
graph logic
Hoare triples
critical pair analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

We lift the notion of nested application conditions from graph transformation systems to the general categorical setting of reactive systems as defined by Leifer and Milner. This serves two purposes: first, we enrich the formalism of reactive systems by adding application conditions for rules; second, it turns out that some constructions for graph transformation systems (such as computing
weakest preconditions and strongest postconditions and showing local confluence by means of critical pair analysis) can be done very elegantly in the more general setting.

Cite As Get BibTex

H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, and Barbara König. Conditional Reactive Systems. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 13, pp. 191-203, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011) https://doi.org/10.4230/LIPIcs.FSTTCS.2011.191

Author Details

H. J. Sander Bruggink

Raphaël Cauderlier

Mathias Hülsbusch

Barbara König

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail