Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396067579> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2396067579 abstract "We base our work on a model called data-centric dynamic system (DCDS) [1], which can be seen as a framework for modeling and verification of systems where both the process controlling the dynamics and the manipulation of data are equally central. More specifically, a DCDS consists of a data layer and a process layer, interacting as follows: the data layer stores all the data of interest in a relational database, and the process layer modifies and evolves such data by executing actions under the control of a process, possibly injecting into the system external data retrieved through service calls. In this work, we propose an implementation of DCDSs in which all aspects concerning not only the data layer but also the process layer, are realized by means of functionalities provided by a relational DBMS. We present the architecture of our prototype system, describe its functionality, and discuss the next steps we intend to take towards realizing a full-fledged DCDS-based system that supports verification of rich temporal properties." @default.
- W2396067579 created "2016-06-24" @default.
- W2396067579 creator A5047795784 @default.
- W2396067579 creator A5057746643 @default.
- W2396067579 creator A5069796121 @default.
- W2396067579 creator A5077723508 @default.
- W2396067579 date "2015-01-01" @default.
- W2396067579 modified "2023-09-26" @default.
- W2396067579 title "Implementing data-centric dynamic systems over a relational DBMS" @default.
- W2396067579 cites W2062569786 @default.
- W2396067579 cites W2109973265 @default.
- W2396067579 cites W2163133050 @default.
- W2396067579 cites W233122475 @default.
- W2396067579 hasPublicationYear "2015" @default.
- W2396067579 type Work @default.
- W2396067579 sameAs 2396067579 @default.
- W2396067579 citedByCount "1" @default.
- W2396067579 countsByYear W23960675792018 @default.
- W2396067579 crossrefType "journal-article" @default.
- W2396067579 hasAuthorship W2396067579A5047795784 @default.
- W2396067579 hasAuthorship W2396067579A5057746643 @default.
- W2396067579 hasAuthorship W2396067579A5069796121 @default.
- W2396067579 hasAuthorship W2396067579A5077723508 @default.
- W2396067579 hasConcept C111919701 @default.
- W2396067579 hasConcept C120314980 @default.
- W2396067579 hasConcept C178790620 @default.
- W2396067579 hasConcept C185592680 @default.
- W2396067579 hasConcept C20277647 @default.
- W2396067579 hasConcept C2779227376 @default.
- W2396067579 hasConcept C41008148 @default.
- W2396067579 hasConcept C5655090 @default.
- W2396067579 hasConcept C67186912 @default.
- W2396067579 hasConcept C77088390 @default.
- W2396067579 hasConcept C98045186 @default.
- W2396067579 hasConceptScore W2396067579C111919701 @default.
- W2396067579 hasConceptScore W2396067579C120314980 @default.
- W2396067579 hasConceptScore W2396067579C178790620 @default.
- W2396067579 hasConceptScore W2396067579C185592680 @default.
- W2396067579 hasConceptScore W2396067579C20277647 @default.
- W2396067579 hasConceptScore W2396067579C2779227376 @default.
- W2396067579 hasConceptScore W2396067579C41008148 @default.
- W2396067579 hasConceptScore W2396067579C5655090 @default.
- W2396067579 hasConceptScore W2396067579C67186912 @default.
- W2396067579 hasConceptScore W2396067579C77088390 @default.
- W2396067579 hasConceptScore W2396067579C98045186 @default.
- W2396067579 hasLocation W23960675791 @default.
- W2396067579 hasOpenAccess W2396067579 @default.
- W2396067579 hasPrimaryLocation W23960675791 @default.
- W2396067579 hasRelatedWork W1584116805 @default.
- W2396067579 hasRelatedWork W1830252783 @default.
- W2396067579 hasRelatedWork W1963542233 @default.
- W2396067579 hasRelatedWork W2020202593 @default.
- W2396067579 hasRelatedWork W2024440032 @default.
- W2396067579 hasRelatedWork W2029502518 @default.
- W2396067579 hasRelatedWork W2057475026 @default.
- W2396067579 hasRelatedWork W2084447313 @default.
- W2396067579 hasRelatedWork W2085571718 @default.
- W2396067579 hasRelatedWork W2105436950 @default.
- W2396067579 hasRelatedWork W2136659576 @default.
- W2396067579 hasRelatedWork W2188282014 @default.
- W2396067579 hasRelatedWork W2215520230 @default.
- W2396067579 hasRelatedWork W2397961386 @default.
- W2396067579 hasRelatedWork W2405267022 @default.
- W2396067579 hasRelatedWork W2740644610 @default.
- W2396067579 hasRelatedWork W2746552017 @default.
- W2396067579 hasRelatedWork W5743797 @default.
- W2396067579 hasRelatedWork W67387294 @default.
- W2396067579 hasRelatedWork W8524831 @default.
- W2396067579 isParatext "false" @default.
- W2396067579 isRetracted "false" @default.
- W2396067579 magId "2396067579" @default.
- W2396067579 workType "article" @default.