Research Groups

| Verifiable and Evolvable e-Society | Basic Technology for Trustworthy e-Society |

(1) A Formal Description System for e-Societies
The group will conduct research into logical and specification description systems and the underlying basic mathematical concepts that can be used to define the structure and functions of an e-Society system. We will establish a specification description system capable of giving a clear definition of the constituent members of an e-Society (the individual and the organization) and the roles, responsibilities, and rights of individuals within organizations; the relationships among the various organizations; and the services offered by an e-Society. We will also establish the formal logical system and proving methodology on which such a specification description system will be based, the mathematical system behind it, and a language for highly reliable comuptation that can be used to create the specifications for an e-Society.


(2) Verification of e-Society Trustworthiness Requirements
The group will define the requirements for e-Society trustworthiness, and ways of verifying the formal specifications that will satisfy those requirements. Specifically, we will:

A) Establish methods for ensuring consistency between e-Society's functions and services and the relevant laws and regulations, methods for the verification of accountability, and natural language processing required for that purpose;

B) Study methods for preventing information leaks, privacy infringement, illicit access of information and other security related issues in the e-Society.

C) Establish a methodology for improving the accident resistance and fault tolerance of the e-Society system in order to ensure that accidents and human errors do not cause widespread malfunction.


(3) e-Society Verification Methodology
Using theorem proving and model checking systems, the group will conduct research to establish the methods and tools needed to verify that e-Society specifications meet trustworthiness requirements, and that the e-Society model is consistent with those specifications. In addition, we will simulate the e-Society model using agent technology and other technologies. For this simulation, we will study on the structure of the e-Society simulation model most appropriate for detecting model errors and testing model adequacy.


(4) e-Society Modeling and Evolution
We will use the latest object technologies, including Model Driven Architecture, Object Constraint Language and other approaches, to conduct research into the modeling of an e-Society system. In addition, using evolution technologies such as feature-oriented development, ontology engineering and evolution domain concepts, we will establish a methodology for e-Society evolution and will research a methodology for using the e-Society model to generate a social infrastructure information system.


(5) e-Society Structure and Functions
The group will conduct research into the structure and functions of e-Society and e-Government from a sociological and organizational perspective.