Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808612789> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2808612789 endingPage "79" @default.
- W2808612789 startingPage "67" @default.
- W2808612789 abstract "Cyber-physical systems (CPS) represent an emerging type of distributed systems that integrate a multitude of physical elements and software applications into large networks of interconnected components. Ensuring that such systems meet their timing requirements is essential, especially with time-sensitive applications. To deal with this, suitable ways to specify and verify distributed CPS applications including their timing requirements are needed. Current CPS modeling solutions specify CPS as inter-organizational processes using existing process modeling languages. However, the existing process modeling languages mostly focus on web-based workflow and are not directly compatible with CPS. Modeling processes in CPS requires the consideration of cyber elements, physical elements, and their non-functional properties such as time-related and physical properties. Given an inter-organizational CPS processes model with considering structural and non-functional properties, implicit conflicts may arise. To deal with this issue, we propose an approach for modeling and verifying inter-organizational cyber-physical processes associated with temporal properties. To do that, we provide an extended version of BPMN that supports CPS concepts and properties. Then, we define a set of transformation rules to automatically transform the inter-organizational processes model into a constraint satisfaction model. Thereafter, we analyze the generated model to check its consistency." @default.
- W2808612789 created "2018-06-21" @default.
- W2808612789 creator A5008789517 @default.
- W2808612789 creator A5060686448 @default.
- W2808612789 creator A5061098586 @default.
- W2808612789 creator A5063228263 @default.
- W2808612789 date "2018-01-01" @default.
- W2808612789 modified "2023-09-25" @default.
- W2808612789 title "Verification of the Consistency of Time-Aware Cyber-Physical Processes" @default.
- W2808612789 cites W1026307065 @default.
- W2808612789 cites W1519659644 @default.
- W2808612789 cites W1973775125 @default.
- W2808612789 cites W1976132482 @default.
- W2808612789 cites W2024896395 @default.
- W2808612789 cites W2079996951 @default.
- W2808612789 cites W2080223813 @default.
- W2808612789 cites W2083257352 @default.
- W2808612789 cites W2102439171 @default.
- W2808612789 cites W2111907480 @default.
- W2808612789 cites W2125886776 @default.
- W2808612789 cites W2152715523 @default.
- W2808612789 cites W2152796400 @default.
- W2808612789 cites W2155930653 @default.
- W2808612789 cites W2163304527 @default.
- W2808612789 cites W2164765430 @default.
- W2808612789 cites W2281376738 @default.
- W2808612789 cites W2404429125 @default.
- W2808612789 cites W2504081428 @default.
- W2808612789 cites W2509381074 @default.
- W2808612789 cites W253392500 @default.
- W2808612789 cites W2736693319 @default.
- W2808612789 cites W2738238568 @default.
- W2808612789 cites W2744599860 @default.
- W2808612789 cites W4235231828 @default.
- W2808612789 doi "https://doi.org/10.1007/978-3-319-91764-1_6" @default.
- W2808612789 hasPublicationYear "2018" @default.
- W2808612789 type Work @default.
- W2808612789 sameAs 2808612789 @default.
- W2808612789 citedByCount "2" @default.
- W2808612789 countsByYear W28086127892019 @default.
- W2808612789 countsByYear W28086127892021 @default.
- W2808612789 crossrefType "book-chapter" @default.
- W2808612789 hasAuthorship W2808612789A5008789517 @default.
- W2808612789 hasAuthorship W2808612789A5060686448 @default.
- W2808612789 hasAuthorship W2808612789A5061098586 @default.
- W2808612789 hasAuthorship W2808612789A5063228263 @default.
- W2808612789 hasConcept C111919701 @default.
- W2808612789 hasConcept C115903868 @default.
- W2808612789 hasConcept C120314980 @default.
- W2808612789 hasConcept C144133560 @default.
- W2808612789 hasConcept C154945302 @default.
- W2808612789 hasConcept C162853370 @default.
- W2808612789 hasConcept C174998907 @default.
- W2808612789 hasConcept C177212765 @default.
- W2808612789 hasConcept C179768478 @default.
- W2808612789 hasConcept C199360897 @default.
- W2808612789 hasConcept C2776436953 @default.
- W2808612789 hasConcept C2779791154 @default.
- W2808612789 hasConcept C41008148 @default.
- W2808612789 hasConcept C77088390 @default.
- W2808612789 hasConcept C80444323 @default.
- W2808612789 hasConcept C85345410 @default.
- W2808612789 hasConcept C98045186 @default.
- W2808612789 hasConceptScore W2808612789C111919701 @default.
- W2808612789 hasConceptScore W2808612789C115903868 @default.
- W2808612789 hasConceptScore W2808612789C120314980 @default.
- W2808612789 hasConceptScore W2808612789C144133560 @default.
- W2808612789 hasConceptScore W2808612789C154945302 @default.
- W2808612789 hasConceptScore W2808612789C162853370 @default.
- W2808612789 hasConceptScore W2808612789C174998907 @default.
- W2808612789 hasConceptScore W2808612789C177212765 @default.
- W2808612789 hasConceptScore W2808612789C179768478 @default.
- W2808612789 hasConceptScore W2808612789C199360897 @default.
- W2808612789 hasConceptScore W2808612789C2776436953 @default.
- W2808612789 hasConceptScore W2808612789C2779791154 @default.
- W2808612789 hasConceptScore W2808612789C41008148 @default.
- W2808612789 hasConceptScore W2808612789C77088390 @default.
- W2808612789 hasConceptScore W2808612789C80444323 @default.
- W2808612789 hasConceptScore W2808612789C85345410 @default.
- W2808612789 hasConceptScore W2808612789C98045186 @default.
- W2808612789 hasLocation W28086127891 @default.
- W2808612789 hasOpenAccess W2808612789 @default.
- W2808612789 hasPrimaryLocation W28086127891 @default.
- W2808612789 hasRelatedWork W2010961992 @default.
- W2808612789 hasRelatedWork W2124669372 @default.
- W2808612789 hasRelatedWork W2488169201 @default.
- W2808612789 hasRelatedWork W2619806930 @default.
- W2808612789 hasRelatedWork W2934683088 @default.
- W2808612789 hasRelatedWork W2964552794 @default.
- W2808612789 hasRelatedWork W3043532533 @default.
- W2808612789 hasRelatedWork W3194228230 @default.
- W2808612789 hasRelatedWork W3206324740 @default.
- W2808612789 hasRelatedWork W4287815598 @default.
- W2808612789 isParatext "false" @default.
- W2808612789 isRetracted "false" @default.
- W2808612789 magId "2808612789" @default.
- W2808612789 workType "book-chapter" @default.