Automata for partial binding of services

VISSANI, IGNACIO; LOPEZ POMBO, CARLOS GUSTAVO; DAVIDOVICH CABALLERO, EZEQUIEL

Egham

Workshop; Workshop on Algebraic Development Techniques - WADT 2018; 2018

Royal Holloway, University of London

Distributed software resulting from emerging paradigms such as service- oriented computing (SOC), Cloud/Fog computing and the Internet of Things are transforming the world of software systems in order to support applications able to respond and adapt to the changes of their execution environment, giving impulse to what is called the API?s economy. The underlying idea of the API?s economy is that it is possible to construct software artifacts by composing services provided by third parties and previously registered in repositories. This envisages a generation of applications running over globally available computational resources and communication infrastructure, which, at run-time, are dynamically and transparently reconfigured by the intervention of a dedicated middleware, subject to the negotiation of a Service Level Agreement ? SLA.Under this paradigm software services are accessed by their API. Thus, a key element is the existence of formal languages, together with associated analysis techniques, capable of fully expressing the API behavioral contract.