Keynote Speakers

当前位置:主页 > Keynote Speakers


President Dr. William S. Chao

SBC Architecture International®, President, Taiwan, China

Research Area: 

Systems Architecture; Hardware Architecture; Software Architecture; Enterprise Architecture; Model-Based Systems Engineering

Title: Structure-Behavior Coalescence Process Algebra vs.Systems Modeling Language For Model-Based Systems Engineering


Model-based systems engineering (MBSE) is a formal application of modeling to support requirements analysis, systems design, systems test, etc. starting with the conceptual design phase and continuing the entire development phase and the later life cycle phase. Systems Modeling Language (SysML), defined as a profile and an extension of the Unified Modeling Language (UML), is currently the most famous modeling language for model-based systems engineering (MBSE) applications. 

In this paper, we propose a new approach for general-purpose systems modeling called structure-behavior coalescence process algebra (SBC-PA), which supports the integration of modeling both structural and behavioral aspects of a system within a single diagram. Process algebra is utilized to describe the interactions between the components of the system. SBC-PA combines graphical notation and process algebra to provide formalism and an intuitive representation in the development of the conceptual model. The SBC-PA can clearly describe the interactions between system components and precisely specify the execution order of an entire system via algebraic operations.

It is well known that the metamodel of SysML was developed to ensure model consistency between different diagrams in the user model. However, most existing SysML metamodels (e.g. OCL, Alf) lack the capability to project each diagram in the user model as a view of the metamodel. In order to overcome the shortcomings of the current SysML metamodel approaches, we need to develop a unified semantic framework that is able to integrate the structural constructs within a single diagram. SBC process algebra (SBC-PA) is such a candidate. In SBC process algebra, the structural and behavioral constructs are integrated in a single diagram. The key to model-based systems engineering (MBSE) excellence is to provide a coherent model for its approach to develop and improve the model. As the most representative model, SysML has some difficulties in achieving this goal. SBC-PA uses a single diagram approach that does have some advantages in ensuring consistency and achieving a truly coherent model.


Prof. Tariq Rahim Soomro

Institute of Business Management, Pakistan

Research Area: 

GIS, IDNS, DNS, Distance Education, E-Commerce, Multimedia, Web, Internet, UNICODE, WAP, P2P, Bioinformatics, Telemedicine, Networking, Databases, Programming

Title: Challenges of Cybersecurity

Abstract:The world around us is getting smarter and with the growth in technology, the new doors to the new threats and challenges to cybersecurity are also opening. The research and innovation in the areas of 5G network, Artificial Intelligence and IoT indicates that the cyber challenges for security professionals lie in these areas. AI-base hacking, crypto-jacking, and using machine learning for cyberattacks are real challenges. Attack like crypto-jacking may benefit the criminal more than other cybercrime. For the protection against the cyber attack, the crucial thing is to identify the risk and compose an organized-wide strategy.

Important Dates

截稿日期 | Submission Deadline: 

July 10, 2020

录用通知 | Notification: 

In 7 days

大会时间 | Conference Date: 

September 18-20, 2020

Contact Us

Claire Wang/ 王老师





Suported By