Journal of Software - Academy Publisher

Journal of Software - Academy Publisher Journal of Software - Academy Publisher

academypublisher.com
from academypublisher.com More from this publisher
08.12.2012 Views

782 JOURNAL OF SOFTWARE, VOL. 6, NO. 5, MAY 2011 and time (delay or duration) strictly. This policy introduce the equivalent relations as strong Markovian bisimulation, weak Markovian congruence and expansion law. Another way is to treat action and time with different policy: treating action strictly while treating time loosely with a duration (i.e., within time limitations). This means that executing time within time limitation can be considered as equal in the comparison of two processes. This policy produces time restricted strong bisimulation, time restricted weak Markovian bisimulation, and time restricted weak Markovian congruence. When all the bisimulation relations are defined, we proved that they can be applied to all the operators inside the language of YAMN with value passing. REFERENCES [1] Luca de Alfaro. Stochastic transition systems. In David Sangiorgi and Robert de Simone, editos, CONCUR ’98: Concurrency Theory (Proceedings), volume 1466 of Lecture Notes in Computer Science., Springer Verlag, September 2001. [2] J. A. Bergstra and J.W. Klop, Algebra of Communitating Processes with Abstraction, TCS 37,1,pp. 77-121, 1985. [3] M. Bernardo and R. Gorrieri. Extended Markovian Process Algebra. In Ugo Montanari and Vladimiro Sassone, editors, CONCUR’96: Concurrency Theory (7th International Conference, Pisa, Italy, August 1996), volume 1119 of Lecture Notes in Computer Science. Springer, 1996. [4] M. Bravetti, M. Bernardo, R. Gorrieri, Generalized Semi Markovian Process Algebra, Technical Report UBLCS-97- 9, University of Bologna (Italy), October 1997 [5] Ed Brinksma Holger Hermanns, Process algebra and Markov chains. In Ed Brinksma, Holger Hermanns, and Joost-Pieter Katoen, editors, Lectures on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science, page 183-231, Springer Verlag, 2001 [6] P. Buchholz, Markovian Process Algebra: Composition and Equivalence. In U. Herzog and M. Rettelbach, editors, Pro. of the 2nd Workshop on Process Algebras and Performance Modelling , Erlangen-Regensberg, July 1994. IMMD, Universität Erlangen-Nürnberg. [7] Norbert Götz, Stochastische Prozeßalgebren – Integration von funktionalem Entwurf and Leistungsbewertung Verteilter Systeme. PhD thesis. Univerität Erlangen-Nürnberg, Germany, 1994. [8] R.J. van Glabbeek, The linear time - branching time spectrum (extended abstract). CWI Amsterdam Report CS- R9029. [9] R.J. van Glabbeek, The linear time - branching time spectrum II: The semantics of sequential systems with silent moves (Extended Abstract) In Eike Best, editor, Fourth International Conference on Concurrency Theory (CONCUR ’93, Hildesheim, Germany), volume 715 of LNCS, pp. 66- 81, Springer, 1993. [10] A. Ingólfsdóttir and H. Lin. A symbolic Approach to value passing Processes. In J.A. Bergstra, A. Ponse, and S.A. Smolka, eds., Handbook of Process Algebra, 427-478, Elsevier, 2001. [11] M. Hennessy, H. Lin (1996) Proof systems for messagepassing process algebras Formal Aspects of Computing, 379- 407, Volume 8, 1996, Springer London [12] H. Hermanns and M. Ribaudo, Syntax, Semantics, Equivalences, and Axioms for MTIPP. In U. Herzog and M. Rettelbach, editors, Pro. of the 2nd Workshop on Process Algebras and Performance Modelling , Erlangen-Regensberg, July 1994. IMMD, Universität Erlangen-Nürnberg. © 2011 ACADEMY PUBLISHER [13] C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall International, 1985. [14] A Holger Hermanns. Interactive Markov Chains. PhD thesis, Universität Erlangen- Nürnberg, Germany, 1998. [15] Holger Hermanns and Michael Rettelbach, Towards a superset of LOTOS for performance prediction, In Ribaudo [25], page 77-94, 1996. [16] H. Hermanns, M. Rettelbach, Syntax, Semantics, Equivalences, and Axioms for MTIPP, in Proc. of PAPM ’94, pp. 71-87, Erlangen, 1994 [17] H. Hermanns, U. Herzog, and J.-P. Katoen. Process algebra for performance evaluation. Theoretical Computer Science, 274(1-2):43–87, 2002. [18] Jane Hillston, A Compositional Approach to Performance Modelling, PhD thesis, University of Edinburgh, 1994. [19] Ronald A. Howard. Dynamic Probabilistic Systems. volume 2: Semimarkov and Decision Processes, John Wiley & Sons, 1971. [20] J.P. Katoen. Concepts, Algorithms and Tools for Model Checking. Erlangen: Institut f. Mathematische Maschinen und Datenverarbeitung, 1999. 188-255. [21] J-P. Katoen. Quantitative and qualitative extensions of event structures, PhD thesis, University of Twente, 1996. [22] Robin Milner, A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Prentice Hall International, 1989. [23] Robin Milner, Communication and Concurrency, Prentice Hall, 1989. [24] Martin L. Puterman. Markovian Decision Processes. John Wiley & Sons, 1994. [25] Marina Ribaudo, editor. Proceedings of the fourth workshop on process algebras and performance modelling. Edizione C.L.U.T. Torino, 1996. [26] Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite-state systems. In 26th Annual Symposium on Foundations of Computer Science (FOCS ’85), pages 327-338. IEEE Computer Society Press, October 1985. [27] Guang Zheng, Shaorong Li, Jinzhao Wu, and Lian Li. A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. FAW 2007, LNCS 4613, pp. 178-190, 2007., Springer-Verlag Berlin Heidelberg 2007.

