Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041662008> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2041662008 endingPage "75" @default.
- W2041662008 startingPage "63" @default.
- W2041662008 abstract "분산 이동 실시간 시스템을 개발하기 위해 pi-Calculus, Mobile Ambients Calculus, Bigraph 등의 수많은 프로세스 대수가 존재한다. 하지만 시스템이 방대해지고 복잡해질수록 시스템을 구성하는 프로세스들의 통신과 이동 역시 방대해지고 복잡해지므로 프로세스 대수로 이를 이해하는데 어려움이 존재한다. 그러므로 방대하고 복잡한 시스템을 체계적으로 이해할 수 있는 방법이 필요하다. 본 논문에서는 방대하고 복잡한 시스템을 프로세스들의 통신과 이동의 순서화된 추상화 방법 즉, 계층적으로 구조화된 격자(Lattice)들의 형태인 프리즘(Prism)으로 다룬다. 이는 액티브 온톨로지(Active Ontology)에서 확장된 새로운 개념인 행위 온톨로지(Behavior Ontology)를 기반으로 한다. 프리즘은 시스템을 체계적으로 이해하기 위해 시스템을 계층적으로 구성된 행위적 속성을 지닌 격자들 관점에서 분석하는 것을 허용한다. 이러한 방법은 통신과 이동의 복잡함을 의미적이고 계층적으로 구성된 행위의 구조로 체계적으로 이해할 수 있게 한다. A number of process algebras have been proposed to develop distributed mobile real-time systems: pi-Calculus, Mobile Ambients Calculus, Bigraph, etc. However, as the systems get large and complex, the algebras become less suitable for understanding the interactions and mobility of the processes of the systems due to the size and complexity. Therefore it is necessary to handle the size and complexity for systematic understanding of the systems. This paper handles the size and complexity with a method of abstraction on sequences of interactions and movements of processes in the systems, which can be further organized in the form of hierarchically structured lattices, namely, Prism. The theoretical principle of the abstraction is based on a new concept of Behavior Ontology, which is extended from Active ontology. Prism allows the systems to be analyzed in the perspective of the lattices in Prism, which are characterized by the hierarchically organized behavioral properties of the developing systems, for systematic understanding the systems. In this way, the complexity of the interactions and the movements can be handled systematically in the semantically and hierarchically organized structure of the behavior." @default.
- W2041662008 created "2016-06-24" @default.
- W2041662008 creator A5021853171 @default.
- W2041662008 creator A5054113084 @default.
- W2041662008 creator A5073982217 @default.
- W2041662008 date "2011-09-28" @default.
- W2041662008 modified "2023-09-25" @default.
- W2041662008 title "Abstraction Method for Analysis of Mobility and Interaction in Process Algebra Using Behavioral Ontology" @default.
- W2041662008 cites W1810784978 @default.
- W2041662008 cites W1972478730 @default.
- W2041662008 cites W2072296186 @default.
- W2041662008 cites W2087687021 @default.
- W2041662008 cites W2091970733 @default.
- W2041662008 cites W2111890789 @default.
- W2041662008 cites W2124479173 @default.
- W2041662008 cites W2134714692 @default.
- W2041662008 cites W2136468792 @default.
- W2041662008 doi "https://doi.org/10.5392/jkca.2011.11.9.063" @default.
- W2041662008 hasPublicationYear "2011" @default.
- W2041662008 type Work @default.
- W2041662008 sameAs 2041662008 @default.
- W2041662008 citedByCount "0" @default.
- W2041662008 crossrefType "journal-article" @default.
- W2041662008 hasAuthorship W2041662008A5021853171 @default.
- W2041662008 hasAuthorship W2041662008A5054113084 @default.
- W2041662008 hasAuthorship W2041662008A5073982217 @default.
- W2041662008 hasBestOaLocation W20416620081 @default.
- W2041662008 hasConcept C111472728 @default.
- W2041662008 hasConcept C124304363 @default.
- W2041662008 hasConcept C138885662 @default.
- W2041662008 hasConcept C161771561 @default.
- W2041662008 hasConcept C199360897 @default.
- W2041662008 hasConcept C25810664 @default.
- W2041662008 hasConcept C41008148 @default.
- W2041662008 hasConcept C80444323 @default.
- W2041662008 hasConcept C98045186 @default.
- W2041662008 hasConceptScore W2041662008C111472728 @default.
- W2041662008 hasConceptScore W2041662008C124304363 @default.
- W2041662008 hasConceptScore W2041662008C138885662 @default.
- W2041662008 hasConceptScore W2041662008C161771561 @default.
- W2041662008 hasConceptScore W2041662008C199360897 @default.
- W2041662008 hasConceptScore W2041662008C25810664 @default.
- W2041662008 hasConceptScore W2041662008C41008148 @default.
- W2041662008 hasConceptScore W2041662008C80444323 @default.
- W2041662008 hasConceptScore W2041662008C98045186 @default.
- W2041662008 hasIssue "9" @default.
- W2041662008 hasLocation W20416620081 @default.
- W2041662008 hasOpenAccess W2041662008 @default.
- W2041662008 hasPrimaryLocation W20416620081 @default.
- W2041662008 hasRelatedWork W1497530712 @default.
- W2041662008 hasRelatedWork W1954655008 @default.
- W2041662008 hasRelatedWork W2029889504 @default.
- W2041662008 hasRelatedWork W2120787430 @default.
- W2041662008 hasRelatedWork W2123833239 @default.
- W2041662008 hasRelatedWork W2132335626 @default.
- W2041662008 hasRelatedWork W2147077452 @default.
- W2041662008 hasRelatedWork W2548318175 @default.
- W2041662008 hasRelatedWork W2808111091 @default.
- W2041662008 hasRelatedWork W3100671893 @default.
- W2041662008 hasVolume "11" @default.
- W2041662008 isParatext "false" @default.
- W2041662008 isRetracted "false" @default.
- W2041662008 magId "2041662008" @default.
- W2041662008 workType "article" @default.