| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Liam O'Reilly, Till Mossakowski, Markus Roggenbach |
| Herausgeber: |
Till Mossakowski, Hans-Jörg Kreowski |
| Titel: |
Compositional modelling and reasoning in an institution for processes and data |
| Buch / Sammlungs-Titel: |
WADT 2010 |
| Band: |
7137 |
| Seite(n): |
251 – 269 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2012 |
| Verleger: |
Springer |
| Abstract / Kurzbeschreibung: |
The language CspCASL combines specifications of data and processes. We
give an institution based semantics to CspCASL that allows us to re-use
the institution independent structuring mechanisms of
CASL. Furthermore, we extend CspCASL with a notion of refinement that
reconciles the differing philosophies behind the refinement notions
for CSP and CASL. We develop a compositional proof calculus for
refinement along the CASL structuring mechanisms, and demonstrate
that compositional proof techniques along parallel process
composition from the context of CSP lifts to structured CspCASL
specifications. |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/compositional-refinement.pdf |
| Schlagworte: |
CSP CASL refinement |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
27. 08. 2012 |
