Davide Basile
ABSTRACT
In Service Oriented Computing (SOC) contracts characterise the behavioural conformance of a composition of services and guarantee that the composition does not lead to spurious results. Variability features can enable services to adapt to customer requirements and to changes in the context in which they execute.
We extend a recently introduced formal model of service contracts to specify variability mechanisms in a composition of services. Necessary and permitted service requests can be defined and triggered to increase adaptability. The compositional rules of the original formalism are enriched to fulfil all necessary requirements and the maximal number of permitted ones.
- Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability, pp. 43--58. Springer Berlin Heidelberg, Berlin, Heidelberg (2010)Google Scholar
- Azzopardi, S., Pace, G.J., Schapachnik, F., Schneider, G.: Contract automata. Artificial Intelligence and Law 24(3), 203--243 (2016) Google ScholarDigital Library
- Bartoletti, M., Cimoli, T., Zunino, R.: Compliance in behavioural contracts: A brief survey. In: Essays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 9465. pp. 103--121. Springer-Verlag (2015) Google ScholarDigital Library
- Basile, D., Degano, P., Ferrari, G., Tuosto, E.: Relating two automata-based models of orchestration and choreography. Journal of Logical and Algebraic Methods in Programming 85(3), 425--446 (2016), http://www.sciencedirect.com/science/article/pii/S2352220815000930 Google ScholarCross Ref
- Basile, D., Chiaradonna, S., Giandomenico, F.D., Gnesi, S.: A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. Journal of Rail Transport Planning & Management 6(2), 163 -- 181 (2016), http://www.sciencedirect.com/science/article/pii/S2210970616300051 Google ScholarCross Ref
- Basile, D., Degano, P., Ferrari, G.L.: A formal framework for secure and complying services. The Journal of Supercomputing 69(1), 43--52 (2014) Google ScholarDigital Library
- Basile, D., Degano, P., Ferrari, G.L.: Automata for specifying and orchestrating service contracts. CoRR abs/1607.08363 (2016), http://arxiv.org/abs/1607.08363Google Scholar
- Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.: Playing with Our CAT and Communication-Centric Applications, pp. 62--73. Springer International Publishing, Cham (2016) Google ScholarDigital Library
- ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. Journal of Logical and Algebraic Methods in Programming 85(2), 287 -- 315 (2016), http://www.sciencedirect.com/science/article/pii/S2352220815001431 Google ScholarCross Ref
- ter Beek, M.H., Reniers, M.A., de Vink, E.P.: Supervisory controller synthesis for product lines using CIF 3. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings, Part I. pp. 856--873 (2016)Google Scholar
- Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA (2006)Google Scholar
- Larsen, K.G., Nyman, U., Wąsowski, A.: Modal I/O Automata for Interface and Product Line Theories, pp. 64--79. Springer Berlin Heidelberg (2007) Google ScholarCross Ref
- Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. Computer 40(11), 38--45 (Nov 2007) Google ScholarDigital Library
Index Terms
- Specifying variability in service contracts
Recommendations
Controller synthesis of service contracts with variability
AbstractService contracts characterise the desired behavioural compliance of a composition of services. Compliance is typically defined by the fulfilment of all service requests through service offers, as dictated by a given Service-Level ...
Interface decomposition for service compositions
ICSE '11: Proceedings of the 33rd International Conference on Software EngineeringService-based applications can be realized by composing existing services into new, added-value composite services. The external services with which a service composition interacts are usually known by means of their syntactical interface. However, an ...
Towards Mobile Data Streaming in Service Oriented Architecture
SRDS '10: Proceedings of the 2010 29th IEEE Symposium on Reliable Distributed SystemsService Oriented Architecture (SOA) is an architectural pattern providing agility to align technical solutions to modular business services that are decoupled from service consumers. Service capabilities such as interface options, quality of service (...
Comments