Matches in SemOpenAlex for { <https://semopenalex.org/work/W2121812942> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2121812942 endingPage "199" @default.
- W2121812942 startingPage "190" @default.
- W2121812942 abstract "An embedded system usually consists of a set of sensors cooperating with one or more decisions centres. The design of such a system complicates in respect of both a complicated scheme of components interconnections and their parallel execution. In practice, the latter one excludes testing as a way to guarantee an expected level of a system quality. Thus, a formal verification of such systems is necessary. Alvis is a novel modelling language designed especially for embedded systems. However, it can be used for modelling any information system with concurrent activities. The key concept of Alvis is an agent that denotes any distinguished part of the system under consideration with defined identity persisting in time. The behaviour of agents is defined using Alvis Code Language (AlvisCL) that resembles high level programming languages. Interconnections among agents are defined using Communication Diagrams (AlvisCD) - a visual hierarchical modelling notation. For formal verification purposes, an LTS graph (Labelled Transition System) is generated for an Alvis model. The paper deals with the problem of encoding time relationships with LTS graphs if a model with agents that run concurrently is considered. As a solution, snapshot reachability graphs are proposed." @default.
- W2121812942 created "2016-06-24" @default.
- W2121812942 creator A5037638397 @default.
- W2121812942 creator A5039657956 @default.
- W2121812942 date "2011-01-01" @default.
- W2121812942 modified "2023-10-01" @default.
- W2121812942 title "Snapshot Reachability Graphs for Alvis Models" @default.
- W2121812942 cites W1507281497 @default.
- W2121812942 cites W1641456500 @default.
- W2121812942 cites W189322906 @default.
- W2121812942 cites W1996109622 @default.
- W2121812942 cites W2101508170 @default.
- W2121812942 cites W2150220388 @default.
- W2121812942 cites W4252542281 @default.
- W2121812942 doi "https://doi.org/10.1007/978-3-642-23851-2_20" @default.
- W2121812942 hasPublicationYear "2011" @default.
- W2121812942 type Work @default.
- W2121812942 sameAs 2121812942 @default.
- W2121812942 citedByCount "2" @default.
- W2121812942 countsByYear W21218129422013 @default.
- W2121812942 crossrefType "book-chapter" @default.
- W2121812942 hasAuthorship W2121812942A5037638397 @default.
- W2121812942 hasAuthorship W2121812942A5039657956 @default.
- W2121812942 hasConcept C110251889 @default.
- W2121812942 hasConcept C111498074 @default.
- W2121812942 hasConcept C111919701 @default.
- W2121812942 hasConcept C120314980 @default.
- W2121812942 hasConcept C132525143 @default.
- W2121812942 hasConcept C136643341 @default.
- W2121812942 hasConcept C177264268 @default.
- W2121812942 hasConcept C182620335 @default.
- W2121812942 hasConcept C199360897 @default.
- W2121812942 hasConcept C41008148 @default.
- W2121812942 hasConcept C55282118 @default.
- W2121812942 hasConcept C80444323 @default.
- W2121812942 hasConceptScore W2121812942C110251889 @default.
- W2121812942 hasConceptScore W2121812942C111498074 @default.
- W2121812942 hasConceptScore W2121812942C111919701 @default.
- W2121812942 hasConceptScore W2121812942C120314980 @default.
- W2121812942 hasConceptScore W2121812942C132525143 @default.
- W2121812942 hasConceptScore W2121812942C136643341 @default.
- W2121812942 hasConceptScore W2121812942C177264268 @default.
- W2121812942 hasConceptScore W2121812942C182620335 @default.
- W2121812942 hasConceptScore W2121812942C199360897 @default.
- W2121812942 hasConceptScore W2121812942C41008148 @default.
- W2121812942 hasConceptScore W2121812942C55282118 @default.
- W2121812942 hasConceptScore W2121812942C80444323 @default.
- W2121812942 hasLocation W21218129421 @default.
- W2121812942 hasOpenAccess W2121812942 @default.
- W2121812942 hasPrimaryLocation W21218129421 @default.
- W2121812942 hasRelatedWork W103868138 @default.
- W2121812942 hasRelatedWork W124151435 @default.
- W2121812942 hasRelatedWork W1585015977 @default.
- W2121812942 hasRelatedWork W179646780 @default.
- W2121812942 hasRelatedWork W1966415308 @default.
- W2121812942 hasRelatedWork W1986915692 @default.
- W2121812942 hasRelatedWork W1993650803 @default.
- W2121812942 hasRelatedWork W2061230361 @default.
- W2121812942 hasRelatedWork W2124586773 @default.
- W2121812942 hasRelatedWork W2156958255 @default.
- W2121812942 hasRelatedWork W2295167139 @default.
- W2121812942 hasRelatedWork W2490205482 @default.
- W2121812942 hasRelatedWork W2518584228 @default.
- W2121812942 hasRelatedWork W2605093234 @default.
- W2121812942 hasRelatedWork W2760374955 @default.
- W2121812942 hasRelatedWork W2810816702 @default.
- W2121812942 hasRelatedWork W3021455043 @default.
- W2121812942 hasRelatedWork W3046246689 @default.
- W2121812942 hasRelatedWork W320378117 @default.
- W2121812942 hasRelatedWork W1809252806 @default.
- W2121812942 isParatext "false" @default.
- W2121812942 isRetracted "false" @default.
- W2121812942 magId "2121812942" @default.
- W2121812942 workType "book-chapter" @default.