Your browser does not support JavaScript!
[Jan-11] A Process Algebra-Based Systems Modeling Approach

Seminar of Institute of Information Systems and Applications

Speaker :

林耕霈助理教授 Asst. Prof. Keng-Pei Lin

Department of Information Management, National Sun Yat-sen University

Topic :

A Process Algebra-Based Systems Modeling Approach

Date :

14:00-16:00 Friday 11-Jan-2019

Place :

台達館R105Delta Building R105

Host :

Prof. Chih Ya Shen



The systems modeling technique is used for developing an abstract model to help analyze and understand the functionality of a system. We introduce a new approach for general-purpose systems modeling called structure-behavior coalescence (SBC), which supports the integration of modeling both structural and behavioral aspects of a system in a single diagram. Process algebra is utilized to describe the interactions between components of the system. SBC combines graphical notation and process algebra to provide formalism and an intuitive representation in the development of the conceptual model. The SBC model can clearly describe the interactions between system components and precisely specify the execution order of an entire system via algebraic operations.


Keng-Pei Lin received the B.S. degree in computer science and information engineering from National Chiao Tung University, Hsinchu, Taiwan, in 2005, and the Ph.D. degree in electrical engineering from National Taiwan University, Taipei, Taiwan, in 2011. He is currently an assistant professor in the Department of Information Management, National Sun Yat-Sen University, Kaohsiung, Taiwan. His research interests include data mining, machine learning, and system engineering.

All faculties and students are welcome to join.