Part of the Lecture Notes in Computer Science book series (LNCS, volume 11865)AbstractThe rigorous design of Service-Oriented Computing (SOC) applications has been identified as one of the primary research challenges for the next 10 years. Many foundational theories for SOC have been defined, but they often rely on mechanisms different from real-world SOC technologies, hindering actual service modelling and verification. In this paper, we propose a novel automata-based formalism of service contracts equipped with a mechanism, inspired by current web service technologies, exploiting correlation data to drive service interactions and with formal foundations enabling reasoning about service correctness.
Automata-based behavioural contracts with action correlation
Basile D.;
2019
Abstract
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11865)AbstractThe rigorous design of Service-Oriented Computing (SOC) applications has been identified as one of the primary research challenges for the next 10 years. Many foundational theories for SOC have been defined, but they often rely on mechanisms different from real-world SOC technologies, hindering actual service modelling and verification. In this paper, we propose a novel automata-based formalism of service contracts equipped with a mechanism, inspired by current web service technologies, exploiting correlation data to drive service interactions and with formal foundations enabling reasoning about service correctness.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_412706-doc_146899.pdf
accesso aperto
Descrizione: This is the Submitted version (preprint) of the following paper: Basile D. et al. “Automata-Based Behavioural Contracts with Action Correlation”, submitted to “From Software Engineering to Formal Methods and Tools, and Back”, 2019. The final published version is available on the publisher’s website https://link.springer.com/chapter/10.1007/978-3-030-30985-5_9.
Tipologia:
Documento in Pre-print
Licenza:
Nessuna licenza dichiarata (non attribuibile a prodotti successivi al 2023)
Dimensione
272.29 kB
Formato
Adobe PDF
|
272.29 kB | Adobe PDF | Visualizza/Apri |
|
978-3-030-30985-5_9.pdf
solo utenti autorizzati
Descrizione: Automata-Based Behavioural Contracts with Action Correlation
Tipologia:
Versione Editoriale (PDF)
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
697.54 kB
Formato
Adobe PDF
|
697.54 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
