Specifying Semantic Web Service Compositions using UML and OCL

Timm, John T. E.; Gannod, Gerald C.

doi:10.1109/icws.2007.168

Cited by 28 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Examples of this are [9], where authors use a technique called Orthogonal Array Testing (OAT), the pair-wise method defined in [23], a partition testing technique in [10]. Some proposals do build intermediate artefacts to help in the process, such as [34], who builds a finite automaton using BPEL [24], in [28] who uses UML+OCL.…”

Section: Testing Web Servicesmentioning

confidence: 99%

Turning web services descriptions into quickcheck models for automatic testing

Francisco

López

Ferreiro

et al. 2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

In this work, we face the problem of generating good quality test suites and test cases for web services. We present a framework to test web services based on their formal description, following a black-box approach and using Property-Based Testing.Web services are a popular solution to integrate components when building a software system, or to allow communication between a system and third-party users, providing a flexible, reusable mechanism to access its functionalities. Testing of web services is a key activity: we need to verify their behaviour and ensure their quality as much as possible, as efficiently as possible.By automatically deriving QuickCheck models from its WSDL description and its OCL semantic constraints, we enable generation and execution of great amounts of automatically generated test cases. Thus, we avoid the usual compromise between effort and cost, which too often leads to smaller and less exhaustive test suites than desirable.To illustrate the advantages of our framework, we present an industrial case study: a distributed system which serves media contents customers' TV screens.

show abstract

Section: Testing Web Servicesmentioning

confidence: 99%

Turning web services descriptions into quickcheck models for automatic testing

Francisco

López

Ferreiro

et al. 2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

show abstract

“…[14] describes a BPEL-style solution for composing OSGi services on a semantically-enriched OSGi platform. In [39], semantic web service compositions are specified using a UML profile that allows for the automatic construction of OWL-S specifications from UML diagrams.…”

Section: Related Workmentioning

confidence: 99%

Towards a methodology for lifelong validation of service compositions

Bianculli

Ghezzi

2008

Proceedings of the 2nd International Workshop on Systems Development in SOA Environments

View full text Add to dashboard Cite

We argue that the dynamic nature of compositions in serviceoriented architectures requires re-thinking the whole lifetime of an application, from requirements, to design and implementation, to deployment, to operation. In particular, the traditional boundary between design time and run time is blurring. Validation, which traditionally pertains to design time, must now extend to run time. This position paper digs into the requirements and outlines a research agenda, based on the experience gained in previous research projects, to engineer dependable service compositions.

show abstract

“…In fact, one composition approach can be classified into one technology category and some context categories at the same time. For example, the approach in [4] uses model-driven technology and is under semantic context. Therefore, the matrix is suitable to represent this kind of cross-classification.…”

Section: Introductionmentioning

confidence: 99%

Effort-Oriented Classification Matrix of Web Service Composition

O’Brien

Keung

et al. 2010

2010 Fifth International Conference on Internet and Web Applications and Services

View full text Add to dashboard Cite

Within the service-oriented computing domain, Web service composition is an effective realization to satisfy the rapidly changing requirements of business. Therefore, the research into Web service composition has unfolded broadly. Since examining all of the related work in this area becomes a mission next to impossible, the classification of composition approaches can be used to facilitate multiple research tasks. However, the current attempts to classify Web service composition do not have clear objectives. Furthermore, the contexts and technologies of composition approaches are confused in the existing classifications. This paper proposes an effort-oriented classification matrix for Web service composition, which distinguishes between the context and technology dimension. The context dimension is aimed at analyzing the environment influence on the effort of Web service composition, while the technology dimension focuses on the technique influence on the effort. Consequently, besides the traditional classification benefits, this matrix can be used to build the basis of cost estimation for Web service composition in future research.Comment: 6 pages, Proceedings of the 5th International Conference on Internet and Web Applications and Services (ICIW 2010), pp. 357-362, Barcelona, Spain, May 9-15, 201

show abstract

Specifying Semantic Web Service Compositions using UML and OCL

Cited by 28 publications

References 5 publications

Turning web services descriptions into quickcheck models for automatic testing

Turning web services descriptions into quickcheck models for automatic testing

Towards a methodology for lifelong validation of service compositions

Effort-Oriented Classification Matrix of Web Service Composition

Contact Info

Product

Resources

About