Timed service contract automata
- 29 August 2019
- journal article
- research article
- Published by Springer Nature in Innovations in Systems and Software Engineering
- Vol. 16 (2) , 199-214
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata2017
- FMCAT2017
- Automata for Specifying and Orchestrating Service ContractsLogical Methods in Computer Science, 2017
- Specifying variability in service contracts2017
- Contract automataArtificial Intelligence and Law, 2016
- Playing with Our CAT and Communication-Centric Applications2016
- Compliance in Behavioural Contracts: A Brief Survey2015
- A formal framework for secure and complying servicesThe Journal of Supercomputing, 2014
- Controller Synthesis for Timed Automata 1IFAC Proceedings Volumes, 1998
- A theory of timed automataTheoretical Computer Science, 1994