JOURNAL OF SOFTWARE, VOL. 6, NO. 5, MAY 2011 783 Study on Visual Knowledge Structure Reasoning Huimin Lu 1 College of Software Engineering, Changchun University of Technology, Changchun, China 2 College of Computer Science and Technology, Jilin University, Changchun, China Email: luhm.cc@gmail.com Abstract—Intelligent Topic Map (ITM) embodies the multilevel, multi-granularity and the inherent relevant characteristics of knowledge. With ITM as infrastructure, this paper presents a visual knowledge structure reasoning method integrates the logic-based knowledge reasoning and the structure-based knowledge reasoning. The logic-based knowledge reasoning implements knowledge consistency checking and the implicit associations reasoning between knowledge points, it can help us obtain the optimal description of knowledge. In order to construct the complete knowledge structure, a Knowledge Unit Circle Search strategy for structure-based knowledge reasoning is proposed, by which more detailed semantic association of knowledge is provided and the inherent relevant characteristics of knowledge is obtained. The knowledge reasoning results are visualized by ITM, which provides a visual knowledge map. It is available for users to acquire the knowledge and associations among them. A prototype system has been implemented and applied to the massive knowledge organization, management and service for education. Index Terms—topic map, intelligent topic map, knowledge reasoning, knowledge visualization I. INTRODUCTION Knowledge reasoning mainly includes two types: the logic-based knowledge reasoning and the structure-based knowledge reasoning. The logic-based knowledge reasoning often used to describe knowledge representation and reasoning based on the logic. It is rigorous, flexible and with a strict formal definition, but the lack of structure constraint. The structure-based knowledge reasoning constructs knowledge based on some data structure, such as vector space, tree, graph, etc. It bodes well for knowledge and the relations between them. Knowledge doesn’t exist by itself, since knowledge always has all kinds of relations with other knowledge. According to constructivism theory and cognitive load theory perspective, the inner relevance of knowledge can contribute to achieving consistent with the person’s own cognitive pattern, and thereby the cognitive efficiency Manuscript received April 3, 2010; accepted February 10, 2011. Copyright corresponding author: Huimin Lu. © 2011 ACADEMY PUBLISHER doi:10.4304/jsw.6.5.783-790 2 Liang Hu and Gang Liu 1 Email: hul@jlu.edu.cn, liug8818@mail.ccut.edu.cn can be increased [1], but knowledge reasoning can not guarantee as effective as logical representation. So, a knowledge representation model should be built to integrate these two types of knowledge reasoning in order to obtain the satisfactory knowledge reasoning results [2]. Moreover, the reasoning results should be displayed by visual knowledge structure. Its goal is to transfer and create new knowledge through using visualizations. Topic Map(TM) is an ISO standard (ISO/IEC 13250) that describes knowledge structures and associates them with information resources [3] [4]. Topic map constructs a structured semantic network above the knowledge resources. It describes the concepts and the semantic relations between them, and can locate the resources which are associated with the concepts and realize the concrete objects to be joined with abstract concepts. It provides a visual knowledge map, which is available for users to acquire knowledge and associations among them. However, the conventional topic map can not provide users with efficient knowledge navigation, and we unable to acquire the implicit knowledge for it lack of reasoning abilities. So, we extend the conventional topic map in structure and enhance the reasoning functions, which is defined Intelligent Topic Map (ITM) [5]. EXTM (Extended XTM) extended the syntax and semantics of XTM (XML for Topic Maps) [6] so that it can describe ITM elements (such as clusters, topics, knowledge elements), and provides a model and grammar for representing the structure of ITM and defining reasoning rules. EXTM makes XML extend to the semantic field. It defines an abstract, graphics-based knowledge association model and allows the logic-based knowledge reasoning to discover new knowledge. We propose a novel method of visual knowledge structure reasoning with the intelligent topic map as infrastructure, which can efficiently implement both the structure-based knowledge reasoning and the logic-based knowledge reasoning. The reasoning results are visualized by ITM. It provides a visual knowledge map, which is available for users to acquire the knowledge and associations among them. Visualization navigation capabilities of exploiting the created knowledge structures are based on hyperbolic geometry concepts and provide users with intuitive access mechanisms to the required knowledge.

