FRINK Linked Data Fragments server

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

• W2414373306 abstract "Service-based Inter-Organizational Workflow (IOWF) processes support collaboration and cooperation of workflow (WF) processes attached to several partners. Guarantee the reliability and the correctness of IOWF is a very important need. In this paper, we propose an approach for formal modelling and verification of IOWF process models, described in BPEL4WS. IOWFs are modelled by means of Probabilistic Automata (PA). More than verification support, PA provides a numerical evaluation of the IOWF process. We propose the use of symbolic representation of PA to avoid the state space explosion. The IOWF behaviour is checked against properties expressed in Probabilistic Computation Tree Logic PCTL. The verification and the analysis are performed in an automated way using the PRISM model checker." @default.
• W2414373306 created "2016-06-24" @default.
• W2414373306 creator A5027189391 @default.
• W2414373306 creator A5034725046 @default.
• W2414373306 creator A5061887820 @default.
• W2414373306 date "2016-03-01" @default.
• W2414373306 modified "2023-09-27" @default.
• W2414373306 title "Symbolic probabilistic analysis and verification of inter-organizational workflow" @default.
• W2414373306 cites W1489021242 @default.
• W2414373306 cites W1498125516 @default.
• W2414373306 cites W1498432697 @default.
• W2414373306 cites W1553940723 @default.
• W2414373306 cites W1557855756 @default.
• W2414373306 cites W161838640 @default.
• W2414373306 cites W1862398452 @default.
• W2414373306 cites W1981626968 @default.
• W2414373306 cites W1983164770 @default.
• W2414373306 cites W2005998857 @default.
• W2414373306 cites W2047217912 @default.
• W2414373306 cites W2061438988 @default.
• W2414373306 cites W2063414857 @default.
• W2414373306 cites W2080813827 @default.
• W2414373306 cites W2083082200 @default.
• W2414373306 cites W2113136060 @default.
• W2414373306 cites W2143669126 @default.
• W2414373306 cites W2148398388 @default.
• W2414373306 cites W2153074919 @default.
• W2414373306 cites W2165161585 @default.
• W2414373306 cites W2168605507 @default.
• W2414373306 cites W2171500111 @default.
• W2414373306 cites W2173220606 @default.
• W2414373306 cites W2607679022 @default.
• W2414373306 cites W3157616899 @default.
• W2414373306 cites W798922765 @default.
• W2414373306 doi "https://doi.org/10.1109/it4od.2016.7479276" @default.
• W2414373306 hasPublicationYear "2016" @default.
• W2414373306 type Work @default.
• W2414373306 sameAs 2414373306 @default.
• W2414373306 citedByCount "1" @default.
• W2414373306 countsByYear W24143733062018 @default.
• W2414373306 crossrefType "proceedings-article" @default.
• W2414373306 hasAuthorship W2414373306A5027189391 @default.
• W2414373306 hasAuthorship W2414373306A5034725046 @default.
• W2414373306 hasAuthorship W2414373306A5061887820 @default.
• W2414373306 hasConcept C107094494 @default.
• W2414373306 hasConcept C110251889 @default.
• W2414373306 hasConcept C111498074 @default.
• W2414373306 hasConcept C127413603 @default.
• W2414373306 hasConcept C154945302 @default.
• W2414373306 hasConcept C177212765 @default.
• W2414373306 hasConcept C199360897 @default.
• W2414373306 hasConcept C200601418 @default.
• W2414373306 hasConcept C24404364 @default.
• W2414373306 hasConcept C41008148 @default.
• W2414373306 hasConcept C49937458 @default.
• W2414373306 hasConcept C52063229 @default.
• W2414373306 hasConcept C55439883 @default.
• W2414373306 hasConcept C77088390 @default.
• W2414373306 hasConcept C80444323 @default.
• W2414373306 hasConceptScore W2414373306C107094494 @default.
• W2414373306 hasConceptScore W2414373306C110251889 @default.
• W2414373306 hasConceptScore W2414373306C111498074 @default.
• W2414373306 hasConceptScore W2414373306C127413603 @default.
• W2414373306 hasConceptScore W2414373306C154945302 @default.
• W2414373306 hasConceptScore W2414373306C177212765 @default.
• W2414373306 hasConceptScore W2414373306C199360897 @default.
• W2414373306 hasConceptScore W2414373306C200601418 @default.
• W2414373306 hasConceptScore W2414373306C24404364 @default.
• W2414373306 hasConceptScore W2414373306C41008148 @default.
• W2414373306 hasConceptScore W2414373306C49937458 @default.
• W2414373306 hasConceptScore W2414373306C52063229 @default.
• W2414373306 hasConceptScore W2414373306C55439883 @default.
• W2414373306 hasConceptScore W2414373306C77088390 @default.
• W2414373306 hasConceptScore W2414373306C80444323 @default.
• W2414373306 hasLocation W24143733061 @default.
• W2414373306 hasOpenAccess W2414373306 @default.
• W2414373306 hasPrimaryLocation W24143733061 @default.
• W2414373306 hasRelatedWork W1480105416 @default.
• W2414373306 hasRelatedWork W1496424806 @default.
• W2414373306 hasRelatedWork W1516288898 @default.
• W2414373306 hasRelatedWork W1532183266 @default.
• W2414373306 hasRelatedWork W1534744419 @default.
• W2414373306 hasRelatedWork W1565193401 @default.
• W2414373306 hasRelatedWork W1588072165 @default.
• W2414373306 hasRelatedWork W1656829835 @default.
• W2414373306 hasRelatedWork W2031923803 @default.
• W2414373306 hasRelatedWork W2043564985 @default.
• W2414373306 hasRelatedWork W2049732567 @default.
• W2414373306 hasRelatedWork W2062335277 @default.
• W2414373306 hasRelatedWork W2097271450 @default.
• W2414373306 hasRelatedWork W2129590195 @default.
• W2414373306 hasRelatedWork W2343090072 @default.
• W2414373306 hasRelatedWork W2352814755 @default.
• W2414373306 hasRelatedWork W255025080 @default.
• W2414373306 hasRelatedWork W355668559 @default.
• W2414373306 hasRelatedWork W622304541 @default.
• W2414373306 hasRelatedWork W1823061304 @default.
• W2414373306 isParatext "false" @default.
• W2414373306 isRetracted "false" @default.
• W2414373306 magId "2414373306" @default.

• next