Extending standard UML with model composition semantics
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Towards patterns of web services composition
Patterns and skeletons for parallel and distributed computing
From Object Composition to Model Transformation with the MDA
TOOLS '01 Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)
The Art of Software Testing
CLPS–B – A constraint solver to animate a B specification
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
Web Services Are Not Distributed Objects
IEEE Internet Computing
Extending UML for Model Composition
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Formal Model Merging Applied to Class Diagram Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
A reference model for dynamic web service composition systems
International Journal of Web and Grid Services
Guiding the correction of parameterized specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Symbolic animation of JML specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Automatic conformance testing of web services
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
A comparative study of metamodel integration and interoperability in UML and web services
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Instantiation of parameterized data structures for model-based testing
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Hi-index | 0.00 |
This paper presents a method for merging Unified Modelling Language (UML) models, which takes place in a quality evaluation framework for Web Services (WSs). This framework, called iTac Tests and Certified Quality of Services (iTac-QoS), is an extended Universal Description Discovery and Integration (UDDI) server using model-based testing to assess quality. Depending on the results of the test execution, a mark is given to the WSs. Until now, our framework was limited to WSs without composition. This was justified by the fact that it is impossible for vendors to create a good model of a foreign product. Our method proposes to automatically merge the models (produced by each vendor) of the WSs involved in the composition. For each type of diagram present in the models (class, instance or statechart diagram), a method is proposed to produce a unique model. In addition to this, a solution is proposed to merge all Object Constraint Language (OCL) codes in the class modelling the WSs under study. Unfortunately, this process introduces inconsistencies in the resulting model that falsify the results of the test generation phase. We thus propose detecting such inconsistencies to distinguish inconsistent and unreachable test targets.