Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049274878> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2049274878 abstract "In CCS, Milner defined the notion of Strong and Weak Bisimulations for behavioral equivalence between two processes or systems. However the notion has not been studied further in the perspective of abstraction for such behaviors in process algebra. In some sense, weak bisimulation could be interpreted as a kind of behavior equivalence between two processes at the certain degree of abstraction, based on observability. Here we noticed the possibility of representing such observable behaviors with a certain structure of abstraction and verify a number of behavioral equivalences in the structure. In the paper, such possibility has been realized with a new concept of Behavior Ontology. In the ontology, actions can be defined as an interaction between two processes or systems, and, further, behaviors can be defined as a sequence of such actions. Since some actions between the behaviors can be overlapped in some structural way, the behaviors can be organized in a lattice structure, namely, Behavior Lattice. Consequently, the lattice reveals certain levels of observability of the behaviors, based on degree of abstraction. From the lattice, a strong bisimulation and its weak bisimulations can be detected visually. The comparative study shows that the ontology is very effective and efficient for representing such abstract behaviors and verifying strong and weak bisimulations in a lattice structure. The ontology can be considered as one of the unique and innovative structure to represent such behaviors in a hierarchical structure of abstraction." @default.
- W2049274878 created "2016-06-24" @default.
- W2049274878 creator A5066641790 @default.
- W2049274878 creator A5073982217 @default.
- W2049274878 creator A5082224111 @default.
- W2049274878 date "2013-07-01" @default.
- W2049274878 modified "2023-10-18" @default.
- W2049274878 title "An Abstraction Method of Behaviors for Process Algebra" @default.
- W2049274878 cites W2018826618 @default.
- W2049274878 cites W2132335626 @default.
- W2049274878 cites W2137865376 @default.
- W2049274878 cites W4243186596 @default.
- W2049274878 doi "https://doi.org/10.1109/compsacw.2013.15" @default.
- W2049274878 hasPublicationYear "2013" @default.
- W2049274878 type Work @default.
- W2049274878 sameAs 2049274878 @default.
- W2049274878 citedByCount "1" @default.
- W2049274878 countsByYear W20492748782014 @default.
- W2049274878 crossrefType "proceedings-article" @default.
- W2049274878 hasAuthorship W2049274878A5066641790 @default.
- W2049274878 hasAuthorship W2049274878A5073982217 @default.
- W2049274878 hasAuthorship W2049274878A5082224111 @default.
- W2049274878 hasConcept C111472728 @default.
- W2049274878 hasConcept C121332964 @default.
- W2049274878 hasConcept C124304363 @default.
- W2049274878 hasConcept C135315306 @default.
- W2049274878 hasConcept C138885662 @default.
- W2049274878 hasConcept C202444582 @default.
- W2049274878 hasConcept C24890656 @default.
- W2049274878 hasConcept C2780069185 @default.
- W2049274878 hasConcept C2781204021 @default.
- W2049274878 hasConcept C28826006 @default.
- W2049274878 hasConcept C32848918 @default.
- W2049274878 hasConcept C33923547 @default.
- W2049274878 hasConcept C36299963 @default.
- W2049274878 hasConcept C41008148 @default.
- W2049274878 hasConcept C62520636 @default.
- W2049274878 hasConcept C80444323 @default.
- W2049274878 hasConceptScore W2049274878C111472728 @default.
- W2049274878 hasConceptScore W2049274878C121332964 @default.
- W2049274878 hasConceptScore W2049274878C124304363 @default.
- W2049274878 hasConceptScore W2049274878C135315306 @default.
- W2049274878 hasConceptScore W2049274878C138885662 @default.
- W2049274878 hasConceptScore W2049274878C202444582 @default.
- W2049274878 hasConceptScore W2049274878C24890656 @default.
- W2049274878 hasConceptScore W2049274878C2780069185 @default.
- W2049274878 hasConceptScore W2049274878C2781204021 @default.
- W2049274878 hasConceptScore W2049274878C28826006 @default.
- W2049274878 hasConceptScore W2049274878C32848918 @default.
- W2049274878 hasConceptScore W2049274878C33923547 @default.
- W2049274878 hasConceptScore W2049274878C36299963 @default.
- W2049274878 hasConceptScore W2049274878C41008148 @default.
- W2049274878 hasConceptScore W2049274878C62520636 @default.
- W2049274878 hasConceptScore W2049274878C80444323 @default.
- W2049274878 hasLocation W20492748781 @default.
- W2049274878 hasOpenAccess W2049274878 @default.
- W2049274878 hasPrimaryLocation W20492748781 @default.
- W2049274878 hasRelatedWork W149641734 @default.
- W2049274878 hasRelatedWork W1552727000 @default.
- W2049274878 hasRelatedWork W1888841230 @default.
- W2049274878 hasRelatedWork W2069441293 @default.
- W2049274878 hasRelatedWork W2085026104 @default.
- W2049274878 hasRelatedWork W2251489615 @default.
- W2049274878 hasRelatedWork W2257750885 @default.
- W2049274878 hasRelatedWork W2884500906 @default.
- W2049274878 hasRelatedWork W3156072017 @default.
- W2049274878 hasRelatedWork W4300125846 @default.
- W2049274878 isParatext "false" @default.
- W2049274878 isRetracted "false" @default.
- W2049274878 magId "2049274878" @default.
- W2049274878 workType "article" @default.