Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230332005> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4230332005 abstract "The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. safety, liveness and fairness etc. Therefore, how to derive coordination-policy satisfying behavior all out of such system to achieve better system properties is of a significant problem that needs to be solved. Aim to this problem, we propose an optimistic policy- satisfying behavior derivation approach in this paper. The main idea of the approach is to automatically construct a Coordination Environment (CE) for such composed system that system components can work together in a deadlock-free and policy-satisfying manner, and so as to obtain desired system properties. In this approach, component-based information system is modeled by interface automaton network (IAN), and component coordination-policies are specified by LTL. To explain the correctness and validity of this approach, we give a corresponding example certification." @default.
- W4230332005 created "2022-05-11" @default.
- W4230332005 creator A5000941611 @default.
- W4230332005 creator A5004477950 @default.
- W4230332005 creator A5032323275 @default.
- W4230332005 creator A5039198281 @default.
- W4230332005 creator A5066729207 @default.
- W4230332005 date "2007-12-01" @default.
- W4230332005 modified "2023-10-16" @default.
- W4230332005 title "Coordination-Policy Based Composed System Behavior Derivation" @default.
- W4230332005 doi "https://doi.org/10.1109/aspec.2007.37" @default.
- W4230332005 hasPublicationYear "2007" @default.
- W4230332005 type Work @default.
- W4230332005 citedByCount "0" @default.
- W4230332005 crossrefType "proceedings-article" @default.
- W4230332005 hasAuthorship W4230332005A5000941611 @default.
- W4230332005 hasAuthorship W4230332005A5004477950 @default.
- W4230332005 hasAuthorship W4230332005A5032323275 @default.
- W4230332005 hasAuthorship W4230332005A5039198281 @default.
- W4230332005 hasAuthorship W4230332005A5066729207 @default.
- W4230332005 hasConcept C112505250 @default.
- W4230332005 hasConcept C113843644 @default.
- W4230332005 hasConcept C11413529 @default.
- W4230332005 hasConcept C120314980 @default.
- W4230332005 hasConcept C121332964 @default.
- W4230332005 hasConcept C129307140 @default.
- W4230332005 hasConcept C15569618 @default.
- W4230332005 hasConcept C157915830 @default.
- W4230332005 hasConcept C159023740 @default.
- W4230332005 hasConcept C168167062 @default.
- W4230332005 hasConcept C173608175 @default.
- W4230332005 hasConcept C199360897 @default.
- W4230332005 hasConcept C2780801425 @default.
- W4230332005 hasConcept C41008148 @default.
- W4230332005 hasConcept C55439883 @default.
- W4230332005 hasConcept C80444323 @default.
- W4230332005 hasConcept C97355855 @default.
- W4230332005 hasConceptScore W4230332005C112505250 @default.
- W4230332005 hasConceptScore W4230332005C113843644 @default.
- W4230332005 hasConceptScore W4230332005C11413529 @default.
- W4230332005 hasConceptScore W4230332005C120314980 @default.
- W4230332005 hasConceptScore W4230332005C121332964 @default.
- W4230332005 hasConceptScore W4230332005C129307140 @default.
- W4230332005 hasConceptScore W4230332005C15569618 @default.
- W4230332005 hasConceptScore W4230332005C157915830 @default.
- W4230332005 hasConceptScore W4230332005C159023740 @default.
- W4230332005 hasConceptScore W4230332005C168167062 @default.
- W4230332005 hasConceptScore W4230332005C173608175 @default.
- W4230332005 hasConceptScore W4230332005C199360897 @default.
- W4230332005 hasConceptScore W4230332005C2780801425 @default.
- W4230332005 hasConceptScore W4230332005C41008148 @default.
- W4230332005 hasConceptScore W4230332005C55439883 @default.
- W4230332005 hasConceptScore W4230332005C80444323 @default.
- W4230332005 hasConceptScore W4230332005C97355855 @default.
- W4230332005 hasLocation W42303320051 @default.
- W4230332005 hasOpenAccess W4230332005 @default.
- W4230332005 hasPrimaryLocation W42303320051 @default.
- W4230332005 hasRelatedWork W1451302240 @default.
- W4230332005 hasRelatedWork W1801021781 @default.
- W4230332005 hasRelatedWork W2081637295 @default.
- W4230332005 hasRelatedWork W2127031368 @default.
- W4230332005 hasRelatedWork W2135815029 @default.
- W4230332005 hasRelatedWork W2165842411 @default.
- W4230332005 hasRelatedWork W2347318492 @default.
- W4230332005 hasRelatedWork W2353043501 @default.
- W4230332005 hasRelatedWork W2525154678 @default.
- W4230332005 hasRelatedWork W4225957933 @default.
- W4230332005 isParatext "false" @default.
- W4230332005 isRetracted "false" @default.
- W4230332005 workType "article" @default.