Petr nets, algebras, morphisms, and compositionality
Information and Computation
Problems concerning fairness and temporal logic for conflict-free Petri nets
Theoretical Computer Science
Information and Computation
Fast planning through planning graph analysis
Artificial Intelligence
Woflan: a Petri-net-based workflow analyzer
Systems Analysis Modelling Simulation
The essence of the process specification language
Transactions of the Society for Computer Simulation International - modeling and simulation in manufacturing
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Computational complexity of planning and approximate planning in the presence of incompleteness
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
BizTalk Server: The Complete Reference with Cdrom
BizTalk Server: The Complete Reference with Cdrom
IEEE Intelligent Systems
IEEE Intelligent Systems
Reasoning About Actions in Narrative Understanding
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Unifying SAT-based and Graph-based Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Complexity Results for 1-safe Nets
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Concurrent Execution Semantics of DAML-S with Subtypes
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Shortest Paths in Reachability Graphs
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Foundations for service ontologies: aligning OWL-S to dolce
Proceedings of the 13th international conference on World Wide Web
Invited talk: towards declarative programming for web services
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Invited talk: towards declarative programming for web services
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ODE SWS: A Framework for Designing and Composing Semantic Web Services
IEEE Intelligent Systems
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Querying business processes with BP-QL
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Question answering based on semantic structures
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Analysis of business process integration in Web service context
Future Generation Computer Systems
Foundations and Trends in Web Science
Monitoring business processes with queries
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Visualization of Ontologies to Specify Semantic Descriptions of Services
IEEE Transactions on Knowledge and Data Engineering
Interoperable Petri net models via ontology
International Journal of Web Engineering and Technology
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)
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
Querying business processes with BP-QL
Information Systems
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
Querying and monitoring distributed business processes
Proceedings of the VLDB Endowment
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Automated web performance analysis, with a special focus on prediction
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
A simulation framework for service-oriented computing systems
Proceedings of the 40th Conference on Winter Simulation
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Automated Web Performance Analysis
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Web service orchestration with super-dual object nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
SCOPE: A Situation Calculus Ontology of Petri Nets
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Biomedical question answering: A survey
Computer Methods and Programs in Biomedicine
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Resources utilization in distributed environment for complex services
ACIIDS'10 Proceedings of the Second international conference on Intelligent information and database systems: Part II
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Model transformation based verification of web services composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
A novel architecture for Web service composition
Journal of Network and Computer Applications
A model-driven approach for QoS prediction of BPEL processes
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Hi-index | 0.00 |
Web services--Web-accessible programs and devices--are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We take as our starting point the DAML-S DAML + OIL ontology for describing the capabilities of Web services. We define the semantics for a relevant subset of DAML-S in terms of a first-order logical language. With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe. Finally, we present an implementation of our analysis techniques. This implementation takes as input a DAML-S description of a Web service, automatically generates a Petri Net and performs the desired analysis. Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers.