FRINK Linked Data Fragments server

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

• W2579463208 abstract "Design-by-Contract approaches have proved essential for the development of complex cyber-physical systems with many parallel and heterogeneous components. The heterogeneity requires separation of design concerns by introducing multi-view contracts to support compositional design and verification. In some model-based development methodologies the alternative design views are supposed to be addressed by different formal methods each being most relevant to a view. In practical design the clean separation of views is not always obvious or even possible due to the dependencies and semantic overlaps between the views. Although the overlap of views introduces some redundancy, it can be turned beneficial for simplifying the design integration if explicitly addressed by the co-use of formal methods. In this paper we specify the component contracts by Event-B and Uppaal Timed Automata used respectively for behavioural and timing views and show how to combine them to merge different views in contracts. Relying on our previous results on the mapping between Event-B and Uppaal Timed Automata we extend this mapping to views of a contract and provide the verification conditions for each view separately as well as for their compatibility. We demonstrate the relevance of the approach with a Multi Robot System coordination case-study addressing the interdependencies of behavioural and timing constraints exposed in the cooperative multi-robot coverage problem." @default.
• W2579463208 created "2017-01-26" @default.
• W2579463208 creator A5012544083 @default.
• W2579463208 creator A5021323677 @default.
• W2579463208 creator A5031037381 @default.
• W2579463208 date "2016-11-01" @default.
• W2579463208 modified "2023-09-26" @default.
• W2579463208 title "Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata" @default.
• W2579463208 cites W1509248893 @default.
• W2579463208 cites W1514172519 @default.
• W2579463208 cites W1524760418 @default.
• W2579463208 cites W1527646542 @default.
• W2579463208 cites W1550512690 @default.
• W2579463208 cites W1556900989 @default.
• W2579463208 cites W1564787711 @default.
• W2579463208 cites W1578389145 @default.
• W2579463208 cites W1776738182 @default.
• W2579463208 cites W1836432192 @default.
• W2579463208 cites W1962072139 @default.
• W2579463208 cites W1994901326 @default.
• W2579463208 cites W2061870984 @default.
• W2579463208 cites W2096282030 @default.
• W2579463208 cites W2101082290 @default.
• W2579463208 cites W2106948603 @default.
• W2579463208 cites W2108394166 @default.
• W2579463208 cites W2143110421 @default.
• W2579463208 cites W2156314014 @default.
• W2579463208 cites W2279558956 @default.
• W2579463208 cites W2506083135 @default.
• W2579463208 cites W2773674325 @default.
• W2579463208 cites W291301762 @default.
• W2579463208 cites W97195303 @default.
• W2579463208 doi "https://doi.org/10.1109/iceccs.2016.024" @default.
• W2579463208 hasPublicationYear "2016" @default.
• W2579463208 type Work @default.
• W2579463208 sameAs 2579463208 @default.
• W2579463208 citedByCount "1" @default.
• W2579463208 countsByYear W25794632082018 @default.
• W2579463208 crossrefType "proceedings-article" @default.
• W2579463208 hasAuthorship W2579463208A5012544083 @default.
• W2579463208 hasAuthorship W2579463208A5021323677 @default.
• W2579463208 hasAuthorship W2579463208A5031037381 @default.
• W2579463208 hasConcept C110251889 @default.
• W2579463208 hasConcept C111498074 @default.
• W2579463208 hasConcept C111919701 @default.
• W2579463208 hasConcept C112505250 @default.
• W2579463208 hasConcept C115903868 @default.
• W2579463208 hasConcept C120314980 @default.
• W2579463208 hasConcept C121332964 @default.
• W2579463208 hasConcept C152124472 @default.
• W2579463208 hasConcept C17744445 @default.
• W2579463208 hasConcept C185874996 @default.
• W2579463208 hasConcept C197129107 @default.
• W2579463208 hasConcept C199360897 @default.
• W2579463208 hasConcept C199539241 @default.
• W2579463208 hasConcept C23123220 @default.
• W2579463208 hasConcept C2777904410 @default.
• W2579463208 hasConcept C2779662365 @default.
• W2579463208 hasConcept C41008148 @default.
• W2579463208 hasConcept C62520636 @default.
• W2579463208 hasConcept C76214141 @default.
• W2579463208 hasConcept C80444323 @default.
• W2579463208 hasConceptScore W2579463208C110251889 @default.
• W2579463208 hasConceptScore W2579463208C111498074 @default.
• W2579463208 hasConceptScore W2579463208C111919701 @default.
• W2579463208 hasConceptScore W2579463208C112505250 @default.
• W2579463208 hasConceptScore W2579463208C115903868 @default.
• W2579463208 hasConceptScore W2579463208C120314980 @default.
• W2579463208 hasConceptScore W2579463208C121332964 @default.
• W2579463208 hasConceptScore W2579463208C152124472 @default.
• W2579463208 hasConceptScore W2579463208C17744445 @default.
• W2579463208 hasConceptScore W2579463208C185874996 @default.
• W2579463208 hasConceptScore W2579463208C197129107 @default.
• W2579463208 hasConceptScore W2579463208C199360897 @default.
• W2579463208 hasConceptScore W2579463208C199539241 @default.
• W2579463208 hasConceptScore W2579463208C23123220 @default.
• W2579463208 hasConceptScore W2579463208C2777904410 @default.
• W2579463208 hasConceptScore W2579463208C2779662365 @default.
• W2579463208 hasConceptScore W2579463208C41008148 @default.
• W2579463208 hasConceptScore W2579463208C62520636 @default.
• W2579463208 hasConceptScore W2579463208C76214141 @default.
• W2579463208 hasConceptScore W2579463208C80444323 @default.
• W2579463208 hasLocation W25794632081 @default.
• W2579463208 hasOpenAccess W2579463208 @default.
• W2579463208 hasPrimaryLocation W25794632081 @default.
• W2579463208 hasRelatedWork W1514230248 @default.
• W2579463208 hasRelatedWork W1575520076 @default.
• W2579463208 hasRelatedWork W2112461649 @default.
• W2579463208 hasRelatedWork W2113015655 @default.
• W2579463208 hasRelatedWork W2159666177 @default.
• W2579463208 hasRelatedWork W2182253981 @default.
• W2579463208 hasRelatedWork W2187038411 @default.
• W2579463208 hasRelatedWork W2276000197 @default.
• W2579463208 hasRelatedWork W2286372242 @default.
• W2579463208 hasRelatedWork W2394934717 @default.
• W2579463208 hasRelatedWork W2562722502 @default.
• W2579463208 hasRelatedWork W2597460389 @default.
• W2579463208 hasRelatedWork W2614673262 @default.
• W2579463208 hasRelatedWork W2769005473 @default.
• W2579463208 hasRelatedWork W2800376039 @default.

• next