Mathematical Foundation for Designing and Modeling Cyberworlds
説明
For designing and modeling complicated and sophisticated systems such as cyber worlds, their mathematical foundation is critical. To realize it, two important properties called the homotopy lifting property and homotopy extension property are applied for designing and modeling a system in a bottom-up way and a top-down way, respectively. Activities of Internet Company are described by $\pi$-calculus processes and a Petri net which are derived from system requirements in a bottom-up way and a top-down way using the homotopy lifting property and the homotopy extension property. Entities in both properties are specified by the incrementally modular abstraction hierarchy by climbing down the abstraction hierarchy from the most abstract homotopy level to the most specific view level, while keeping invariants such as homotopy equivalence or topological equivalence.
収録刊行物
-
- 2009 International Conference on CyberWorlds
-
2009 International Conference on CyberWorlds 80-87, 2009-01-01
IEEE
