Abstract:The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications may actually be composed of several system models. Therefore, the challenge is to determine how to compose independent system models, in order to build large applications.We present in this paper the software federation approach developed by our team. A federation relies on the concept of a domain, which describes a specific applicati… Show more
“…[29,30] and ref. [29] integrated its refinement strategy with UML and suitable for model driving. But in our approach, we provide the separation of the specification of a contract of an interface from the specification of the behavior of a component that realizes the contract.…”
Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the dependability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe services precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue. Our architecture tackles the issue by proposing a novel scheme: defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore applicable to large scale software design in general.Service-oriented computing (SOC) is the computing paradigm that utilizes services as basic elements for developing applications/solutions. To build the service model, SOC relies on the service-oriented architecture (SOA), which is a way of reorganizing software applications and infrastructure into a set of interacting services. Services are self-describing, platform-agnostic and computational elements which support rapid, low-cost composition of distributed applications [1] . Services perform functions, which can be anything from simple requests to complicated computations. Services allow organizations to expose their core competencies programmatically over the Internet (or intra-net) using standard (XML-based) languages and protocols, and to be implemented via an interface based on open standards. The system as a whole is designed and implemented as a set of interactions among these services. Exposing functionality as services is the key to flexibility. This allows a service to use other services in a natural way regardless of their implementation and physical locations. A system evolves through the
“…[29,30] and ref. [29] integrated its refinement strategy with UML and suitable for model driving. But in our approach, we provide the separation of the specification of a contract of an interface from the specification of the behavior of a component that realizes the contract.…”
Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the dependability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe services precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue. Our architecture tackles the issue by proposing a novel scheme: defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore applicable to large scale software design in general.Service-oriented computing (SOC) is the computing paradigm that utilizes services as basic elements for developing applications/solutions. To build the service model, SOC relies on the service-oriented architecture (SOA), which is a way of reorganizing software applications and infrastructure into a set of interacting services. Services are self-describing, platform-agnostic and computational elements which support rapid, low-cost composition of distributed applications [1] . Services perform functions, which can be anything from simple requests to complicated computations. Services allow organizations to expose their core competencies programmatically over the Internet (or intra-net) using standard (XML-based) languages and protocols, and to be implemented via an interface based on open standards. The system as a whole is designed and implemented as a set of interactions among these services. Exposing functionality as services is the key to flexibility. This allows a service to use other services in a natural way regardless of their implementation and physical locations. A system evolves through the
“…). In [12], a UML profile is proposed in order to help model compositions. No explanations are given on how to produce an unique model from different models using this profile.…”
Section: Model Mergingmentioning
confidence: 99%
“…Behaviors are then computed by a depth-first search in the resulting graph. In this paper we interest of the third behavior, the path (1,2,4,6,7,8,9,11,12), and the fourth behavior, the path (1,2,4,6,7,8,10,11,12), of 5.…”
This paper presents a method for merging UML models which takes place in a quality evaluation framework for Web Services (WS). This framework, called iTac-QoS, is an extended UDDI server (a yellow pages system dedicated to WS), using model based testing to assess quality. WS vendors have to create UML model of their product and our framework extracts tests from it. Depending on the results of the test execution, a mark is given to WS. This mark permits to customers to have an idea about the quality of WS they find on our UDDI server. Up today, our framework was limited to WS which did not use other WS. This was justified by the fact that it is impossible for vendors to create a good model of a foreign product. Our method for model merging solves this problem: each vendor produces models of its own product, and we automatically merge the different models. The resulting model from this merging represents the composition of the different WS. For each type of diagram present in the models (class, instance or state-chart diagram), a method is proposed in order to produce a unique model. In addition to this, a solution is proposed to merge all OCL code in the class modeling the WS under test. Unfortunately, this process introduces inconsistencies in the resulting model, that falsify the results of the subsequent test generation phase. We thus propose to detect such inconsistencies in order to distinguish inconsistent and unreachable test targets.
“…That is to say a class that defines specific properties upon an established semantic relationship between classifiers, in this case the metamodel elements from BPEL and WSDL. There are several approaches on metamodel composition and interaction [8,10,15]. More specifically, in [10] the key feature of this approach is the combination of new metamodels from existing metamodels, through the use of newly defined operators such as equivalence, implementation and interface inheritance.…”
Section: Applying the Binding Mechanism -Web Service Examplesmentioning
confidence: 99%
“…In that respect, the approach is comparable to our method on establishing interaction points across the metamodels. Finally, the approach in [8] is based on extending the UML language for the composition of domain metamodels by proposing a UML profile. In our study our effort is to establish both connections upon the metamodel elements to support integrations in a cooperating way and communication mechanisms to support their interaction characteristics.…”
Section: Applying the Binding Mechanism -Web Service Examplesmentioning
Abstract. The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific aspect and functionality of the system. By using multiple languages, it is possible to specify complete integrated models of the system, having structure, behaviour, communication and coordination mechanisms. To benefit from MDA, Web service languages have to be represented as UML metamodels. In order to provide an overall view of the design and inter-operations of the system with models, it is crucial to integrate their UML metamodels. In this paper, we shall conduct a comparative study of the metamodel integration in Web services and UML. Drawing on the lesson learnt from the integration of Web services, a method of integration of UML metamodels will be presented, which facilitates model transformations and supports interoperability, inter-navigability and consistency across the integrated domains.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.