FRINK Linked Data Fragments server

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

• W2085752404 endingPage "660" @default.
• W2085752404 startingPage "647" @default.
• W2085752404 abstract "Choreographies are contracts specifying from a global point of view the legal interactions that must take place among a set of services. Such a contract may serve as a reference in the development of concurrent distributed system, whether it is achieved following a top-down or a bottom-up approach. In this article, we present VerChor, a generic, modular, and extensible framework for supporting the development based on choreographies. It relies on a choreography intermediate format (CIF) into which several existing choreography description languages can be transformed. VerChor builds around a set of formal properties whose verification is central to choreography-based development. To support this development process, we propose a connection between CIF and the CADP verification toolbox, which enables the full automation of the aforementioned properties. Finally, we illustrate a practical use of the VerChor framework through its integration with the Eclipse BPMN 2.0 designer." @default.
• W2085752404 created "2016-06-24" @default.
• W2085752404 creator A5019071560 @default.
• W2085752404 creator A5034850670 @default.
• W2085752404 creator A5055773964 @default.
• W2085752404 creator A5059839916 @default.
• W2085752404 date "2016-07-01" @default.
• W2085752404 modified "2023-10-06" @default.
• W2085752404 title "VerChor: A Framework for the Design and Verification of Choreographies" @default.
• W2085752404 cites W113612102 @default.
• W2085752404 cites W1411829759 @default.
• W2085752404 cites W1514339125 @default.
• W2085752404 cites W1537297192 @default.
• W2085752404 cites W1547318521 @default.
• W2085752404 cites W1564561023 @default.
• W2085752404 cites W1580304509 @default.
• W2085752404 cites W1583751030 @default.
• W2085752404 cites W1605031929 @default.
• W2085752404 cites W1711877719 @default.
• W2085752404 cites W1780016311 @default.
• W2085752404 cites W1847546433 @default.
• W2085752404 cites W1980824962 @default.
• W2085752404 cites W1981626968 @default.
• W2085752404 cites W2021418918 @default.
• W2085752404 cites W2038408649 @default.
• W2085752404 cites W2039677165 @default.
• W2085752404 cites W2040105559 @default.
• W2085752404 cites W2041055242 @default.
• W2085752404 cites W2059243982 @default.
• W2085752404 cites W207712176 @default.
• W2085752404 cites W2089188398 @default.
• W2085752404 cites W2096699267 @default.
• W2085752404 cites W2100891401 @default.
• W2085752404 cites W2144531585 @default.
• W2085752404 cites W2144807091 @default.
• W2085752404 cites W2147841033 @default.
• W2085752404 cites W2148254432 @default.
• W2085752404 cites W2151369927 @default.
• W2085752404 cites W2157252812 @default.
• W2085752404 cites W2159263584 @default.
• W2085752404 cites W3037395439 @default.
• W2085752404 cites W4206815346 @default.
• W2085752404 cites W4239234361 @default.
• W2085752404 cites W4246325880 @default.
• W2085752404 cites W47178408 @default.
• W2085752404 doi "https://doi.org/10.1109/tsc.2015.2413401" @default.
• W2085752404 hasPublicationYear "2016" @default.
• W2085752404 type Work @default.
• W2085752404 sameAs 2085752404 @default.
• W2085752404 citedByCount "33" @default.
• W2085752404 countsByYear W20857524042017 @default.
• W2085752404 countsByYear W20857524042018 @default.
• W2085752404 countsByYear W20857524042019 @default.
• W2085752404 countsByYear W20857524042020 @default.
• W2085752404 countsByYear W20857524042021 @default.
• W2085752404 countsByYear W20857524042022 @default.
• W2085752404 crossrefType "journal-article" @default.
• W2085752404 hasAuthorship W2085752404A5019071560 @default.
• W2085752404 hasAuthorship W2085752404A5034850670 @default.
• W2085752404 hasAuthorship W2085752404A5055773964 @default.
• W2085752404 hasAuthorship W2085752404A5059839916 @default.
• W2085752404 hasBestOaLocation W20857524042 @default.
• W2085752404 hasConcept C101468663 @default.
• W2085752404 hasConcept C115903868 @default.
• W2085752404 hasConcept C121332964 @default.
• W2085752404 hasConcept C124952713 @default.
• W2085752404 hasConcept C127413603 @default.
• W2085752404 hasConcept C1276947 @default.
• W2085752404 hasConcept C134306372 @default.
• W2085752404 hasConcept C142362112 @default.
• W2085752404 hasConcept C147446459 @default.
• W2085752404 hasConcept C174998907 @default.
• W2085752404 hasConcept C177264268 @default.
• W2085752404 hasConcept C179299601 @default.
• W2085752404 hasConcept C183920142 @default.
• W2085752404 hasConcept C199360897 @default.
• W2085752404 hasConcept C201995342 @default.
• W2085752404 hasConcept C207505557 @default.
• W2085752404 hasConcept C21547014 @default.
• W2085752404 hasConcept C2776542497 @default.
• W2085752404 hasConcept C2777655017 @default.
• W2085752404 hasConcept C2778505590 @default.
• W2085752404 hasConcept C32833848 @default.
• W2085752404 hasConcept C33923547 @default.
• W2085752404 hasConcept C41008148 @default.
• W2085752404 hasConcept C85345410 @default.
• W2085752404 hasConcept C98045186 @default.
• W2085752404 hasConceptScore W2085752404C101468663 @default.
• W2085752404 hasConceptScore W2085752404C115903868 @default.
• W2085752404 hasConceptScore W2085752404C121332964 @default.
• W2085752404 hasConceptScore W2085752404C124952713 @default.
• W2085752404 hasConceptScore W2085752404C127413603 @default.
• W2085752404 hasConceptScore W2085752404C1276947 @default.
• W2085752404 hasConceptScore W2085752404C134306372 @default.
• W2085752404 hasConceptScore W2085752404C142362112 @default.
• W2085752404 hasConceptScore W2085752404C147446459 @default.
• W2085752404 hasConceptScore W2085752404C174998907 @default.
• W2085752404 hasConceptScore W2085752404C177264268 @default.

• next