Matches in SemOpenAlex for { <https://semopenalex.org/work/W2221749187> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2221749187 endingPage "115" @default.
- W2221749187 startingPage "99" @default.
- W2221749187 abstract "The paper explores a vision in modeling the behavior of complex systems by modular units hosting state machines arranged in part-whole hierarchies and communicating through event flows. Each modular unit plays at the same time the double role of part and whole, i.e. it is inspired by the philosophical idea of holon, providing both an interface and an implementation by which other component state machines may be controlled in order to achieve a global behavior. It is moreover observed that it is possible to assign a formal characterization to such state modules, due to their part-whole arrangement, since higher-level behaviors can derive formally their meaning from lower-level component behaviors. Such a way of arranging behavioral modules allows to establish directly correct-by-construction safety and liveness properties of state-based systems thus challenging the current approach by which state machines interact at the same level and have to be model-checked for ensuring correctness." @default.
- W2221749187 created "2016-06-24" @default.
- W2221749187 creator A5016811043 @default.
- W2221749187 date "2014-01-01" @default.
- W2221749187 modified "2023-10-16" @default.
- W2221749187 title "Modeling Systemic Behavior by State-Based Holonic Modular Units" @default.
- W2221749187 cites W119570465 @default.
- W2221749187 cites W1505618619 @default.
- W2221749187 cites W1522689379 @default.
- W2221749187 cites W1589961305 @default.
- W2221749187 cites W181978571 @default.
- W2221749187 cites W1994259731 @default.
- W2221749187 cites W2003250929 @default.
- W2221749187 cites W2014250801 @default.
- W2221749187 cites W2026935939 @default.
- W2221749187 cites W2031412897 @default.
- W2221749187 cites W2044385771 @default.
- W2221749187 cites W2055505239 @default.
- W2221749187 cites W2079508019 @default.
- W2221749187 cites W2093823648 @default.
- W2221749187 cites W2099529102 @default.
- W2221749187 cites W2108362552 @default.
- W2221749187 cites W2115416658 @default.
- W2221749187 cites W2132234187 @default.
- W2221749187 cites W2137865376 @default.
- W2221749187 cites W2143823328 @default.
- W2221749187 cites W2539132865 @default.
- W2221749187 cites W4245587674 @default.
- W2221749187 doi "https://doi.org/10.1007/978-3-319-11653-2_7" @default.
- W2221749187 hasPublicationYear "2014" @default.
- W2221749187 type Work @default.
- W2221749187 sameAs 2221749187 @default.
- W2221749187 citedByCount "4" @default.
- W2221749187 countsByYear W22217491872017 @default.
- W2221749187 countsByYear W22217491872018 @default.
- W2221749187 countsByYear W22217491872019 @default.
- W2221749187 countsByYear W22217491872020 @default.
- W2221749187 crossrefType "book-chapter" @default.
- W2221749187 hasAuthorship W2221749187A5016811043 @default.
- W2221749187 hasConcept C101468663 @default.
- W2221749187 hasConcept C113843644 @default.
- W2221749187 hasConcept C120314980 @default.
- W2221749187 hasConcept C121332964 @default.
- W2221749187 hasConcept C129307140 @default.
- W2221749187 hasConcept C15569618 @default.
- W2221749187 hasConcept C157915830 @default.
- W2221749187 hasConcept C167822520 @default.
- W2221749187 hasConcept C168167062 @default.
- W2221749187 hasConcept C173608175 @default.
- W2221749187 hasConcept C199360897 @default.
- W2221749187 hasConcept C2779662365 @default.
- W2221749187 hasConcept C41008148 @default.
- W2221749187 hasConcept C48103436 @default.
- W2221749187 hasConcept C55439883 @default.
- W2221749187 hasConcept C62520636 @default.
- W2221749187 hasConcept C97355855 @default.
- W2221749187 hasConceptScore W2221749187C101468663 @default.
- W2221749187 hasConceptScore W2221749187C113843644 @default.
- W2221749187 hasConceptScore W2221749187C120314980 @default.
- W2221749187 hasConceptScore W2221749187C121332964 @default.
- W2221749187 hasConceptScore W2221749187C129307140 @default.
- W2221749187 hasConceptScore W2221749187C15569618 @default.
- W2221749187 hasConceptScore W2221749187C157915830 @default.
- W2221749187 hasConceptScore W2221749187C167822520 @default.
- W2221749187 hasConceptScore W2221749187C168167062 @default.
- W2221749187 hasConceptScore W2221749187C173608175 @default.
- W2221749187 hasConceptScore W2221749187C199360897 @default.
- W2221749187 hasConceptScore W2221749187C2779662365 @default.
- W2221749187 hasConceptScore W2221749187C41008148 @default.
- W2221749187 hasConceptScore W2221749187C48103436 @default.
- W2221749187 hasConceptScore W2221749187C55439883 @default.
- W2221749187 hasConceptScore W2221749187C62520636 @default.
- W2221749187 hasConceptScore W2221749187C97355855 @default.
- W2221749187 hasLocation W22217491871 @default.
- W2221749187 hasOpenAccess W2221749187 @default.
- W2221749187 hasPrimaryLocation W22217491871 @default.
- W2221749187 hasRelatedWork W1451302240 @default.
- W2221749187 hasRelatedWork W19238773 @default.
- W2221749187 hasRelatedWork W2059229220 @default.
- W2221749187 hasRelatedWork W2102080760 @default.
- W2221749187 hasRelatedWork W2118887572 @default.
- W2221749187 hasRelatedWork W2169507373 @default.
- W2221749187 hasRelatedWork W2221749187 @default.
- W2221749187 hasRelatedWork W2376727710 @default.
- W2221749187 hasRelatedWork W2703924393 @default.
- W2221749187 hasRelatedWork W2797563685 @default.
- W2221749187 isParatext "false" @default.
- W2221749187 isRetracted "false" @default.
- W2221749187 magId "2221749187" @default.
- W2221749187 workType "book-chapter" @default.