Verifying Interaction Protocol Compliance of Service Orchestrations
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A tool for rapid development of WS-BPEL applications
Proceedings of the 2010 ACM Symposium on Applied Computing
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
Monitoring and analyzing service-based internet systems through a model-aware service environment
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
An accessible verification environment for UML models of services
Journal of Symbolic Computation
Performance prediction of service-oriented systems with layered queueing networks
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
An architectural approach to end user orchestrations
ECSA'11 Proceedings of the 5th European conference on Software architecture
UML extensions for service-oriented systems
Rigorous software engineering for service-oriented systems
An abstract, on the fly framework for the verification of service-oriented systems
Rigorous software engineering for service-oriented systems
Rigorous software engineering for service-oriented systems
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
The SENSORIA development environment
Rigorous software engineering for service-oriented systems
Specification and implementation of demonstrators for the case studies
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analyzing the selection and dynamic composition of web services in e-commerce transactions
Proceedings of the Fifth Balkan Conference in Informatics
| Hi-index | 0.00 |
The discontent over the limited capability of Web services to reflect the organization’s business model, and efficiently adhere to business strategies and requirements, caused a shift in business thinking. As a result, the enterprise has been recognizing ...