Domain independence and the relational calculus
Acta Informatica
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Dynamic Logic
IEEE Intelligent Systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Access control enforcement for conversation-based web services
Proceedings of the 15th international conference on World Wide Web
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
On automated composition for web services
Proceedings of the 16th international conference on World Wide Web
A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
Information Sciences: an International Journal
Efficient execution of composite Web services exchanging intensional data
Information Sciences: an International Journal
Framework for Web service query algebra and optimization
ACM Transactions on the Web (TWEB)
Automatic annotation of Web services based on workflow definitions
ACM Transactions on the Web (TWEB)
Composite process oriented service discovery in preserving business and timed relation
Proceedings of the 2008 international workshop on Context enabled source and service selection, integration and adaptation: organized with the 17th International World Wide Web Conference (WWW 2008)
Timed Specification For Web Services Compatibility Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Complexity and composition of synthesized web services
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Distributed automatic service composition in large-scale systems
Proceedings of the second international conference on Distributed event-based systems
Approaching simple and powerful service-computing1
International Journal of Parallel, Emergent and Distributed Systems - Best Papers from the GCC 2006 Conference
Querying and monitoring distributed business processes
Proceedings of the VLDB Endowment
Dynamic composition and optimization of Web services
Distributed and Parallel Databases
Minimum-cost delegation in service composition
Theoretical Computer Science
Web Semantics: Science, Services and Agents on the World Wide Web
Specifying and enforcing high-level semantic obligation policies
Web Semantics: Science, Services and Agents on the World Wide Web
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:
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:
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Protocol-Based Web Service Composition
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Automated synthesis of composite services with correctness guarantee
Proceedings of the 18th international conference on World wide web
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Synthesis and Composition of Web Services
Formal Methods for Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Customized and Optimized Service Selection with ProtocolDB
Globe '09 Proceedings of the 2nd International Conference on Data Management in Grid and Peer-to-Peer Systems
Automatic synthesis of a global behavior from multiple distributed behaviors
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Composition of ConGolog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Component Simulation-based Substitutivity Managing QoS Aspects
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the VLDB Endowment
Service-oriented multimedia delivery in pervasive space
WCNC'09 Proceedings of the 2009 IEEE conference on Wireless Communications & Networking Conference
Planning-based configuration and management of distributed systems
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Semantic Weaving for Context-Aware Web Service Composition
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Modeling and Analyzing Web Service Behavior with Regular Flow Nets
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
A conceptual framework for composition in business process management
BIS'07 Proceedings of the 10th international conference on Business information systems
A lower bound on web services composition
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
A concurrent calculus with atomic transactions
ESOP'07 Proceedings of the 16th European conference on Programming
Chemical-inspired self-composition of competing services
Proceedings of the 2010 ACM Symposium on Applied Computing
Extending online travel agency with adaptive reservations
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
OWL-S atomic services composition with SWRL rules
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Controller/Orchestrator Synthesis via Filtration
Electronic Notes in Theoretical Computer Science (ENTCS)
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
Active knowledge: dynamically enriching RDF knowledge bases by web services
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Composition of Services with Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of orchestrators from service choreographies
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Efficiently selecting the best web services
RED'09 Proceedings of the 2nd international conference on Resource discovery
Scalable and efficient web services composition based on a relational database
Journal of Systems and Software
Towards a unified model for web services composition
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
Modeling web services by iterative reformulation of functional and non-functional requirements
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Dynamic configuring service on semantic grid
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Web service composition: an approach using effect-based reasoning
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Analysis of web services composition and substitution via CCS
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Dynamic service orchestration for SaaS application in web environment
Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication
Orchestration under security constraints
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Distributed orchestration of web services under security constraints
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
A computationally-grounded semantics for artifact-centric systems and abstraction results
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Automatic behavior composition synthesis
Artificial Intelligence
Specifying and Composing Web Services with an Environment Ontology-Based Approach
International Journal of Web Services Research
On competitive self-composition in pervasive services
Science of Computer Programming
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
| Hi-index | 0.00 |
In this paper we present Colombo, a framework in which web services are characterized in terms of (i) the atomic processes (i.e., operations) they can perform; (ii) their impact on the "real world" (modeled as a relational database); (iii) their transition-based behavior; and (iv) the messages they can send and receive (from/to other web services and "human" clients). As such, Colombo combines key elements from the standards and research literature on (semantic) web services. Using Colombo, we study the problem of automatic service composition (synthesis) and devise a sound, complete and terminating algorithm for building a composite service. Specifically, the paper develops (i) a technique for handling the data, which ranges over an infinite domain, in a finite, symbolic way, and (ii) a technique to automatically synthesize composite web services, based on Propositional Dynamic Logic.