OMILAB@JeonBuk National University
The OMILAB node at JeonBuk National University in Korea works in the field of smart intelligent systems, including model-based verification support of complex environment and their simulation.
The OMiLAB Korea aims to initiate the Open Model Community in Korea, as well as, to expand this community to East and South Asia. The lab follows the notion and goals of the Open Models to realize the openness of the knowledge of mankind.
About the OMILAB Node
The OMILAB node at JeonBuk National University in Korea works in the field of smart intelligent systems, including model-based verification support of complex environment and their simulation. The OMiLAB Korea aims to initiate the Open Model Community in Korea, as well as, to expand this community to East and South Asia. The lab follows the notion and goals of the Open Models to realize the openness of the knowledge of mankind. OMiLAB Korea has been actively involved in several initiative activities in Korea, as well as East Asia: organizing leading modeling and formal method groups, developing modeling and formal method tools, providing ADOxx trainings and tutorials, publishing ADOxx-based approaches and tools, promoting joint projects using ADOxx, etc. One of the most noticeable activities is definitely the tool development. The main tools developed so far in OMiLAB Korea include SAVE, which is a formal specification and verification tool based on δ-Calculus and GTS-Logic, PRISM, which is a collective behavior modeling and composition tool for business knowledge based on Behavior Ontology, and SRRE, which is a SW reverse engineering tool for enterprise systems based on round-trip engineering.
Formal specification and verification
About the Hosting Organisation
The division of Computer Science & Engineering at JeonBuk National University leads and contributes to the development of our society by teaching and studying the cutting-edge field of study, and fosters experts who can analyze and design computer software and hardware system in the 21st century. It encourages students to apply the knowledge in computer engineering and information technology, to analyze the system by reflecting the realistic limitations to solve engineering problems, and to develop creative programs that can fulfill the demands of the society and its users. The aim is to make the graduates to contribute to the growth of Korean IT industry by specializing software development track and having the high-level, cutting-edge programming abilities.
Get an overview what this OMiLAB has accomplised! Selected results are presented below as a contribution to the global community:
All further results of the OMiLAB Node are available at the portal provided and maintained by the organizer.
The following, selected activities are organized by the OMiLAB.
The NEMO Summer School Series focuses on addressing these challenges through modelling, both in theory and practice. How to define modelling with the ‘right’ level of abstraction and how to engineer suitable modelling tools is at the heart of the summer school.
Prof. Lee has been a speaker at the NEMO Summer School Series since the second edition and joins the event every year in Vienna together with students from JeonBuk National University.
ADOxx Training @OMiLAB Korea
OMiLAB@JeonBuk National University organizes periodically ADOxx Training Days (www.adoxx.org) for professionals and graduate students in the region. Especially the trainings have been based on the target-oriented service to motivate the group of professionals and their graduate students to develop their modeling tools. ADOxx is the meta-modelling development and configuration platform for implementing modelling methods. Implementation of full-fletched modelling methods can be realized using the platform, consisting not only of a modelling language, but also of modelling procedure and the corresponding functionality in the form of mechanisms and algorithms.
The following cyber-physical resources are available at the OMILAB node: