Keynote Speakers
ICEM2020

当前位置:主页 > Keynote Speakers


趙善中.jpg

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


Abstract:

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.


1587880519(1).jpg

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/ 王老师


1528443893366857.png:iconfem@163.com

1528444166672329.png:+86-13922159054

1528444215680049.png746989682

1528444238828754.png:13922159054

王老师微信.jpg


Suported By

support.png