A Runtime Environment for Contract Automata

Avatar
davide-basile
Software Engineering

Authors

Davide Basile, Maurice H. ter Beek

Abstract

Contract automata have been introduced for specifying applications through behavioural contracts and for synthesising their orchestrations as finite state automata. This paper addresses the realisation of applications from contract automata specifications. We present {\tt CARE}, a new runtime environment to coordinate services implementing contracts that guarantees the adherence of the implementation to its contract. We discuss how {\tt CARE} can be adopted to realise contract-based applications, its formal guarantees, and we identify the responsibilities of the involved business actors. Experiments show the benefits of adopting {\tt CARE} with respect to manual implementations.

0 comments

Add comment
Recommended SciCasts
Adhesive Tape Microfluidics with an Autofocusing Module That Incorporates CRISPR Interference: Applications to Long-Term Bacterial Antibiotic Studies
Avatar
Santosh Pandey9 views
Adhesive Tape Microfluidics with an Autofocusing Module That Incorporates CRISPR Interference: Applications to Long-Term Bacterial Antibiotic Studies
Effective drug combination for Caenorhabditis elegans nematodes discovered by output-driven feedback system control technique
Avatar
Santosh Pandey12 views
Effective drug combination for Caenorhabditis elegans nematodes discovered by output-driven feedback system control technique
Quantum spin ice in three-dimensional Rydberg atom arrays
Avatar
vmgalitski472 views
Quantum spin ice in three-dimensional Rydberg atom arrays
Engineering higher-temperature superconductivity
Avatar
ScienceCast Board 122 views
Engineering higher-temperature superconductivity
Parameter-extraction of a two-compartment model for whole-cell data analysis
Avatar
Santosh Pandey13 views
Parameter-extraction of a two-compartment model for whole-cell data analysis
Interaction-driven breakdown of dynamical localization in a kicked quantum gas
Avatar
ScienceCast Board 151 views
Interaction-driven breakdown of dynamical localization in a kicked quantum gas
A fast, reconfigurable flow switch for paper microfluidics based on selective wetting of folded paper actuator strips
Avatar
Santosh Pandey20 views
A fast, reconfigurable flow switch for paper microfluidics based on selective wetting of folded paper actuator strips
The Augmentation-Speed Tradeoff for Consistent Network Updates
Avatar
pourdamghani108 views
The Augmentation-Speed Tradeoff for Consistent Network Updates
Measurement-based time evolution for quantum simulation of fermionic systems
Avatar
Vito Scarola123 views
Measurement-based time evolution for quantum simulation of fermionic systems
Quantum simulation costs for Suzuki-Trotter decomposition of quantum many-body lattice models
Avatar
myersn128 views
Quantum simulation costs for Suzuki-Trotter decomposition of quantum many-body lattice models
A Generic Topological Criterion for Flat Bands in Two Dimensions
Avatar
Alireza Parhizkar540 views
A Generic Topological Criterion for Flat Bands in Two Dimensions
The Temperature of Hot Gas in the Universe
Avatar
Eiichiro Komatsu102 views
The Temperature of Hot Gas in the Universe
Effect of magnetic field on the fermentation kinetics of Saccharomyces cerevisiae
Avatar
Santosh Pandey19 views
Effect of magnetic field on the fermentation kinetics of Saccharomyces cerevisiae
Statistical strong lensing. II. Cosmology and galaxy structure with time-delay lenses
Avatar
Alessandro Sonnenfeld75 views
Statistical strong lensing. II. Cosmology and galaxy structure with time-delay lenses
Quantum chemistry on quantum annealers
Avatar
afizmaylov103 views
Quantum chemistry on quantum annealers
EGRU: Event-based GRU for activity-sparse inference and learning
Avatar
anand-subramoney181 views
EGRU: Event-based GRU for activity-sparse inference and learning
Scar states in a system of interacting chiral fermions
Avatar
Ivar Martin120 views
Scar states in a system of interacting chiral fermions
Surrogate "Level-Based" Lagrangian Relaxation for Mixed-Integer Linear Programming
Avatar
mbragin184 views
Surrogate "Level-Based" Lagrangian Relaxation for Mixed-Integer Linear Programming
Noise-tolerant quantum speedups in quantum annealing without fine-tuning
Avatar
vadim-oganesyan149 views
Noise-tolerant quantum speedups in quantum annealing without fine-tuning
Skin Cancer Diagnostics with an All-Inclusive Smartphone Application
Avatar
Santosh Pandey11 views
Skin Cancer Diagnostics with an All-Inclusive Smartphone Application
TAU: A Framework for Video-Based Traffic Analytics Leveraging Artificial Intelligence and Unmanned Aerial Systems
Avatar
bilel-android82 views
TAU: A Framework for Video-Based Traffic Analytics Leveraging Artificial Intelligence and Unmanned Aerial Systems
Scan4CFU: Low-cost, open-source bacterial colony tracking over large areas and extended incubation times
Avatar
Santosh Pandey10 views
Scan4CFU: Low-cost, open-source bacterial colony tracking over large areas and extended incubation times
Characterization of a MEMS BioChip for planar patch-clamp recording
Avatar
Santosh Pandey12 views
Characterization of a MEMS BioChip for planar patch-clamp recording
Cartan subalgebra approach to efficient measurements of quantum observables
Avatar
afizmaylov147 views
Cartan subalgebra approach to efficient measurements of quantum observables
Parameter-extraction of a two-compartment model for whole-cell data analysis
Avatar
Santosh Pandey15 views
Parameter-extraction of a two-compartment model for whole-cell data analysis
Measurements in the Variational Quantum Eigensolver: Fluid Fermionic Fragments and Ghost Pauli Products
Avatar
afizmaylov162 views
Measurements in the Variational Quantum Eigensolver: Fluid Fermionic Fragments and Ghost Pauli Products
Unitary transformation of the electronic Hamiltonian with an exact quadratic truncation of the Baker-Campbell-Hausdorff expansion
Avatar
afizmaylov123 views
Unitary transformation of the electronic Hamiltonian with an exact quadratic truncation of the Baker-Campbell-Hausdorff expansion
Introduction to ScienceCast
Avatar
Christine 153 views
Introduction to ScienceCast
Multi-Label Chest X-Ray Classification via Deep Learning
Avatar
pillai-aravinds185 views
Multi-Label Chest X-Ray Classification via Deep Learning
Dynamic Membership for Regular Languages
Avatar
a3nm-sciencecast156 views
Dynamic Membership for Regular Languages
The dark matter halo masses of elliptical galaxies as a function of observationally robust quantities
Avatar
Alessandro Sonnenfeld47 views
The dark matter halo masses of elliptical galaxies as a function of observationally robust quantities
SoK: Yield Aggregators in DeFi
Avatar
Jiahua Xu178 views
SoK: Yield Aggregators in DeFi
Dynamic spin-triplet order induced by alternating electric fields in superconductor-ferromagnet-superconductor Josephson junctions
Avatar
mikesilaev270 views
Dynamic spin-triplet order induced by alternating electric fields in superconductor-ferromagnet-superconductor Josephson junctions
Flexible and disposable paper and plastic based gel micropads for nematode handling, imaging, and chemical testing
Avatar
Santosh Pandey22 views
Flexible and disposable paper and plastic based gel micropads for nematode handling, imaging, and chemical testing
Casimir effect across a phase transition
Avatar
ScienceCast Board 101 views
Casimir effect across a phase transition
Assessment of various Hamiltonian partitionings for the electronic structure problem on a quantum computer using the Trotter approximation
Avatar
afizmaylov146 views
Assessment of various Hamiltonian partitionings for the electronic structure problem on a quantum computer using the Trotter approximation
Microfluidic bioassay to characterize parasitic nematode phenotype and anthelmintic resistance
Avatar
Santosh Pandey21 views
Microfluidic bioassay to characterize parasitic nematode phenotype and anthelmintic resistance
Superconductivity with broken time-reversal symmetry inside a superconducting s-wave state
Avatar
mikesilaev191 views
Superconductivity with broken time-reversal symmetry inside a superconducting s-wave state
Dynamical Mean-Field Theory for Markovian Lattice Models
Avatar
Orazio Scarlatella312 views
Dynamical Mean-Field Theory for Markovian Lattice Models
Chiral Anomaly in Interacting Condensed Matter Systems
Avatar
Alireza Parhizkar100 views
Chiral Anomaly in Interacting Condensed Matter Systems
The ANITA Anomalous Events as Signatures of a Beyond Standard Model Particle, and Supporting Observations from IceCube
Avatar
ScienceCast Board 140 views
The ANITA Anomalous Events as Signatures of a Beyond Standard Model Particle, and Supporting Observations from IceCube
Spin-plasma waves
Avatar
dmitry-efimkin145 views
Spin-plasma waves
Reposing Humans by Warping 3D Features
Avatar
istvan-sarandi157 views
Reposing Humans by Warping 3D Features
Possible time-reversal-symmetry-breaking fermionic quadrupling condensate in twisted bilayer graphene
Avatar
ilaria-maccari431 views
Possible time-reversal-symmetry-breaking fermionic quadrupling condensate in twisted bilayer graphene
On the order problem in construction of unitary operators for the Variational Quantum Eigensolver
Avatar
afizmaylov144 views
On the order problem in construction of unitary operators for the Variational Quantum Eigensolver
Analytic gradients in variational quantum algorithms: Algebraic extensions of the parameter-shift rule to general unitary transformations
Avatar
afizmaylov113 views
Analytic gradients in variational quantum algorithms: Algebraic extensions of the parameter-shift rule to general unitary transformations
Interplay between superconductivity and magnetic fluctuations in iron pnictide RbEuFe4As4
Avatar
koshelev138 views
Interplay between superconductivity and magnetic fluctuations in iron pnictide RbEuFe4As4
DeepCPG Policies for Robot Locomotion
Avatar
deshpaad72 views
DeepCPG Policies for Robot Locomotion
Statistical strong lensing. IV. Inferences with no individual source redshifts
Avatar
Alessandro Sonnenfeld52 views
Statistical strong lensing. IV. Inferences with no individual source redshifts
Reincarnating Reinforcement Learning: Reusing Prior Computation to Accelerate Progress
Avatar
rishabhagarwal-467221 views
Reincarnating Reinforcement Learning: Reusing Prior Computation to Accelerate Progress
New Extraction of the Cosmic Birefringence from the Planck 2018 Polarization Data
Avatar
Eiichiro Komatsu243 views
New Extraction of the Cosmic Birefringence from the Planck 2018 Polarization Data
Engineering prethermal symmetric Hamiltonians with polyfractal driving
Avatar
Ivar Martin142 views
Engineering prethermal symmetric Hamiltonians with polyfractal driving
Unidirectional, electrotactic-response valve for Caenorhabditis elegans in microfluidic devices
Avatar
Santosh Pandey13 views
Unidirectional, electrotactic-response valve for Caenorhabditis elegans in microfluidic devices
Reducing molecular electronic Hamiltonian simulation cost for Linear Combination of Unitaries approaches
Avatar
afizmaylov217 views
Reducing molecular electronic Hamiltonian simulation cost for Linear Combination of Unitaries approaches
Dynamics of photo-induced ferromagnetism in oxides with orbital degeneracy
Avatar
Jonathan Curtis165 views
Dynamics of photo-induced ferromagnetism in oxides with orbital degeneracy
A simple model for strange metallic behaviour
Avatar
ayan156 views
A simple model for strange metallic behaviour
Spin waves and high-frequency response in layered superconductors with helical magnetic structure
Avatar
koshelev182 views
Spin waves and high-frequency response in layered superconductors with helical magnetic structure
On the Nature and Types of Anomalies: A Review of Deviations in Data
Avatar
Ralph Foorthuis36 views
On the Nature and Types of Anomalies: A Review of Deviations in Data
How to define quantum mean-field solvable Hamiltonians using Lie algebras
Avatar
afizmaylov131 views
How to define quantum mean-field solvable Hamiltonians using Lie algebras
Evidence for suppression of growth of structure
Avatar
nhat-minh-nguyen-11164 views
Evidence for suppression of growth of structure
Video Capsule Endoscopy and Ingestible Electronics: Emerging Trends in Sensors, Circuits, Materials, Telemetry, Optics, and Rapid Reading Software
Avatar
Santosh Pandey12 views
Video Capsule Endoscopy and Ingestible Electronics: Emerging Trends in Sensors, Circuits, Materials, Telemetry, Optics, and Rapid Reading Software
ScienceCast/arXiv collaboration: What is ScienceCast & how to use it?
Avatar
ScienceCast Board 165 views
ScienceCast/arXiv collaboration: What is ScienceCast & how to use it?
Open Droplet Microfluidics for Testing Multi-Drug Resistance and Antibiotic Resilience in Bacteria
Avatar
Santosh Pandey11 views
Open Droplet Microfluidics for Testing Multi-Drug Resistance and Antibiotic Resilience in Bacteria
Strongly-Correlated Electron-Photon Systems
Avatar
ScienceCast Board 126 views
Strongly-Correlated Electron-Photon Systems
Evidence of near-ambient superconductivity in a N-doped lutetium hydride
Avatar
ScienceCast Board 136 views
Evidence of near-ambient superconductivity in a N-doped lutetium hydride
Sweat sensing in the smart wearables era: Towards integrative, multifunctional and body-compliant perspiration analysis
Avatar
Santosh Pandey12 views
Sweat sensing in the smart wearables era: Towards integrative, multifunctional and body-compliant perspiration analysis
Simulation of biological ion channels with technology computer-aided design
Avatar
Santosh Pandey19 views
Simulation of biological ion channels with technology computer-aided design
Microfluidics enabled method to identify modes of Caenorhabditis elegans paralysis in four anthelmintics
Avatar
Santosh Pandey19 views
Microfluidics enabled method to identify modes of Caenorhabditis elegans paralysis in four anthelmintics
The effects of short term hypergravity on Caenorhabditis elegans
Avatar
Santosh Pandey20 views
The effects of short term hypergravity on Caenorhabditis elegans
Folded floating-gate CMOS biosensor for the detection of charged biochemical molecules
Avatar
Santosh Pandey12 views
Folded floating-gate CMOS biosensor for the detection of charged biochemical molecules
The Anatomy of a Cryptocurrency Pump-and-Dump Scheme
Avatar
Jiahua Xu126 views
The Anatomy of a Cryptocurrency Pump-and-Dump Scheme
Amplitude modulated sinusoidal microchannels for observing adaptability in C. elegans locomotion
Avatar
Santosh Pandey11 views
Amplitude modulated sinusoidal microchannels for observing adaptability in C. elegans locomotion
Multiparameter behavioral analyses provide insights to mechanisms of cyanide resistance in caenorhabditis elegans
Avatar
Santosh Pandey15 views
Multiparameter behavioral analyses provide insights to mechanisms of cyanide resistance in caenorhabditis elegans
Statistical strong lensing. I. Constraints on the inner structure of galaxies from samples of a thousand lenses
Avatar
Alessandro Sonnenfeld87 views
Statistical strong lensing. I. Constraints on the inner structure of galaxies from samples of a thousand lenses
Learning 3D Human Pose Estimation from Dozens of Datasets using a Geometry-Aware Autoencoder to Bridge Between Skeleton Formats
Avatar
istvan-sarandi110 views
Learning 3D Human Pose Estimation from Dozens of Datasets using a Geometry-Aware Autoencoder to Bridge Between Skeleton Formats
Field theory approach to eigenstate thermalization in random quantum circuits
Avatar
liao140 views
Field theory approach to eigenstate thermalization in random quantum circuits
Liquidations: DeFi on a Knife-edge
Avatar
Jiahua Xu130 views
Liquidations: DeFi on a Knife-edge
COVID-19 Testing and Diagnostics: A Review of Commercialized Technologies for Cost, Convenience and Quality of Tests
Avatar
Santosh Pandey14 views
COVID-19 Testing and Diagnostics: A Review of Commercialized Technologies for Cost, Convenience and Quality of Tests
Strongly-Correlated Electron-Photon Systems
Avatar
ScienceCast Board 122 views
Strongly-Correlated Electron-Photon Systems
NephroNet: A Novel Program for Identifying Renal Cell Carcinoma and Generating Synthetic Training Images with Convolutional Neural Networks and Diffusion Models
Avatar
Yashvir Sabharwal105 views
NephroNet: A Novel Program for Identifying Renal Cell Carcinoma and Generating Synthetic Training Images with Convolutional Neural Networks and Diffusion Models
Moiré Gravity and Cosmology
Avatar
ScienceCast Board 96 views
Moiré Gravity and Cosmology
Efficient Quantum Circuit Preparation of Resonating Valence Bond States
Avatar
Vito Scarola109 views
Efficient Quantum Circuit Preparation of Resonating Valence Bond States
Deep Reinforcement Learning at the Edge of the Statistical Precipice
Avatar
rishabhagarwal-46795 views
Deep Reinforcement Learning at the Edge of the Statistical Precipice
MeTRAbs: Metric-Scale Truncation-Robust Heatmaps for Absolute 3D Human Pose Estimation
Avatar
istvan-sarandi112 views
MeTRAbs: Metric-Scale Truncation-Robust Heatmaps for Absolute 3D Human Pose Estimation
Behavioral Monitoring Tool for Pig Farmers: Ear Tag Sensors, Machine Intelligence, and Technology Adoption Roadmap
Avatar
Santosh Pandey16 views
Behavioral Monitoring Tool for Pig Farmers: Ear Tag Sensors, Machine Intelligence, and Technology Adoption Roadmap
Statistical strong lensing. III. Inferences with complete samples of lenses
Avatar
Alessandro Sonnenfeld62 views
Statistical strong lensing. III. Inferences with complete samples of lenses
Plant Microfluidic system for studying root growth and pathogenic interactions in Arabidopsis
Avatar
Santosh Pandey18 views
Plant Microfluidic system for studying root growth and pathogenic interactions in Arabidopsis
Motorized actuation system to perform droplet operations on printed plastic sheets
Avatar
Santosh Pandey49 views
Motorized actuation system to perform droplet operations on printed plastic sheets
The effect of spiral arms on the Sérsic photometry of galaxies
Avatar
Alessandro Sonnenfeld61 views
The effect of spiral arms on the Sérsic photometry of galaxies
New methods of removing debris and high-throughput counting of cyst nematode eggs extracted from field soil
Avatar
Santosh Pandey10 views
New methods of removing debris and high-throughput counting of cyst nematode eggs extracted from field soil
A primer on twistronics: A massless Dirac fermion's journey to moiré patterns and flat bands in twisted bilayer graphene
Avatar
sankalpa91 views
A primer on twistronics: A massless Dirac fermion's journey to moiré patterns and flat bands in twisted bilayer graphene
Boson Sampling for Generalized Bosons
Avatar
ScienceCast Board 131 views
Boson Sampling for Generalized Bosons
Equatorial magnetoplasma waves
Avatar
dmitry-efimkin102 views
Equatorial magnetoplasma waves
Deep Reinforcement Learning at the Edge of the Statistical Precipice
Avatar
rishabhagarwal-46799 views
Deep Reinforcement Learning at the Edge of the Statistical Precipice
Dynamical quantum ergodicity from energy level statistics
Avatar
amitv118 views
Dynamical quantum ergodicity from energy level statistics
Cosmic Birefringence in 2022
Avatar
Eiichiro Komatsu215 views
Cosmic Birefringence in 2022
A microfluidic platform for high-sensitivity, real-time drug screening on C. elegans and parasitic nematodes
Avatar
Santosh Pandey27 views
A microfluidic platform for high-sensitivity, real-time drug screening on C. elegans and parasitic nematodes
From Quantum Science to Business: Hype vs. Reality
Avatar
AQC team219 views
From Quantum Science to Business: Hype vs. Reality
Fractionalized superconductors and topological orders
Avatar
mehdi-kargarian143 views
Fractionalized superconductors and topological orders
A Runtime Environment for Contract Automata
Avatar
davide-basile37 views
A Runtime Environment for Contract Automata
SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols
Avatar
Jiahua Xu85 views
SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols
Exact wave-function dualities of quantum spin liquids
Avatar
ScienceCast Board 128 views
Exact wave-function dualities of quantum spin liquids
Interplay of superconductivity and dissipation in quantum Hall edges
Avatar
yuval-oreg102 views
Interplay of superconductivity and dissipation in quantum Hall edges
A Short Survey on Business Models of Decentralized Finance (DeFi) Protocols
Avatar
Jiahua Xu152 views
A Short Survey on Business Models of Decentralized Finance (DeFi) Protocols
Academic Perspective on Quantum Technologies
Avatar
AQC team241 views
Academic Perspective on Quantum Technologies
Strong lensing selection effects
Avatar
Alessandro Sonnenfeld61 views
Strong lensing selection effects
Robotic agricultural instrument for automated extraction of nematode cysts and eggs from soil to improve integrated pest management
Avatar
Santosh Pandey7 views
Robotic agricultural instrument for automated extraction of nematode cysts and eggs from soil to improve integrated pest management