President Dr. William S. Chao
SBC Architecture International®, President, Taiwan, China
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
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.