Automata-Based Behavioural Contracts with Action Correlation
| Autor: | Rosario Pugliese, Gian Luigi Ferrari, Francesco Tiezzi, Pierpaolo Degano, Davide Basile |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Correctness
business.industry Computer science 0102 computer and information sciences 02 engineering and technology computer.software_genre 01 natural sciences Automaton Formalism (philosophy of mathematics) 010201 computation theory & mathematics 020204 information systems 0202 electrical engineering electronic engineering information engineering Web service Software engineering business computer Primary research |
| Zdroj: | From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848 From Software Engineering to Formal Methods and Tools, and Back |
| Popis: | The 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|