Petri nets: an introduction
Communication and concurrency
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Managing process and service fusion in virtual enterprises
Information Systems - Special issue on information systems support for electronic commerce
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Building Web Information Extraction Tasks
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Current Solutions for Web Service Composition
IEEE Internet Computing
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
WWW '05 Proceedings of the 14th international conference on World Wide Web
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
A visual language and environment for composing web services
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Component-driven engineering of database applications
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Evaluation of Service Composition Planning with OWLS-XPlan
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Syndicating Web Services: A QoS and user-driven approach
Decision Support Systems
Web service orchestration and verification using MSC and CP nets
Proceedings of the 2007 ACM symposium on Applied computing
Adaptive web service composition
ACM SIGSOFT Software Engineering Notes
Towards the security and privacy analysis of patient portals
ACM SIGBED Review - Special issues on the NSF team for research in ubiquitous secure technology (TRUST) project reports
Framework for Web service query algebra and optimization
ACM Transactions on the Web (TWEB)
Deploying and managing Web services: issues, solutions, and directions
The VLDB Journal — The International Journal on Very Large Data Bases
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
Optimized dynamic semantic composition of services
Proceedings of the 2008 ACM symposium on Applied computing
Algebraic Structure of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
Semantics-based composition-oriented discovery of Web services
ACM Transactions on Internet Technology (TOIT)
Information and Software Technology
Information Fusion
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Design and verification of long-running transactions in a timed framework
Science of Computer Programming
A mechanism for grid service composition behavior specification and verification
Future Generation Computer Systems
Protocol-Based Web Service Composition
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
ICSOC '08 Proceedings of the 6th 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
Model-driven engineering of composite web services using UML-S
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
StPowla: SOA, Policies and Workflows
Service-Oriented Computing - ICSOC 2007 Workshops
Data & Knowledge Engineering
What Would Smart Services Look Like
Service-Oriented Computing --- ICSOC 2008 Workshops
Towards Formal Interfaces for Web Services with Transactions
Advanced Internet Based Systems and Applications
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
Web service composition process verification methods
Proceedings of the 46th Annual Southeast Regional Conference on XX
Semantic annotations for web services discovery and composition
Computer Standards & Interfaces
Design and implementation of Sator: A web service aggregator
ACM Transactions on Software Engineering and Methodology (TOSEM)
EPN-Based Web Service Composition Approach
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
A Petri Nets based functional validation for services composition
Expert Systems with Applications: An International Journal
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstractions of interaction mechanisms
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Semantic service composition in service-oriented multiagent systems: a filtering approach
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Modeling and analysis for grid service cooperative scheduling based on Petri nets
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Verifying composite service transactional behavior using event calculus
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
Transactional support of ad-hoc collaborations in mobile environments
Proceedings of the Ninth ACM International Workshop on Data Engineering for Wireless and Mobile Access
A structural verification of web services composition compatibility
Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
Dynamic composition of medical support services in the ICU: Platform and algorithm design details
Computer Methods and Programs in Biomedicine
MashUp web data sources and services based on semantic queries
Information Systems
Building dynamic models of service compositions with simulation of provision resources
ER'10 Proceedings of the 29th international conference on Conceptual modeling
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition
International Journal of Web and Grid Services
Towards an approach of formal verification of mediation protocol based on web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Modeling and survivability analysis of service composition using Stochastic Petri Nets
The Journal of Supercomputing
Failure analysis for composition of web services represented as labeled transition systems
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
A model-driven framework for runtime adaptation of web service compositions
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
SEPL--a domain-specific language and execution environment for protocols of stateful Web services
Distributed and Parallel Databases
Bio-inspired dynamic composition and reconfiguration of service-oriented internetware systems
ICSI'11 Proceedings of the Second international conference on Advances in swarm intelligence - Volume Part I
PEWS platform: a web services composition environment
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
Checking order constraints in collaborative workflow with invariant analysis
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Composer-Science: A semantic service based framework for workflow composition in e-Science projects
Information Sciences: an International Journal
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Licensing services: formal analysis and implementation
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards the testing of composed web services in 3rd generation networks
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Transformation-Driven development of composite web services
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
A petri net based approach for process model driven deduction of BPEL code
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Distributed gridflow model and implementation
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
FECT: a modelling framework for automatically composing web services
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Deploying π-calculus technology in Inter-organizational process
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
A hybrid approach for generating compatible WS-BPEL partner processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Science of Computer Programming
An ECA-Rule-Based workflow management approach for web services 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
A semantic approach for designing commitment protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Ontology-Based change management of composite services
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Contract-based web service composition framework with correctness guarantees
ISAS'05 Proceedings of the Second international conference on Service Availability
A formal model for service-oriented interactions
Science of Computer Programming
Ad hoc composition of user tasks in pervasive computing environments
SC'05 Proceedings of the 4th international conference on Software Composition
Web service composition: an approach using effect-based reasoning
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
A tool to generate an adapter for the integration of web services interface
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
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
Modeling long–running transactions with communicating hierarchical timed automata
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Theoretical foundations of scope-based compensable flow language for web service
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Client synthesis for aspect oriented web services
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
(Behavioural) design patterns as composition operators
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
From collaboration models to BPEL processes through service models
BPM'05 Proceedings of the Third international conference on Business Process Management
Web linking-based protocols for guiding RESTful m2m interaction
ICWE'11 Proceedings of the 11th international conference on Current Trends in Web Engineering
Dynamic context-aware and limited resources-aware service adaptation for pervasive computing
Advances in Software Engineering
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Automated geospatial Web Services composition based on geodata quality requirements
Computers & Geosciences
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Specifying and Composing Web Services with an Environment Ontology-Based Approach
International Journal of Web Services Research
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Design for service compatibility
Software and Systems Modeling (SoSyM)
Control-Flow Patterns for Decentralized RESTful Service Composition
ACM Transactions on the Web (TWEB)
The WTE+ framework: automated construction and runtime adaptation of service mashups
Automated Software Engineering
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
| Hi-index | 0.00 |
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their core business competencies on the Internet as a collection of Web services. An important challenge is to integrate them to create new value-added Web services in ways that could never be foreseen forming what is known as Business-to-Business (B2B) services. Therefore, there is a need for modeling techniques and tools for reliable Web service composition. In this paper, we propose a Petri net-based algebra, used to model control flows, as a necessary constituent of reliable Web service composition process. This algebra is expressive enough to capture the semantics of complex Web service combinations.