• The Journal of the Korea Contents Association
• /
• v.11 no.9
• /
• pp.63-75
• /
• 2011

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.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.7 no.6
• /
• pp.777-784
• /
• 2017

In the architectural space, the user's behavior is the most important factor in evaluating the quality of architecture. Normally, the evaluation of user behavioral performance was carried out after a building was completed. Recently, interest in and efforts at pre-simulation based on information technology are accelerating. However, since existing user simulation technology is concerned mainly with simply escaping from a large space, it is impossible to simulate the behavior of multiple users in an architectural space. The present study strives to develop a human-figured intelligent agent for advanced user simulation based on ontology. The main purpose of the study is to employ the intelligent behaviors of a NPC(Non-player Character) to infer the ontology of both spatial and user information. In this paper, we intend to integrate ontology inference technology into the virtual space. And also, this study suggest the ontology visualization technology which illustrate the ontology-based information and their change in the spatial information.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.10
• /
• pp.195-203
• /
• 2019

Inadequate military soldiers cause military fatigue and rejection such as reduced confidence in the military and combat power. The military developed and applied a self-adopting test as a psychological test system to identify soldiers who are not fit to serve in the military in advance and prevent accidents. In this paper, we propose the ontology design process to be used for identifying accident concerns and implement the behavioral patterns and symptoms of maladjustment soldiers as ontology. The ontology design process is validated consistency and suitability as a result of the performance evaluation of ontology implemented. Through ontology design for identifying maladjustment soldiers, it is expected to play an effective role in preventing accidents by providing objective criteria and sharing of information on accident concerns.

• International Journal of Computer Science & Network Security
• /
• v.21 no.3
• /
• pp.153-164
• /
• 2021

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time. Conceptual time is time represented in conceptual modeling, where the notion of time does not always play a major role. Time modeling in computing is far from exhibiting a unified and comprehensive framework, and is often handled in an ad hoc manner. This paper contributes to the establishment of a broader understanding of time in conceptual modeling based on a software and system engineering model denoted thinging machine (TM). TM modeling is founded on a one-category ontology called a thimac (thing/machine) that is used to elaborate the design and analysis of ontological presumptions. The issue under study is a sample of abstract modeling domains as exemplified by time. The goal is to provide better understanding of the TM model by supplementing it with a conceptualization of time aspects. The results reveal new characteristics of time and related notions such as space, events, and system behavior.

• Journal of Korean Society of Forest Science
• /
• v.79 no.3
• /
• pp.330-342
• /
• 1990

One might have a retrospect on the relationship between the forest and human being from the viewpoint of ecological perspective. It is no doubt that most of the fossil humans should have lived on the forest and the latter provided foods and shelters for humans from their beginning stages, Since the so-called agricultural revolution, humans have extensively started to exploit the forest which had beer, their cradle. The industrial revolution has created another situation against the forest in terms of the quality of ecosystem. These two revolutions have set up the so-called civilization which seems to have been based on the sacrificial oblation of the forest. The cradle for human being has been kept exterminating for the shake of "economic development and miracle." This might be a synoptic history of relationships between the forest and human beings in a sense. designates the behavioral aspects of human being against the forest and people consider the forest only as exploitable resource in this context, and the latter means that people live on the forest and strive to adapt the order of forest ecosystem. The resourcism has developed a strategy of colonialism to exploit the forest and provided a winner's position for the human beings against the forest, This idea and behavioral perspective seems to have started the backfire against the exploiter who is the owner of the civilization. However, there are different philosophies and ideas to view the relationship between the forest and human beings. People within the forest who are mostly considered as "primitives" still keep their idea of the ontology of the forest. There is a theoretical assumption of the "socionatural system" to look into the ecosystem. The forest could be viewed in the above frame of analysis. There are five variables : environment, resource, technology, organization, and ideology. Ideological aspect of the forest can be explained in the context of belief systems. Forest has a meaning of religion and rituals and people within the forest should admire it in anyway of religious reasons. This aspect of the forest cannot be separated from the environmental aspect of the forest. People within the forest acknowledge and practice the above idea. People outside the forest have lost the idea, however, at the cost of acquiring the civilization. They have expelled themselves from the forest and divided the socionatural system of the forest by way of colonialism. The efforts like agroforestry and social forestry would be strategies for recovering the idea of ontology of the forest as well as the sense of community including the forest and human being. People within the forest will be a prospective model for the future socionatural system of the forest for the people outside the forest. At this point, an ecological anthropologist can work with the forest specialists.

• International Journal of Computer Science & Network Security
• /
• v.21 no.1
• /
• pp.84-96
• /
• 2021

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies in this area can produce theoretical results that strengthen UML as the leading modeling language. Recently, a new modeling technique has been proposed called thinging machine (TM) modeling. This paper utilizes TM to further understand UML, with two objectives: (a) Fine issues in UML are studied, including theoretical notions such as events, objects, actions, activities, etc. Specifically, TM can be used to solve problems related to internal cross-diagram integration. (b) TM applies a different method of conceptualization, including building a model on one-category ontology in contrast to the object-oriented paradigm. The long-term objective of this study is to explore the possibility of TM complementing certain aspects in the UML methodology to develop and design software systems. Accordingly, we alternate between UML and TM modeling. A sample UML model is redesigned in TM, and then UML diagrams are extracted from TM. The results clarify many notions in both models. Particularly, the TM behavioral specification seems to be applicable in UML.