JOURNAL OF SOFTWARE, VOL. 6, NO. 5, MAY 2011 783<br />

Study on Visual Knowledge Structure Reasoning<br />

Huimin Lu<br />

1 College <strong>of</strong> S<strong>of</strong>tware Engineering, Changchun University <strong>of</strong> Technology, Changchun, China<br />

2 College <strong>of</strong> Computer Science and Technology, Jilin University, Changchun, China<br />

Email: luhm.cc@gmail.com<br />

Abstract—Intelligent Topic Map (ITM) embodies the multilevel,<br />

multi-granularity and the inherent relevant<br />

characteristics <strong>of</strong> knowledge. With ITM as infrastructure,<br />

this paper presents a visual knowledge structure reasoning<br />

method integrates the logic-based knowledge reasoning and<br />

the structure-based knowledge reasoning. The logic-based<br />

knowledge reasoning implements knowledge consistency<br />

checking and the implicit associations reasoning between<br />

knowledge points, it can help us obtain the optimal<br />

description <strong>of</strong> knowledge. In order to construct the complete<br />

knowledge structure, a Knowledge Unit Circle Search<br />

strategy for structure-based knowledge reasoning is<br />

proposed, by which more detailed semantic association <strong>of</strong><br />

knowledge is provided and the inherent relevant<br />

characteristics <strong>of</strong> knowledge is obtained. The knowledge<br />

reasoning results are visualized by ITM, which provides a<br />

visual knowledge map. It is available for users to acquire the<br />

knowledge and associations among them. A prototype<br />

system has been implemented and applied to the massive<br />

knowledge organization, management and service for<br />

education.<br />

