Matches in SemOpenAlex for { <https://semopenalex.org/work/W3103182103> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3103182103 endingPage "8600" @default.
- W3103182103 startingPage "8581" @default.
- W3103182103 abstract "Logics and model-checking have been successfully used in the last decades for modeling and verification of various types of hardware (and software) systems. While most languages and techniques emerged in a context of monolithic systems with a limited self-adaptability, modern systems require approaches able to cope with dynamically changing requirements and emergent behaviors. The emphasis on system reconfigurability has not been followed by an adequate research effort, and the current state of the art lacks logics and model checking paradigms that can describe and analyze complex modern systems in a comprehensive way. This paper describes a case study involving the dynamic reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration and we prove workflow reconfiguration termination by providing a compilation of generic workflows into LTL, using the Bound model checker Zot. The objective of this paper is demonstrating how temporal logics and model checking are effective in proving properties of dynamic, reconfigurable and adaptable systems. This simple case study is just a proof of concept to demonstrate the feasibility of our ideas." @default.
- W3103182103 created "2020-11-23" @default.
- W3103182103 creator A5075175655 @default.
- W3103182103 date "2014-01-01" @default.
- W3103182103 modified "2023-09-25" @default.
- W3103182103 title "LTL-based verification of reconfigurable workflows" @default.
- W3103182103 cites W1491593738 @default.
- W3103182103 cites W2159179548 @default.
- W3103182103 doi "https://doi.org/10.12988/ams.2014.410816" @default.
- W3103182103 hasPublicationYear "2014" @default.
- W3103182103 type Work @default.
- W3103182103 sameAs 3103182103 @default.
- W3103182103 citedByCount "1" @default.
- W3103182103 countsByYear W31031821032021 @default.
- W3103182103 crossrefType "journal-article" @default.
- W3103182103 hasAuthorship W3103182103A5075175655 @default.
- W3103182103 hasBestOaLocation W31031821032 @default.
- W3103182103 hasConcept C110251889 @default.
- W3103182103 hasConcept C111919701 @default.
- W3103182103 hasConcept C115903868 @default.
- W3103182103 hasConcept C119701452 @default.
- W3103182103 hasConcept C120314980 @default.
- W3103182103 hasConcept C149635348 @default.
- W3103182103 hasConcept C151730666 @default.
- W3103182103 hasConcept C177212765 @default.
- W3103182103 hasConcept C177606310 @default.
- W3103182103 hasConcept C18903297 @default.
- W3103182103 hasConcept C199360897 @default.
- W3103182103 hasConcept C25016198 @default.
- W3103182103 hasConcept C2779343474 @default.
- W3103182103 hasConcept C2780149590 @default.
- W3103182103 hasConcept C41008148 @default.
- W3103182103 hasConcept C48103436 @default.
- W3103182103 hasConcept C77088390 @default.
- W3103182103 hasConcept C86803240 @default.
- W3103182103 hasConceptScore W3103182103C110251889 @default.
- W3103182103 hasConceptScore W3103182103C111919701 @default.
- W3103182103 hasConceptScore W3103182103C115903868 @default.
- W3103182103 hasConceptScore W3103182103C119701452 @default.
- W3103182103 hasConceptScore W3103182103C120314980 @default.
- W3103182103 hasConceptScore W3103182103C149635348 @default.
- W3103182103 hasConceptScore W3103182103C151730666 @default.
- W3103182103 hasConceptScore W3103182103C177212765 @default.
- W3103182103 hasConceptScore W3103182103C177606310 @default.
- W3103182103 hasConceptScore W3103182103C18903297 @default.
- W3103182103 hasConceptScore W3103182103C199360897 @default.
- W3103182103 hasConceptScore W3103182103C25016198 @default.
- W3103182103 hasConceptScore W3103182103C2779343474 @default.
- W3103182103 hasConceptScore W3103182103C2780149590 @default.
- W3103182103 hasConceptScore W3103182103C41008148 @default.
- W3103182103 hasConceptScore W3103182103C48103436 @default.
- W3103182103 hasConceptScore W3103182103C77088390 @default.
- W3103182103 hasConceptScore W3103182103C86803240 @default.
- W3103182103 hasLocation W31031821031 @default.
- W3103182103 hasLocation W31031821032 @default.
- W3103182103 hasOpenAccess W3103182103 @default.
- W3103182103 hasPrimaryLocation W31031821031 @default.
- W3103182103 hasRelatedWork W1608621013 @default.
- W3103182103 hasRelatedWork W1767718647 @default.
- W3103182103 hasRelatedWork W2036282876 @default.
- W3103182103 hasRelatedWork W2044223560 @default.
- W3103182103 hasRelatedWork W2112758874 @default.
- W3103182103 hasRelatedWork W2143372953 @default.
- W3103182103 hasRelatedWork W2371175581 @default.
- W3103182103 hasRelatedWork W3103182103 @default.
- W3103182103 hasRelatedWork W3206324740 @default.
- W3103182103 hasRelatedWork W2585253424 @default.
- W3103182103 hasVolume "8" @default.
- W3103182103 isParatext "false" @default.
- W3103182103 isRetracted "false" @default.
- W3103182103 magId "3103182103" @default.
- W3103182103 workType "article" @default.