Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233981049> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4233981049 endingPage "988" @default.
- W4233981049 startingPage "987" @default.
- W4233981049 abstract "The paper presents a framework dedicated to the analysis and design of Discrete Event Systems. More precisely, it proposes a set of generic functions that makes it possible the integration of various modeling languages and tools. As an illustration, the paper explains how to: specify behaviors by using the Eclipse Modeling Framework, validate these behaviors by using the model checker LTSA, run/implement the models into the general functional programming language Haskell. The framework is based on the concept of “functional metamodeling” on which modeling elements are specified by constructor functions, and are related by using higher-order functions. As an advantage of this formalization, one can prove that models that pass from one tool to another stay equivalent, i.e. essential information is not lost." @default.
- W4233981049 created "2022-05-12" @default.
- W4233981049 creator A5005248528 @default.
- W4233981049 creator A5060942686 @default.
- W4233981049 creator A5075649123 @default.
- W4233981049 date "2004-12-01" @default.
- W4233981049 modified "2023-10-01" @default.
- W4233981049 doi "https://doi.org/10.1016/s0950-5849(04)00108-9" @default.
- W4233981049 hasPublicationYear "2004" @default.
- W4233981049 type Work @default.
- W4233981049 citedByCount "0" @default.
- W4233981049 crossrefType "journal-article" @default.
- W4233981049 hasAuthorship W4233981049A5005248528 @default.
- W4233981049 hasAuthorship W4233981049A5060942686 @default.
- W4233981049 hasAuthorship W4233981049A5075649123 @default.
- W4233981049 hasConcept C110326360 @default.
- W4233981049 hasConcept C111919701 @default.
- W4233981049 hasConcept C115903868 @default.
- W4233981049 hasConcept C121332964 @default.
- W4233981049 hasConcept C1276947 @default.
- W4233981049 hasConcept C153048206 @default.
- W4233981049 hasConcept C177264268 @default.
- W4233981049 hasConcept C179603123 @default.
- W4233981049 hasConcept C199360897 @default.
- W4233981049 hasConcept C2777904410 @default.
- W4233981049 hasConcept C2778505590 @default.
- W4233981049 hasConcept C2780624054 @default.
- W4233981049 hasConcept C41008148 @default.
- W4233981049 hasConcept C42383842 @default.
- W4233981049 hasConcept C86610423 @default.
- W4233981049 hasConcept C93518851 @default.
- W4233981049 hasConceptScore W4233981049C110326360 @default.
- W4233981049 hasConceptScore W4233981049C111919701 @default.
- W4233981049 hasConceptScore W4233981049C115903868 @default.
- W4233981049 hasConceptScore W4233981049C121332964 @default.
- W4233981049 hasConceptScore W4233981049C1276947 @default.
- W4233981049 hasConceptScore W4233981049C153048206 @default.
- W4233981049 hasConceptScore W4233981049C177264268 @default.
- W4233981049 hasConceptScore W4233981049C179603123 @default.
- W4233981049 hasConceptScore W4233981049C199360897 @default.
- W4233981049 hasConceptScore W4233981049C2777904410 @default.
- W4233981049 hasConceptScore W4233981049C2778505590 @default.
- W4233981049 hasConceptScore W4233981049C2780624054 @default.
- W4233981049 hasConceptScore W4233981049C41008148 @default.
- W4233981049 hasConceptScore W4233981049C42383842 @default.
- W4233981049 hasConceptScore W4233981049C86610423 @default.
- W4233981049 hasConceptScore W4233981049C93518851 @default.
- W4233981049 hasIssue "15" @default.
- W4233981049 hasLocation W42339810491 @default.
- W4233981049 hasOpenAccess W4233981049 @default.
- W4233981049 hasPrimaryLocation W42339810491 @default.
- W4233981049 hasRelatedWork W1481383228 @default.
- W4233981049 hasRelatedWork W1587224678 @default.
- W4233981049 hasRelatedWork W1601811574 @default.
- W4233981049 hasRelatedWork W1607469218 @default.
- W4233981049 hasRelatedWork W1969593797 @default.
- W4233981049 hasRelatedWork W2111594816 @default.
- W4233981049 hasRelatedWork W2115737686 @default.
- W4233981049 hasRelatedWork W2177866842 @default.
- W4233981049 hasRelatedWork W4253461608 @default.
- W4233981049 hasRelatedWork W96847091 @default.
- W4233981049 hasVolume "46" @default.
- W4233981049 isParatext "false" @default.
- W4233981049 isRetracted "false" @default.
- W4233981049 workType "article" @default.