TY - RPRT
T1 - Orchestrating with Contracts
AU - Kiniry, Joseph Roland
AU - Martinez, Josu
N1 - Minus ISBN nummer. Forfatterne ikke længere på ITU. Jeg godkender. 5.7.13 haal
PY - 2012
Y1 - 2012
N2 - Our domain of interest is self-healing systems. We wish to reason about the behavior of statically and dynamically composed systems. The orchestration language Orc permits one to write programs that compose such systems. Unfortunately, Orc's semantics make no assumptions about the behavior of the units under composition. Orc is an executable language, and in the Orc system, units are realized as methods implemented in the Java programming language. Since Java methods' behavior can be formally specified with the Java Modeling Language (JML), then the behavior of an Orc program can be reasoned about via a synthesis of the semantics of Orc and JML.
AB - Our domain of interest is self-healing systems. We wish to reason about the behavior of statically and dynamically composed systems. The orchestration language Orc permits one to write programs that compose such systems. Unfortunately, Orc's semantics make no assumptions about the behavior of the units under composition. Orc is an executable language, and in the Orc system, units are realized as methods implemented in the Java programming language. Since Java methods' behavior can be formally specified with the Java Modeling Language (JML), then the behavior of an Orc program can be reasoned about via a synthesis of the semantics of Orc and JML.
KW - Self-healing systems
KW - Orchestration languages
KW - Orc language
KW - Java Modeling Language (JML)
KW - System behavior reasoning
M3 - Report
BT - Orchestrating with Contracts
ER -