Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Deciding equivalence of finite tree automata
SIAM Journal on Computing
Testing for unboundedness of FIFO channels
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Handbook of theoretical computer science (vol. B)
The grid: blueprint for a new computing infrastructure
The grid: blueprint for a new computing infrastructure
XML-based information mediation with MIX
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Model checking
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
XML with data values: typechecking revisited
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
XL: an XML programming language for web service specification and composition
Proceedings of the 11th international conference on World Wide Web
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Management of Multiple Models in an Extensible Database Design Tool
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Open Problems in Data-Sharing Peer-to-Peer Systems
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Optimizing Queries Across Diverse Data Sources
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Realizable and Unrealizable Specifications of Reactive Systems
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The Power of QDDs (Extended Abstract)
SAS '97 Proceedings of the 4th International Symposium on Static Analysis
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
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
Symbolic Protocol Verification with Queue BDDs
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Synthesizing Distributed Systems
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Exchanging intensional XML data
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Dynamic XML documents with distribution and replication
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Condor-G: A Computation Management Agent for Multi-Institutional Grids
HPDC '01 Proceedings of the 10th IEEE International Symposium on High Performance Distributed Computing
Proceedings of the 13th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
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
A model for abstract process specification, verification and composition
Proceedings of the 2nd international conference on Service oriented computing
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
A shared service terminology for online service provisioning
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Theoretical Computer Science - Implementation and application of automata
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
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Processing first-order queries under limited access patterns
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Requester-centered composition of business processes from internal and external services
Data & Knowledge Engineering - Special issue: Collaborative business process technologies
Charging for information services in Service-Oriented Architectures
BSN '05 Proceedings of the IEEE EEE05 international workshop on Business services networks
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
A Multilevel Composability Model for Semantic Web Services
IEEE Transactions on Knowledge and Data Engineering
Tools for composite web services: a short overview
ACM SIGMOD Record
Model-driven design and deployment of service-enabled web applications
ACM Transactions on Internet Technology (TOIT)
OMWSC- An Ontology-Based Model for Web Services Composition
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Tutorial: towards dynamic web services
Proceedings of the 28th international conference on Software engineering
ASDL: a wide spectrum language for designing 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
Formalizing and validating UML architecture description of web systems
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Automatic web services composition in trustaware communities
Proceedings of the 3rd ACM workshop on Secure web services
On composition and lookahead delegation of e-services modeled by automata
Theoretical Computer Science
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
A Component-Based Approach to Automated Web Service Composition
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Framework for Semantic Web Process Composition
International Journal of Electronic Commerce
Towards the composition of stateful and independent semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
A programming environment for web services
Proceedings of the 2008 ACM symposium on Applied computing
From Processes Via Workflows To Services: An Overview
Journal of Integrated Design & Process Science - Applications of formal methods
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
Querying business processes with BP-QL
Information Systems
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Joining the results of heterogeneous search engines
Information 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:
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Challenges of business service monitoring in the internet of services
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
A dual-layered model for web services representation and composition
Journal of Intelligent Information Systems
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inference Rules of Semantic Dependencies in the Enterprise Modelling
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Synthesis and Composition of Web Services
Formal Methods for Web Services
Contract-Based Discovery and Adaptation of Web Services
Formal Methods for Web Services
Set Algebra for Service Behavior: Applications and Constructions
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A semantic handling of geological modeling workflows
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Service-oriented multimedia delivery in pervasive space
WCNC'09 Proceedings of the 2009 IEEE conference on Wireless Communications & Networking Conference
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
A lower bound on web services composition
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Verifying compensating transactions
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Web services discovery and constraints composition
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Discovering web services based on probabilistic latent factor model
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Web service composition based on message schema analysis
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Context-aware multimedia processing system in a pervasive environment
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
A conceptual graph approach to semantic similarity computation method for e-service discovery
International Journal of Knowledge Engineering and Data Mining
Contract-based discovery of Web services modulo simple orchestrators
Theoretical Computer Science
Specification and verification of multi-user data-driven web applications
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Automated composition of nondeterministic stateful services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
On nondeterministic workflow executions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Verifying mediated service interactions considering expected behaviours
Journal of Network and Computer Applications
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
Seven bottlenecks to workflow reuse and repurposing
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
ESC: a tool for automatic composition of e-services based on logics of programs
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Implicit vs. explicit data-flow requirements in web service composition goals
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A minimalist approach to semantic annotations for web processes compositions
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Mining models of composite web services for performance analysis
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
QoS-Aware composition of web services: an evaluation of selection algorithms
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Web service composition using markov decision processes
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Mobile-Agent-Based web service composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
QoS-Driven web service composition with inter service conflicts
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Logical foundations for data integration
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Academic and industrial research: do their approaches differ in adding semantics to web services?
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Conversation-based specification and composition of agent services
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
A framework for the choreography of intelligent e-services
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Automatic code generation for the orchestration of web services with reo
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Multi-Level Modeling of Web Service Compositions with Transactional Properties
Journal of Database Management
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
| Hi-index | 0.00 |
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An understanding of fundamental properties of e-service composition is required in order to take full advantage of the paradigm. This paper examines proposals and standards for e-services from the perspectives of XML, data management, workflow, and process models. Key areas for study are identified, including behavioral service signatures, verification and synthesis techniques for composite services, analysis of service data manipulation commands, and XML analysis applied to service specifications. We give a sample of the relevant results and techniques in each of these areas.