Management Studies Research Center
【Speech】

Time:2017/03/13(一)19:30~20:00

Location:Room4069

Speaker：Prof. Moon Kun Lee (Chonbuk National University)

Title：Model System Behavior with Mathematical Structures

Abstract：Entities in computer systems behave like living things in real world. In order to understand the behavior of the systems logically, it is necessary to abstract the behavior in formal and collective patterns. In that perspective, this lecture presents a meta-modeling method to abstract the behavior in the patterns as follows. Firstly, the basic individual actions of the behavior are represented as movement actions in process algebra, called δ-Calculus, in a geo-temporal space, called GTS. Secondly, the actions of the things are grouped together in sequence as behaviours in ontology, called Behaviour Ontology, in an abstraction space, called n:2-lattice. In this way, the behavior of the things can be represented in mathematically structured patterns and be organzied hierachically in the collective patterns of the things. In the method, the requirements for the secure and safe behaviors will be specifed and verified using GTS Logic, and be represented as dynamic contraints in the lattice. Further the relations between the GTS space and the lattice space can be investigated. In order to show the applicability of the approach, an a Smart EMS (Emergency Medical Systems) example will be used for demonstration on a tool, called SAVE. SAVE is a ptototype tool to specify, analyze, verify and evaulate distributed mobile real-time systems. It has been developed on ADOxx meta-modelling platform. At the end, the detailed architecture of the tool will be presented to show how effectively and efficiently the tool has been developed by using the basic facilities of ADOxx.

Bio：Currently, Prof. in Division of Computer Science and Engineering in Chonbuk National Univeristy, Republic of Korea. Received Bachelor degree in Computer Science, Pennsylvania State University, USA; Master and PhD degrees in Computer & Information Science, The University of Pennsylvania, USA. Worked at CCCC, USA, as Computer Scientist; Developed SRE (SW Re/reverse-engineering Environment); Applied to modernization of legacy OS and SW from NSWC of US Navy to Ada. Main research interests are SW round-trip engineering, ditributed real-time systems, formal methods, ontology, behaviour engineering, etc. Currently focused on collective behaviour engineering for distributed mobile systems with δ-Calculus and Behavior Ontology in SAVE on ADOXX.