Matches in SemOpenAlex for { <https://semopenalex.org/work/W2911938583> ?p ?o ?g. }
- W2911938583 endingPage "754" @default.
- W2911938583 startingPage "741" @default.
- W2911938583 abstract "Service-Oriented Computing (SOC) is changing the way modern information systems that are designed, operated, and evolved. SOC makes possible to aggregate distributed resources at the phases of decision-making support and system operations. When myriads of resources with similar functionalities are available, effective methodologies are demanded to select services and compose them as service workflows for the specified goals. The computation for workflow composition is very complex since it depends on the numbers of services and their dynamic characteristics. Therefore, composing optimized workflows in a timely manner poses a great challenge. We are highly motivated to reduce the complexity of service selection and composition. The formalized semantics in SWSpec is extended so that unqualified or inferior services can be eliminated directly from the scope of the design solution space. In this paper, a brief review of the proposed SWSpec language is given and the focus is on the sematic formalization. A new compositional proof-system is developed with a set of inference rules and the proven system properties. The proposed semantic formalization has its great significance in reducing the complexity of composing workflows and developing efficient algorithms for compliance checking." @default.
- W2911938583 created "2019-02-21" @default.
- W2911938583 creator A5039352999 @default.
- W2911938583 creator A5054528852 @default.
- W2911938583 creator A5078634771 @default.
- W2911938583 date "2019-02-01" @default.
- W2911938583 modified "2023-09-26" @default.
- W2911938583 title "The Extension of Semantic Formalization of Service Workflow Specification Language" @default.
- W2911938583 cites W1560042744 @default.
- W2911938583 cites W1573218854 @default.
- W2911938583 cites W1589148256 @default.
- W2911938583 cites W1774247034 @default.
- W2911938583 cites W1962600084 @default.
- W2911938583 cites W1965064895 @default.
- W2911938583 cites W1966769064 @default.
- W2911938583 cites W2001789462 @default.
- W2911938583 cites W2017754024 @default.
- W2911938583 cites W2023407123 @default.
- W2911938583 cites W2028286673 @default.
- W2911938583 cites W2041448448 @default.
- W2911938583 cites W2042645576 @default.
- W2911938583 cites W2070944660 @default.
- W2911938583 cites W2073792724 @default.
- W2911938583 cites W2075086301 @default.
- W2911938583 cites W2079996951 @default.
- W2911938583 cites W2089744027 @default.
- W2911938583 cites W2093554356 @default.
- W2911938583 cites W2098303750 @default.
- W2911938583 cites W2100141389 @default.
- W2911938583 cites W2100766064 @default.
- W2911938583 cites W2109450315 @default.
- W2911938583 cites W2116527813 @default.
- W2911938583 cites W2118620599 @default.
- W2911938583 cites W2119830207 @default.
- W2911938583 cites W2129383727 @default.
- W2911938583 cites W2129982676 @default.
- W2911938583 cites W2135134891 @default.
- W2911938583 cites W2141880113 @default.
- W2911938583 cites W2145007750 @default.
- W2911938583 cites W2145572818 @default.
- W2911938583 cites W2152525843 @default.
- W2911938583 cites W2152538785 @default.
- W2911938583 cites W2157699834 @default.
- W2911938583 cites W2159543898 @default.
- W2911938583 cites W2169353526 @default.
- W2911938583 cites W2245342439 @default.
- W2911938583 cites W2274924607 @default.
- W2911938583 cites W2279871668 @default.
- W2911938583 cites W2318960556 @default.
- W2911938583 cites W2325731383 @default.
- W2911938583 cites W2338665915 @default.
- W2911938583 cites W2340735175 @default.
- W2911938583 cites W2498262529 @default.
- W2911938583 cites W2503596848 @default.
- W2911938583 cites W2509033629 @default.
- W2911938583 cites W2511741805 @default.
- W2911938583 cites W2516921826 @default.
- W2911938583 cites W2590854751 @default.
- W2911938583 cites W2149712607 @default.
- W2911938583 cites W2493146141 @default.
- W2911938583 doi "https://doi.org/10.1109/tii.2018.2807400" @default.
- W2911938583 hasPublicationYear "2019" @default.
- W2911938583 type Work @default.
- W2911938583 sameAs 2911938583 @default.
- W2911938583 citedByCount "19" @default.
- W2911938583 countsByYear W29119385832018 @default.
- W2911938583 countsByYear W29119385832019 @default.
- W2911938583 countsByYear W29119385832020 @default.
- W2911938583 countsByYear W29119385832021 @default.
- W2911938583 countsByYear W29119385832022 @default.
- W2911938583 countsByYear W29119385832023 @default.
- W2911938583 crossrefType "journal-article" @default.
- W2911938583 hasAuthorship W2911938583A5039352999 @default.
- W2911938583 hasAuthorship W2911938583A5054528852 @default.
- W2911938583 hasAuthorship W2911938583A5078634771 @default.
- W2911938583 hasConcept C115903868 @default.
- W2911938583 hasConcept C120314980 @default.
- W2911938583 hasConcept C136264566 @default.
- W2911938583 hasConcept C162324750 @default.
- W2911938583 hasConcept C177212765 @default.
- W2911938583 hasConcept C184337299 @default.
- W2911938583 hasConcept C19612761 @default.
- W2911938583 hasConcept C199360897 @default.
- W2911938583 hasConcept C2778012447 @default.
- W2911938583 hasConcept C2780378061 @default.
- W2911938583 hasConcept C41008148 @default.
- W2911938583 hasConcept C77088390 @default.
- W2911938583 hasConceptScore W2911938583C115903868 @default.
- W2911938583 hasConceptScore W2911938583C120314980 @default.
- W2911938583 hasConceptScore W2911938583C136264566 @default.
- W2911938583 hasConceptScore W2911938583C162324750 @default.
- W2911938583 hasConceptScore W2911938583C177212765 @default.
- W2911938583 hasConceptScore W2911938583C184337299 @default.
- W2911938583 hasConceptScore W2911938583C19612761 @default.
- W2911938583 hasConceptScore W2911938583C199360897 @default.
- W2911938583 hasConceptScore W2911938583C2778012447 @default.
- W2911938583 hasConceptScore W2911938583C2780378061 @default.
- W2911938583 hasConceptScore W2911938583C41008148 @default.