Orchestrating with Contracts

Joseph Roland Kiniry, Josu Martinez

    Publikation: Bog / Antologi / Rapport › Rapport › Forskning

    Abstract

    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.
    OriginalsprogEngelsk
    StatusUdgivet - 2012

    Emneord

    • Self-healing systems
    • Orchestration languages
    • Orc language
    • Java Modeling Language (JML)
    • System behavior reasoning

    Adgang til dokumentet

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Orchestrating with Contracts'. Sammen danner de et unikt fingeraftryk.
    Se fuldt fingeraftryk

    • FRESH: Self-healing Systems

      Kiniry, J. R. (PI) & Martinez, J. (PI)

      01/01/2010 → 01/01/2012

      Projekter: Projekt › Forskning

    Citationsformater