Matches in SemOpenAlex for { <https://semopenalex.org/work/W2533003717> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2533003717 endingPage "04008" @default.
- W2533003717 startingPage "04008" @default.
- W2533003717 abstract "The derivation of formal specifications from large and complex requirements is a key challenge in systems engineering. In this paper we present an approach that aims to address this challenge by building formal models from OWL ontologies. An ontology is used in the field of knowledge representation to capture a clear view of the domain and to produce a concise and unambiguous set of domain requirements. We harness the power of ontologies to handle inconsistency of domain requirements and produce clear, concise and unambiguous set of domain requirements for Event-B modelling. The proposed approach works by generating Attempto Controlled English (ACE) from the OWL ontology and then maps the ACE requirements to develop Event-B models. ACE is a subset of English that can be unambiguously translated into first-order logic. There is an injective mapping between OWL ontology and a subset of ACE. ACE is a suitable interlingua for producing the mapping between OWL and Event-B models for many reasons. Firstly, ACE is easy to learn and understand, it hides the math of OWL and would be natural to use by everybody. Secondly ACE has a parser that converts ACE texts into Discourse Representation Structures (DRS). Finally, ACE can be extended to target a richer syntactic subset of Event-B which ultimately would facilitate the translation of ACE requirements to Event-B." @default.
- W2533003717 created "2016-10-28" @default.
- W2533003717 creator A5071625361 @default.
- W2533003717 date "2016-01-01" @default.
- W2533003717 modified "2023-09-26" @default.
- W2533003717 title "Derivation of Event-B Models from OWL Ontologies" @default.
- W2533003717 cites W1971486022 @default.
- W2533003717 cites W4244819751 @default.
- W2533003717 doi "https://doi.org/10.1051/matecconf/20167604008" @default.
- W2533003717 hasPublicationYear "2016" @default.
- W2533003717 type Work @default.
- W2533003717 sameAs 2533003717 @default.
- W2533003717 citedByCount "7" @default.
- W2533003717 countsByYear W25330037172017 @default.
- W2533003717 countsByYear W25330037172018 @default.
- W2533003717 countsByYear W25330037172019 @default.
- W2533003717 countsByYear W25330037172020 @default.
- W2533003717 countsByYear W25330037172021 @default.
- W2533003717 countsByYear W25330037172022 @default.
- W2533003717 crossrefType "journal-article" @default.
- W2533003717 hasAuthorship W2533003717A5071625361 @default.
- W2533003717 hasBestOaLocation W25330037171 @default.
- W2533003717 hasConcept C101230327 @default.
- W2533003717 hasConcept C102993220 @default.
- W2533003717 hasConcept C111472728 @default.
- W2533003717 hasConcept C121332964 @default.
- W2533003717 hasConcept C134306372 @default.
- W2533003717 hasConcept C138885662 @default.
- W2533003717 hasConcept C154945302 @default.
- W2533003717 hasConcept C161301231 @default.
- W2533003717 hasConcept C167379230 @default.
- W2533003717 hasConcept C17744445 @default.
- W2533003717 hasConcept C186644900 @default.
- W2533003717 hasConcept C199360897 @default.
- W2533003717 hasConcept C199539241 @default.
- W2533003717 hasConcept C204321447 @default.
- W2533003717 hasConcept C2129575 @default.
- W2533003717 hasConcept C25810664 @default.
- W2533003717 hasConcept C2776359362 @default.
- W2533003717 hasConcept C2779662365 @default.
- W2533003717 hasConcept C33923547 @default.
- W2533003717 hasConcept C36503486 @default.
- W2533003717 hasConcept C41008148 @default.
- W2533003717 hasConcept C50382505 @default.
- W2533003717 hasConcept C62520636 @default.
- W2533003717 hasConcept C94625758 @default.
- W2533003717 hasConceptScore W2533003717C101230327 @default.
- W2533003717 hasConceptScore W2533003717C102993220 @default.
- W2533003717 hasConceptScore W2533003717C111472728 @default.
- W2533003717 hasConceptScore W2533003717C121332964 @default.
- W2533003717 hasConceptScore W2533003717C134306372 @default.
- W2533003717 hasConceptScore W2533003717C138885662 @default.
- W2533003717 hasConceptScore W2533003717C154945302 @default.
- W2533003717 hasConceptScore W2533003717C161301231 @default.
- W2533003717 hasConceptScore W2533003717C167379230 @default.
- W2533003717 hasConceptScore W2533003717C17744445 @default.
- W2533003717 hasConceptScore W2533003717C186644900 @default.
- W2533003717 hasConceptScore W2533003717C199360897 @default.
- W2533003717 hasConceptScore W2533003717C199539241 @default.
- W2533003717 hasConceptScore W2533003717C204321447 @default.
- W2533003717 hasConceptScore W2533003717C2129575 @default.
- W2533003717 hasConceptScore W2533003717C25810664 @default.
- W2533003717 hasConceptScore W2533003717C2776359362 @default.
- W2533003717 hasConceptScore W2533003717C2779662365 @default.
- W2533003717 hasConceptScore W2533003717C33923547 @default.
- W2533003717 hasConceptScore W2533003717C36503486 @default.
- W2533003717 hasConceptScore W2533003717C41008148 @default.
- W2533003717 hasConceptScore W2533003717C50382505 @default.
- W2533003717 hasConceptScore W2533003717C62520636 @default.
- W2533003717 hasConceptScore W2533003717C94625758 @default.
- W2533003717 hasLocation W25330037171 @default.
- W2533003717 hasLocation W25330037172 @default.
- W2533003717 hasOpenAccess W2533003717 @default.
- W2533003717 hasPrimaryLocation W25330037171 @default.
- W2533003717 hasRelatedWork W100862262 @default.
- W2533003717 hasRelatedWork W1494700156 @default.
- W2533003717 hasRelatedWork W1759289205 @default.
- W2533003717 hasRelatedWork W180507639 @default.
- W2533003717 hasRelatedWork W2048058757 @default.
- W2533003717 hasRelatedWork W2738564923 @default.
- W2533003717 hasRelatedWork W2809170218 @default.
- W2533003717 hasRelatedWork W2885025208 @default.
- W2533003717 hasRelatedWork W70786153 @default.
- W2533003717 hasRelatedWork W2583641166 @default.
- W2533003717 hasVolume "76" @default.
- W2533003717 isParatext "false" @default.
- W2533003717 isRetracted "false" @default.
- W2533003717 magId "2533003717" @default.
- W2533003717 workType "article" @default.