Concurrency: state models & Java programs
Concurrency: state models & Java programs
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Compatibility Verification for Web Service Choreography
ICWS '04 Proceedings of the IEEE International Conference on Web Services
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Web service orchestration with BPEL
Proceedings of the 28th international conference on Software engineering
A static compliance-checking framework for business process models
IBM Systems Journal
Software frameworks for information systems integration based on web services
Proceedings of the 2008 ACM symposium on Applied computing
Transactional Reduction of Component Compositions
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Beyond User-to-User Access Control for Online Social Networks
ICICS '08 Proceedings of the 10th International Conference on Information and Communications Security
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Towards automated web service composition with fluent calculus and domain ontologies
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Detecting Behavioural Incompatibilities between Pairs of Services
Service-Oriented Computing --- ICSOC 2008 Workshops
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Diagnosing and Measuring Incompatibilities between Pairs of Services
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Design and implementation of Sator: A web service aggregator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analysing scientific workflows with Computational Tree Logic
Cluster Computing
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Specifying and Verifying Business Processes Using PPML
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Product-line-based requirements customization for web service compositions
Proceedings of the 13th International Software Product Line Conference
Web service composition using fluent calculus
International Journal of Metadata, Semantics and Ontologies
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Systems and Software
RuMoR: monitoring and recovery for BPEL applications
Proceedings of the IEEE/ACM international conference on Automated software engineering
Applying fluent calculus for automated and dynamic semantic web service composition
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Analysis of the minimal privacy disclosure for web services collaborations with role mechanisms
Expert Systems with Applications: An International Journal
A case study in model-based adaptation of web services
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Monitoring and recovery of web service applications
The smart internet
Service research challenges and solutions for the future internet
Monitoring and recovery of web service applications
The smart internet
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
ECSA'11 Proceedings of the 5th European conference on Software architecture
Rigorous software engineering for service-oriented systems
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Towards a formal verification of OWL-S process models
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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 generic framework for n-protocol compatibility checking
Science of Computer Programming
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Agile test framework for business-to-business interoperability
Information Systems Frontiers
VerChor: a framework for verifying choreographies
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Measure method and metrics for network characteristics in service systems
ICPCA/SWS'12 Proceedings of the 2012 international conference on Pervasive Computing and the Networked World
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Dynamic synthesis of local time requirement for service composition
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
In this paper we describe a tool for a model-based approach to verifying compositions of web service implementations. The tool supports verification of properties created from design specifications and implementation models to confirm expected results from the viewpoints of both the designer and implementer. Scenarios are modeled in UML, in the form of Message Sequence Charts (MSCs), and then compiled into the Finite State Process (FSP) process algebra to concisely model the required behavior. BPEL4WS implementations are mechanically translated to FSP to allow an equivalence trace verification process to be performed. By providing early design verification and validation, the implementation, testing and deployment of web service compositions can be eased through the understanding of the behavior exhibited by the composition. The approach is implemented as a plug-in for the Eclipse development environment providing cooperating tools for specification, formal modeling, verification and validation of the composition process.