A type-theoretic framework for automated synthesis of workflows in service-oriented computing
Document Type
Conference Proceeding
Publication Date
12-1-2013
Abstract
We describe a technique for automatic synthesis of workflows in service-oriented systems from a typetheoretic specification of coordination requirements. The technique presented involves formal semantics-based, automatic synthesis of service coordination workflows from the business logic of the clients using type and effect inference. The type and effect deduction, apart from synthesizing the workflow, provides formal proofs that the business requirements of the clients in a service-oriented system are met. The service descriptions and the business requirements are specified as a set of type judgements in an (intuitionistic) type theory. Workflows can be generated from a (type and effect) inference of the requirements from the 'service theory'. © 2013 IEEE.
Publication Source (Journal or Book title)
Proceedings International Conference on Distributed Computing Systems
First Page
374
Last Page
379
Recommended Citation
Peralta, M., Mukhopadhyay, S., & Bharadwaj, R. (2013). A type-theoretic framework for automated synthesis of workflows in service-oriented computing. Proceedings International Conference on Distributed Computing Systems, 374-379. https://doi.org/10.1109/ICDCSW.2013.58