On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Languages, automata, and logic
Handbook of formal languages, vol. 3
Dynamic Logic
Infinite Games and Verification (Extended Abstract of a Tutorial)
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
An Automata-Theoretic Approach to Fair Realizability and Synthesis
Proceedings of the 7th International Conference on Computer Aided Verification
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Retrieving and Semantically Integrating Heterogeneous Data from the Web
IEEE Intelligent Systems
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
A dynamic and reactive approach to the supervision of BPEL processes
ISEC '08 Proceedings of the 1st India software engineering conference
Semantics-based composition-oriented discovery of Web services
ACM Transactions on Internet Technology (TOIT)
Minimum-cost delegation in service composition
Theoretical Computer Science
Dynamic Web Services Provisioning with Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Timed Properties-Aware Asynchronous Web Service Composition
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Towards Correctness Assurance in Adaptive Service-Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Having Services "YourWay!": Towards User-Centric Composition of Mobile Services
Future Internet --- FIS 2008
Synthesis and Composition of Web Services
Formal Methods for Web Services
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Business process monitoring for dependability
Architecting dependable systems IV
On the semantics of service compositions
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Modelling and automated composition of user-centric services
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On nondeterministic workflow executions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Implicit vs. explicit data-flow requirements in web service composition goals
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
Requirements for automated service composition
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Hi-index | 0.00 |
In [3] we started studying an advanced form of service composition where available services were modeled as deterministic finite transition systems, describing the possible conversations they can have with clients, and where the client request was itself expressed as a (virtual) service making use of the same alphabet of actions. In [4] we extended our studies by considering the case in which the client request was loosen by allowing don’t care nondeterminism in expressing the required target service. In the present paper we complete such a line of investigation, by considering the case in which the available services are only partially controllable and must be modeled as nondeterministic finite transition systems, possibly because of our lack of information on their exact behavior. Notably such services display a “devilish” form of nondeterminism, since we want to model the inability of the orchestrator to actually choose between different executions of the same action. We investigate how to automatically perform the synthesis of the composition under these circumstances.