SOFL+MSVL 2019: The 9th International Workshop on SOFL + MSVL for Reliability and Security Shenzhen University Shenzhen, China, November 5-9, 2019 |
Conference website | http://csse.szu.edu.cn/icfem2019/soflmsvl.html |
Submission link | https://easychair.org/conferences/?conf=soflmsvl2019 |
Abstract registration deadline | August 14, 2019 |
Submission deadline | August 20, 2019 |
Introduction
SOFL+MSVL 2019 is an annual workshop on formal engineering methods in relation to the SOFL method and the MSVL method. SOFL stands for Structured Object-Oriented Formal Language and SOFL method is a representative formal engineering method. MSVL stands for Modelling, Specification, and Verification Language that supports temporary logic-based modeling and specification as well as model checking for verification. This workshop is always organized as a satellite event of International Conference on Formal Engineerin"g Methods (ICFEM). SOFL+MSVL 2019 is the 9th workshop in the workshop series.
Background and Objectives
There is a growing interest in applying formal methods in practice to improve software productivity and quality, but only with a few exceptions, this interest has not been successfully converted into the reality of application. How to enable practitioners to easily and effectively use formal techniques still remains challenging.
The Structured Object-Oriented Formal Language (SOFL) has been developed to address this challenge by providing a comprehensible specification language, a practical modeling method, various verification and validation techniques, and tool support through effective integration of formal methods with conventional software engineering techniques. SOFL integrates Data Flow Diagram, Petri Nets, and VDM-SL to offer a visualized and formal notation for specification construction; a three-step approach to requirements acquisition and system design; specification-based inspection and testing methods for detecting errors in both specifications and programs, and a set of tools to support modeling and verification.
The Modeling, Simulation and Verification Language (MSVL) is a parallel programming language. Its supporting toolkit MSV has been developed to enable us to model, simulate and verify a system in a formal manner.
Following the success of previous SOFL+MSVL workshops, this workshop aims to continuously promote the development and combinations of the SOFL formal engineering method and the formal method MSVL, as well as the applications of their fundamental principles or specific techniques to developing other formal engineering techniques. We expect to bring industrial, academic and government experts of SOFL and MSVL to communicate and to exchange ideas. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the interest includes, but not limited to, all of the possible issues in relation to SOFL, MSVL, or their applications in both developing other formal engineering techniques and specific software systems.
List of Topics
- Modeling and Specification
- Integration of prototyping and formal specification
- Integration of Agile methods and formal specification
- Specification inspection and verification
- Specification animation
- Automatic transformation
- Specification-based inspection and verification
- Specification-based testing
- Evolution and refinement
- Model checking
- Software process
- Project management
- Service-oriented computing
- Data intensive computing
- Many core parallel computing
- Security of software
- Application
- Semantics
- Software Tools
Conference Organizing Committee
General Chairs
- Shaoying Liu, Hosei University, Japan
- Zhenhua Duan, Xidian University, China
Program Co-Chairs
- Huaikou Miao, Shanghai University, China
- Cong Tian, Xidian University, China
Program Committee
- Yuting Chen, Shanghai Jiaotong University, China
- Busalire Emeka, Hosei University, Japan
- Colin Fidge, Queensland University of Technology, Australia
- Huaikou Miao, Shanghai University, China
- Weikai Miao, East China Normal University, China
- Fumiko Nagoya, Nippon University, Japan
- Shin Nakajima, NII, Japan
- Kazuhiro Ogata, JAIST, Japan
- Shengchao Qin, Teesside University, UK
- Wuwei Shen, Western Michigan University, USA
- Xinfeng Shu, Xi’an University of Posts and Telecomunications, China
- Cong Tian, Xidian University, China
- Rong Wang, Hosei University, Japan
- Xi Wang, Shanghai University, China
- Jinyun Xue, Jiangxi Normal University, China
Contact
All questions about submissions should be emailed to: hkmiao@shu.edu.cn;ctian@mail.xidian.edu.cn