FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2283460595> ?p ?o ?g. }

• W2283460595 endingPage "20" @default.
• W2283460595 startingPage "1" @default.
• W2283460595 abstract "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." @default.
• W2283460595 created "2016-06-24" @default.
• W2283460595 creator A5019628417 @default.
• W2283460595 creator A5059434898 @default.
• W2283460595 creator A5086583228 @default.
• W2283460595 date "2016-01-01" @default.
• W2283460595 modified "2023-09-25" @default.
• W2283460595 title "Verifying Service Choreography Model Based on Description Logic" @default.
• W2283460595 cites W1465777884 @default.
• W2283460595 cites W1541187842 @default.
• W2283460595 cites W1606502467 @default.
• W2283460595 cites W181591329 @default.
• W2283460595 cites W1838807299 @default.
• W2283460595 cites W1990781571 @default.
• W2283460595 cites W2005536678 @default.
• W2283460595 cites W2010698389 @default.
• W2283460595 cites W2020983347 @default.
• W2283460595 cites W2021306790 @default.
• W2283460595 cites W2025706419 @default.
• W2283460595 cites W2034609074 @default.
• W2283460595 cites W2041244890 @default.
• W2283460595 cites W2069430440 @default.
• W2283460595 cites W2070813196 @default.
• W2283460595 cites W2092863977 @default.
• W2283460595 cites W2098304406 @default.
• W2283460595 cites W2099613024 @default.
• W2283460595 cites W2114561477 @default.
• W2283460595 cites W2118992936 @default.
• W2283460595 cites W2125643865 @default.
• W2283460595 cites W2129443487 @default.
• W2283460595 cites W2139204893 @default.
• W2283460595 cites W2147841033 @default.
• W2283460595 cites W2159525276 @default.
• W2283460595 cites W2171500111 @default.
• W2283460595 cites W230681082 @default.
• W2283460595 cites W2315837314 @default.
• W2283460595 cites W2317608003 @default.
• W2283460595 cites W2325049335 @default.
• W2283460595 cites W2327311814 @default.
• W2283460595 cites W4230324967 @default.
• W2283460595 cites W4245887256 @default.
• W2283460595 cites W4246325880 @default.
• W2283460595 cites W4256470605 @default.
• W2283460595 doi "https://doi.org/10.1155/2016/8947157" @default.
• W2283460595 hasPublicationYear "2016" @default.
• W2283460595 type Work @default.
• W2283460595 sameAs 2283460595 @default.
• W2283460595 citedByCount "2" @default.
• W2283460595 countsByYear W22834605952016 @default.
• W2283460595 countsByYear W22834605952022 @default.
• W2283460595 crossrefType "journal-article" @default.
• W2283460595 hasAuthorship W2283460595A5019628417 @default.
• W2283460595 hasAuthorship W2283460595A5059434898 @default.
• W2283460595 hasAuthorship W2283460595A5086583228 @default.
• W2283460595 hasBestOaLocation W22834605951 @default.
• W2283460595 hasConcept C101230327 @default.
• W2283460595 hasConcept C102993220 @default.
• W2283460595 hasConcept C111472728 @default.
• W2283460595 hasConcept C115903868 @default.
• W2283460595 hasConcept C124952713 @default.
• W2283460595 hasConcept C136264566 @default.
• W2283460595 hasConcept C138885662 @default.
• W2283460595 hasConcept C142362112 @default.
• W2283460595 hasConcept C147446459 @default.
• W2283460595 hasConcept C154945302 @default.
• W2283460595 hasConcept C162324750 @default.
• W2283460595 hasConcept C183920142 @default.
• W2283460595 hasConcept C184337299 @default.
• W2283460595 hasConcept C199360897 @default.
• W2283460595 hasConcept C2129575 @default.
• W2283460595 hasConcept C25810664 @default.
• W2283460595 hasConcept C2780378061 @default.
• W2283460595 hasConcept C41008148 @default.
• W2283460595 hasConcept C55439883 @default.
• W2283460595 hasConcept C60048249 @default.
• W2283460595 hasConcept C61673122 @default.
• W2283460595 hasConcept C86610423 @default.
• W2283460595 hasConcept C9616225 @default.
• W2283460595 hasConceptScore W2283460595C101230327 @default.
• W2283460595 hasConceptScore W2283460595C102993220 @default.
• W2283460595 hasConceptScore W2283460595C111472728 @default.
• W2283460595 hasConceptScore W2283460595C115903868 @default.
• W2283460595 hasConceptScore W2283460595C124952713 @default.
• W2283460595 hasConceptScore W2283460595C136264566 @default.
• W2283460595 hasConceptScore W2283460595C138885662 @default.
• W2283460595 hasConceptScore W2283460595C142362112 @default.
• W2283460595 hasConceptScore W2283460595C147446459 @default.
• W2283460595 hasConceptScore W2283460595C154945302 @default.
• W2283460595 hasConceptScore W2283460595C162324750 @default.
• W2283460595 hasConceptScore W2283460595C183920142 @default.
• W2283460595 hasConceptScore W2283460595C184337299 @default.
• W2283460595 hasConceptScore W2283460595C199360897 @default.
• W2283460595 hasConceptScore W2283460595C2129575 @default.
• W2283460595 hasConceptScore W2283460595C25810664 @default.
• W2283460595 hasConceptScore W2283460595C2780378061 @default.
• W2283460595 hasConceptScore W2283460595C41008148 @default.
• W2283460595 hasConceptScore W2283460595C55439883 @default.
• W2283460595 hasConceptScore W2283460595C60048249 @default.

• next