Index Terms—topic map, intelligent topic map, knowledge<br />

reasoning, knowledge visualization<br />

I. INTRODUCTION<br />

Knowledge reasoning mainly includes two types: the<br />

logic-based knowledge reasoning and the structure-based<br />

knowledge reasoning. The logic-based knowledge<br />

reasoning <strong>of</strong>ten used to describe knowledge<br />

representation and reasoning based on the logic. It is<br />

rigorous, flexible and with a strict formal definition, but<br />

the lack <strong>of</strong> structure constraint. The structure-based<br />

knowledge reasoning constructs knowledge based on<br />

some data structure, such as vector space, tree, graph, etc.<br />

It bodes well for knowledge and the relations between<br />

them. Knowledge doesn’t exist by itself, since knowledge<br />

always has all kinds <strong>of</strong> relations with other knowledge.<br />

According to constructivism theory and cognitive load<br />

theory perspective, the inner relevance <strong>of</strong> knowledge can<br />

contribute to achieving consistent with the person’s own<br />

cognitive pattern, and thereby the cognitive efficiency<br />

Manuscript received April 3, 2010; accepted February 10, 2011.<br />

Copyright corresponding author: Huimin Lu.<br />

© 2011 ACADEMY PUBLISHER<br />

doi:10.4304/jsw.6.5.783-790<br />

2 Liang Hu and Gang Liu 1<br />

Email: hul@jlu.edu.cn, liug8818@mail.ccut.edu.cn<br />

can be increased [1], but knowledge reasoning can not<br />

guarantee as effective as logical representation. So, a<br />

knowledge representation model should be built to<br />

integrate these two types <strong>of</strong> knowledge reasoning in order<br />

to obtain the satisfactory knowledge reasoning results [2].<br />

Moreover, the reasoning results should be displayed by<br />

visual knowledge structure. Its goal is to transfer and<br />

create new knowledge through using visualizations.<br />

Topic Map(TM) is an ISO standard (ISO/IEC 13250)<br />

that describes knowledge structures and associates them<br />

with information resources [3] [4]. Topic map constructs<br />

a structured semantic network above the knowledge<br />

resources. It describes the concepts and the semantic<br />

relations between them, and can locate the resources<br />

which are associated with the concepts and realize the<br />

concrete objects to be joined with abstract concepts. It<br />

provides a visual knowledge map, which is available for<br />

users to acquire knowledge and associations among them.<br />

However, the conventional topic map can not provide<br />

users with efficient knowledge navigation, and we unable<br />

to acquire the implicit knowledge for it lack <strong>of</strong> reasoning<br />

abilities. So, we extend the conventional topic map in<br />

structure and enhance the reasoning functions, which is<br />

defined Intelligent Topic Map (ITM) [5]. EXTM<br />

(Extended XTM) extended the syntax and semantics <strong>of</strong><br />

XTM (XML for Topic Maps) [6] so that it can describe<br />

ITM elements (such as clusters, topics, knowledge<br />

elements), and provides a model and grammar for<br />

representing the structure <strong>of</strong> ITM and defining reasoning<br />

rules. EXTM makes XML extend to the semantic field. It<br />

defines an abstract, graphics-based knowledge<br />

association model and allows the logic-based knowledge<br />

reasoning to discover new knowledge.<br />

We propose a novel method <strong>of</strong> visual knowledge<br />

structure reasoning with the intelligent topic map as<br />

infrastructure, which can efficiently implement both the<br />

structure-based knowledge reasoning and the logic-based<br />

knowledge reasoning. The reasoning results are<br />

visualized by ITM. It provides a visual knowledge map,<br />

which is available for users to acquire the knowledge and<br />

associations among them. Visualization navigation<br />

capabilities <strong>of</strong> exploiting the created knowledge<br />

structures are based on hyperbolic geometry concepts and<br />

provide users with intuitive access mechanisms to the<br />

required knowledge.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!