Matches in SemOpenAlex for { <https://semopenalex.org/work/W2917796447> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2917796447 endingPage "226" @default.
- W2917796447 startingPage "201" @default.
- W2917796447 abstract "Abstract This work relates to the automatic generation of logical specifications extracted directly from workflow-oriented behavioural models of software. The aim is to present a unified framework, which gives formal foundations and an algorithm for the logical specification generation process, allowing for further implementation works. Logical specifications are considered as sets of temporal logic formulas. The extraction process relies on the assumption that the entire developed model is structured purely by predefined workflow patterns. We are proposing a method to automatically transform behavioural models into logical specifications. This pattern-based feature-compositional approach, which we have denoted as ΠC, allows us to preserve the logical satisfiability, whilst guaranteeing expressiveness and naturality. Applying these concepts with user-friendly notations enables us to form a stronger link between the benefits of possessing behavioural model logical specifications, obtained automatically and on demand, with the ability to routinely analyse the developed software models in a logical style." @default.
- W2917796447 created "2019-03-02" @default.
- W2917796447 creator A5078501990 @default.
- W2917796447 date "2019-04-01" @default.
- W2917796447 modified "2023-10-03" @default.
- W2917796447 title "Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models" @default.
- W2917796447 cites W2032602169 @default.
- W2917796447 cites W2035830215 @default.
- W2917796447 cites W2066551267 @default.
- W2917796447 cites W2084802994 @default.
- W2917796447 cites W2101107197 @default.
- W2917796447 cites W2133403781 @default.
- W2917796447 cites W2169696634 @default.
- W2917796447 cites W2325779777 @default.
- W2917796447 cites W2479157210 @default.
- W2917796447 cites W2911625174 @default.
- W2917796447 cites W2914206182 @default.
- W2917796447 cites W3123419187 @default.
- W2917796447 cites W4296471858 @default.
- W2917796447 doi "https://doi.org/10.1016/j.jlamp.2019.02.005" @default.
- W2917796447 hasPublicationYear "2019" @default.
- W2917796447 type Work @default.
- W2917796447 sameAs 2917796447 @default.
- W2917796447 citedByCount "2" @default.
- W2917796447 countsByYear W29177964472019 @default.
- W2917796447 countsByYear W29177964472022 @default.
- W2917796447 crossrefType "journal-article" @default.
- W2917796447 hasAuthorship W2917796447A5078501990 @default.
- W2917796447 hasBestOaLocation W29177964471 @default.
- W2917796447 hasConcept C115903868 @default.
- W2917796447 hasConcept C138885662 @default.
- W2917796447 hasConcept C177212765 @default.
- W2917796447 hasConcept C199360897 @default.
- W2917796447 hasConcept C2777904410 @default.
- W2917796447 hasConcept C40231798 @default.
- W2917796447 hasConcept C41008148 @default.
- W2917796447 hasConcept C41895202 @default.
- W2917796447 hasConcept C77088390 @default.
- W2917796447 hasConceptScore W2917796447C115903868 @default.
- W2917796447 hasConceptScore W2917796447C138885662 @default.
- W2917796447 hasConceptScore W2917796447C177212765 @default.
- W2917796447 hasConceptScore W2917796447C199360897 @default.
- W2917796447 hasConceptScore W2917796447C2777904410 @default.
- W2917796447 hasConceptScore W2917796447C40231798 @default.
- W2917796447 hasConceptScore W2917796447C41008148 @default.
- W2917796447 hasConceptScore W2917796447C41895202 @default.
- W2917796447 hasConceptScore W2917796447C77088390 @default.
- W2917796447 hasLocation W29177964471 @default.
- W2917796447 hasOpenAccess W2917796447 @default.
- W2917796447 hasPrimaryLocation W29177964471 @default.
- W2917796447 hasRelatedWork W1527862632 @default.
- W2917796447 hasRelatedWork W2081035100 @default.
- W2917796447 hasRelatedWork W2112962394 @default.
- W2917796447 hasRelatedWork W2118300983 @default.
- W2917796447 hasRelatedWork W2135396778 @default.
- W2917796447 hasRelatedWork W2166247150 @default.
- W2917796447 hasRelatedWork W2546704476 @default.
- W2917796447 hasRelatedWork W2740990710 @default.
- W2917796447 hasRelatedWork W3137189469 @default.
- W2917796447 hasRelatedWork W4243252198 @default.
- W2917796447 hasVolume "104" @default.
- W2917796447 isParatext "false" @default.
- W2917796447 isRetracted "false" @default.
- W2917796447 magId "2917796447" @default.
- W2917796447 workType "article" @default.