[KSCI] Korea Science Citation Index Service

http://dx.doi.org/10.3837/tiis.2016.03.030

A Process-Centered Knowledge Model for Analysis of Technology Innovation Procedures

Chun, Seungsu (Division of Knowledge & Information, Korea Institute of S & T Evaluation and Planning)

Publication Information

KSII Transactions on Internet and Information Systems (TIIS) / v.10, no.3, 2016 , pp. 1442-1453 More about this Journal

Abstract

Now, there are prodigiously expanding worldwide economic networks in the information society, which require their social structural changes through technology innovations. This paper so tries to formally define a process-centered knowledge model to be used to analyze policy-making procedures on technology innovations. The eventual goal of the proposed knowledge model is to apply itself to analyze a topic network based upon composite keywords from a document written in a natural language format during the technology innovation procedures. Knowledge model is created to topic network that compositing driven keyword through text mining from natural language in document. And we show that the way of analyzing knowledge model and automatically generating feature keyword and relation properties into topic networks.

Keywords

Knowledge model; Semantic analysis; Technology innovation; Topic network;

Citations & Related Records

Reference

1	Foray, Dominique, and B. A. Lundvall, “The Knowledge-Based Economy,” OECD, Paris, 1997.
2	S. Haag, Baltzan, “Business Driven Technology,” Published by McGraw-Hill, 2006.
3	H. Shah, Kourdi, "Frameworks for Enterprise Architecture," IEEE computer society, IT Professional, pp. 36-41, September, 2007. Article (CrossRef Link).
4	Scholer, A., Rickel, "Learning domain knowledge for teaching procedural task," AAAI-2000, 2000.
5	David Y.W. Park, "Static Analysis to Identify Invariants in RSML Specifications," in Proc. of Formal Techniques in Real-Time and Fault-Tolerant '98, LNCS 1486, pp. 133-142, Springer, 1998. Article (CrossRef Link).
6	M. D. Ernst,(ed.), "Dynamically Discovering Likely Program Invariants to Support Program Evolution," ICSE, 2000.
7	M. B. Dwyer, "Property specification patterns for finite-state verification," in Proc. of the Workshop on Formal Methods in Software Practice, 1998. Article (CrossRef Link).
8	William Chan, "Temporal-logic Queries," in Proc. of CAV 2000, LNCS 1855, pp. 450-463, Springer, 2000. Article (CrossRef Link).
9	R. Bryant, “Graph-Based Algorithms for Boolean Function Manipulation,” IEEE Transactions on Computer, Vol. 100, No. 8, pp. 677-691, 1986. Article (CrossRef Link). DOI
10	W.Y. Liu, "Using IDEF0/Petri net for Ontology based task knowledge analysis: the case of emergency response for debris flow," System Sciences, HICSS Volume 4, 2006. Article (CrossRef Link).
11	S. Edelkamp, S. Jabbar, “Action Planning for Directed Model Checking of Petri Nets,” Electronic Notes in Theoretical Computer Science, Vol. 149, No. 2, pp. 3-18, 2006. Article (CrossRef Link). DOI
12	J. B. Rosser, “On the Complexities of Complex Economic Dynamics,” Journal of Economic Perspectives. Vol. 13, No. 4, pp. 169-192, 1999. Article (CrossRef Link). DOI
13	D. Ruan, F. Hardeman, “Intelligent Decision and Policy Making Support Systems,” Vol. 117, Springer, 2008. Article (CrossRef Link).
14	Robert J. Thierauf, “Optimal Knowledge Management,” IDEA Group Publishing, 2006. Article (CrossRef Link).
15	V. Devedzic, “Knowledge Modeling - State of the art,” ACM integrated computer aided engineering, Vol. 8, No. 3, pp. 257-281, 2001.
16	Dou, Wei, “A Model-Driven Approach to Trace Checking of Temporal Properties with OCL,” Open Repository and Bibliography, S&T Centre, University of Luxembourg, 2014.
17	Edmund M. Clarke, "Model Checking," in Procs of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 54-56, 1997.
18	A. Neuser, “A GUI for Real-time Visualization of On-line Model Checking with UPPAAL,” Institute for Software Systems, Hamburg University of Technology (TUHH), 2014.
19	Savas Konur, “Towards Light-Weight Probabilistic Model Checking,” Journal of Applied Mathematics, Hindawi publishing corporation, 2014. Article (CrossRef Link).
20	Campos, J. Creissac, Machado, “A specification patterns system for discrete event systems analysis,” InTech, repositorium.sdum.uminho.pt, 2013. Article (CrossRef Link).
21	DR Kulkarni, “Improved model generation and property specification for analog/mixed-signal circuits,” async.ece.utah.edu, 2013.