Suitability of UML State Machine for Modeling Choreography of Services

Mellat, Azadeh; Nematbakhsh, Naser; Farahi, Ahmad; Mardukhi, Farhad

doi:10.5121/ijwest.2011.2403

Cited by 6 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The OWL reasoner which provided the drug recommendations is OWLIM-Lite c together with Sesame d for providing the REST interface, the RDF data access and management platform and the SPARQL query interpretation layer. OWLIM was chosen as it has been found as one of the most efficient OWL reasoners [14,15]. …”

Section: Methodsmentioning

confidence: 99%

GalenOWL: Ontology-based drug recommendations discovery

et al. 2012

View full text Add to dashboard Cite

BackgroundIdentification of drug-drug and drug-diseases interactions can pose a difficult problem to cope with, as the increasingly large number of available drugs coupled with the ongoing research activities in the pharmaceutical domain, make the task of discovering relevant information difficult. Although international standards, such as the ICD-10 classification and the UNII registration, have been developed in order to enable efficient knowledge sharing, medical staff needs to be constantly updated in order to effectively discover drug interactions before prescription. The use of Semantic Web technologies has been proposed in earlier works, in order to tackle this problem.ResultsThis work presents a semantic-enabled online service, named GalenOWL, capable of offering real time drug-drug and drug-diseases interaction discovery. For enabling this kind of service, medical information and terminology had to be translated to ontological terms and be appropriately coupled with medical knowledge of the field. International standards such as the aforementioned ICD-10 and UNII, provide the backbone of the common representation of medical data, while the medical knowledge of drug interactions is represented by a rule base which makes use of the aforementioned standards. Details of the system architecture are presented while also giving an outline of the difficulties that had to be overcome. A comparison of the developed ontology-based system with a similar system developed using a traditional business logic rule engine is performed, giving insights on the advantages and drawbacks of both implementations.ConclusionsThe use of Semantic Web technologies has been found to be a good match for developing drug recommendation systems. Ontologies can effectively encapsulate medical knowledge and rule-based reasoning can capture and encode the drug interactions knowledge.

show abstract

Section: Methodsmentioning

confidence: 99%

GalenOWL: Ontology-based drug recommendations discovery

et al. 2012

View full text Add to dashboard Cite

show abstract

“…In [1], Kavantzas et al have proposed WS-CDL as an XML-based language that describes peer-to-peer collaborations of parties. Mellat et al [23] have investigated the UML State Machine to model the choreography of services. They have described the requirements of a choreography model by defining a set of interaction patterns and have showed how UML State Machine can model these patterns.…”

Section: ) Choreography State Machine Modelmentioning

confidence: 99%

Graphical description of WS-CDL

Yahmadi

Baghdadi

Al-Khanjari

2013

2013 9th International Conference on Innovations in Information Technology (IIT)

View full text Add to dashboard Cite

The widespread acceptance of SOA, as an architectural style to build solutions by composing loosely coupled, interoperable, distributed services, having separate concerns into solutions is promoting modeling of cross-organizations business processes (BPs). In these BPs, different participants from different organizations would like to participate and get involved in a collaboration to achieve a common goal. Meanwhile, Web Service Choreography Description Language (WS-CDL) is an XML-based language for describing peer-to-peer collaborations by defining from a neutral perspective their collaborative observable behavior. It defines a set of ordered message exchanges that accomplish a common business goal. Yet, this language lacks a standardized graphical description that would ease the understanding of the collaborative behavior, where different types of stakeholders need to communicate the collaboration. Our approach in this paper is to investigate the WS-CDL language and propose a graphical description by utilizing UML models.

show abstract

“…It checks and takes user input, as well as feedbacks on execution information including reasoning results. Currently, there are a variety of modeling notations, such as UML [26][27][28][29][30][31], Message Sequence Charts (MSCs) [32], and BPMN [33,34], to visually model the choreography interaction. In our research, the UML class diagrams and collaboration diagrams (or Communication Diagrams in [35]) are preferred for the presentation of service choreography models from structural and behavioral viewpoint, respectively, taking the advantages of rigorous syntax and semantics, easiness to interpret, and various tools such as RSA, EA, and Rose to share some part of models.…”

Section: Mechanism For Service Choreography Model Verificationmentioning

confidence: 99%

Verifying Service Choreography Model Based on Description Logic

Wang

Niu

2016

Mathematical Problems in Engineering

View full text Add to dashboard Cite

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. The paper presents a new approach of choreography model verification based on Description Logic. A metamodel of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography. Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification. To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the DL-based ontology, and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoner. A case study is given to demonstrate applicability of the method. Furthermore, the work will be compared with other related researches.

show abstract

Suitability of UML State Machine for Modeling Choreography of Services

Abstract: ABSTRACT

Cited by 6 publications

References 10 publications

GalenOWL: Ontology-based drug recommendations discovery

GalenOWL: Ontology-based drug recommendations discovery

Graphical description of WS-CDL

Verifying Service Choreography Model Based on Description Logic

Contact Info

Product

Resources

About