FRINK Linked Data Fragments server

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

• W2967179464 abstract "The CONNECT project aims to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with each other via on-the-fly synthesis of emergent connectors. The role of Work Package 2 (WP2) is to investigate the foundations and verification methods for composable connectors, so that support is provided for composition of networked systems, whilst enabling automated learning, reasoning and synthesis. In the second year, we focused our attention on providing an underpinning for a framework capable of supporting the dimensions of interest to the project, and the generalisation of assume-guarantee properties beyond probabilistic safety properties, in addition to supporting the automated learning of assumptions. In this deliverable, we report on work carried out in two streams, compositional theory of connector behaviours and compositional assume-guarantee verification for probabilistic automata, which we are beginning to bring together. At the theory level, we first considered several probabilistic models, focusing on their interactive behaviour and asynchronous parallel composition. We then conducted a survey of the different formalisms of component models from the viewpoint of whether they supported a number of operators (e.g. parallel composition, conjunction and quotient) and a refinement relation. Based on this, we concluded that interface automata were one of the most amenable formalisms for basing an algebra of CONNECTors upon. We have formulated a preliminary (non-quantitative) connector algebra for resolving protocol mismatches based on interface automata. A software tool IAAnalyzer was implemented to allow users to create interface automata models using the connector algebra. In order to address the need for a quantitative extension, we have proposed a specification theory based on a probabilistic extension of interface automata. In the second stream, we continued our work on compositional assume-guarantee verification for probabilistic automata, extending the framework to allow, as assumptions and guarantees, a broader class of quantitative multi-objective properties which include probabilistic liveness and expected rewards. We also proposed a novel learning technique based on the L* algorithm, which automatically generates probabilistic (safety) assumptions using the results of queries executed by a probabilistic model checker. These two techniques have been implemented for PRISM, a well-known probabilistic model checker. Finally, we have laid the foundations for a comprehensive framework capable of modelling the quantitative (in particular the probabilistic) behaviour of arbitrary components and associated compositional assume-guarantee proof rules. Connectors arise as certain types of components. This framework is intended to integrate the two streams of work." @default.
• W2967179464 created "2019-08-22" @default.
• W2967179464 creator A5008647250 @default.
• W2967179464 creator A5009514870 @default.
• W2967179464 creator A5011748603 @default.
• W2967179464 creator A5039484805 @default.
• W2967179464 creator A5040107971 @default.
• W2967179464 creator A5044201375 @default.
• W2967179464 creator A5058172736 @default.
• W2967179464 creator A5059964100 @default.
• W2967179464 creator A5061991704 @default.
• W2967179464 creator A5081710233 @default.
• W2967179464 creator A5082849720 @default.
• W2967179464 creator A5083153693 @default.
• W2967179464 date "2011-02-18" @default.
• W2967179464 modified "2023-10-18" @default.
• W2967179464 title "Compositional Algebra of CONNECTors" @default.
• W2967179464 hasPublicationYear "2011" @default.
• W2967179464 type Work @default.
• W2967179464 sameAs 2967179464 @default.
• W2967179464 citedByCount "1" @default.
• W2967179464 crossrefType "journal-article" @default.
• W2967179464 hasAuthorship W2967179464A5008647250 @default.
• W2967179464 hasAuthorship W2967179464A5009514870 @default.
• W2967179464 hasAuthorship W2967179464A5011748603 @default.
• W2967179464 hasAuthorship W2967179464A5039484805 @default.
• W2967179464 hasAuthorship W2967179464A5040107971 @default.
• W2967179464 hasAuthorship W2967179464A5044201375 @default.
• W2967179464 hasAuthorship W2967179464A5058172736 @default.
• W2967179464 hasAuthorship W2967179464A5059964100 @default.
• W2967179464 hasAuthorship W2967179464A5061991704 @default.
• W2967179464 hasAuthorship W2967179464A5081710233 @default.
• W2967179464 hasAuthorship W2967179464A5082849720 @default.
• W2967179464 hasAuthorship W2967179464A5083153693 @default.
• W2967179464 hasConcept C113843644 @default.
• W2967179464 hasConcept C121332964 @default.
• W2967179464 hasConcept C129307140 @default.
• W2967179464 hasConcept C151319957 @default.
• W2967179464 hasConcept C154945302 @default.
• W2967179464 hasConcept C157915830 @default.
• W2967179464 hasConcept C168167062 @default.
• W2967179464 hasConcept C171018156 @default.
• W2967179464 hasConcept C173608175 @default.
• W2967179464 hasConcept C2524010 @default.
• W2967179464 hasConcept C31258907 @default.
• W2967179464 hasConcept C33923547 @default.
• W2967179464 hasConcept C41008148 @default.
• W2967179464 hasConcept C49937458 @default.
• W2967179464 hasConcept C80444323 @default.
• W2967179464 hasConcept C97355855 @default.
• W2967179464 hasConceptScore W2967179464C113843644 @default.
• W2967179464 hasConceptScore W2967179464C121332964 @default.
• W2967179464 hasConceptScore W2967179464C129307140 @default.
• W2967179464 hasConceptScore W2967179464C151319957 @default.
• W2967179464 hasConceptScore W2967179464C154945302 @default.
• W2967179464 hasConceptScore W2967179464C157915830 @default.
• W2967179464 hasConceptScore W2967179464C168167062 @default.
• W2967179464 hasConceptScore W2967179464C171018156 @default.
• W2967179464 hasConceptScore W2967179464C173608175 @default.
• W2967179464 hasConceptScore W2967179464C2524010 @default.
• W2967179464 hasConceptScore W2967179464C31258907 @default.
• W2967179464 hasConceptScore W2967179464C33923547 @default.
• W2967179464 hasConceptScore W2967179464C41008148 @default.
• W2967179464 hasConceptScore W2967179464C49937458 @default.
• W2967179464 hasConceptScore W2967179464C80444323 @default.
• W2967179464 hasConceptScore W2967179464C97355855 @default.
• W2967179464 hasOpenAccess W2967179464 @default.
• W2967179464 hasRelatedWork W1517384256 @default.
• W2967179464 hasRelatedWork W1552533796 @default.
• W2967179464 hasRelatedWork W1584965098 @default.
• W2967179464 hasRelatedWork W1822842849 @default.
• W2967179464 hasRelatedWork W2050687203 @default.
• W2967179464 hasRelatedWork W2232679946 @default.
• W2967179464 hasRelatedWork W2282895087 @default.
• W2967179464 hasRelatedWork W2286372242 @default.
• W2967179464 hasRelatedWork W2289372141 @default.
• W2967179464 hasRelatedWork W2293287097 @default.
• W2967179464 hasRelatedWork W2294126384 @default.
• W2967179464 hasRelatedWork W2329672299 @default.
• W2967179464 hasRelatedWork W2394934717 @default.
• W2967179464 hasRelatedWork W2499919860 @default.
• W2967179464 hasRelatedWork W2564648803 @default.
• W2967179464 hasRelatedWork W2757758944 @default.
• W2967179464 hasRelatedWork W2982240535 @default.
• W2967179464 hasRelatedWork W3008719185 @default.
• W2967179464 hasRelatedWork W3085286930 @default.
• W2967179464 hasRelatedWork W3150477774 @default.
• W2967179464 isParatext "false" @default.
• W2967179464 isRetracted "false" @default.
• W2967179464 magId "2967179464" @default.
• W2967179464 workType "article" @default.