Call for papers

   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.

   Topic areas include, but are not limited to:

●    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

Important Dates
Paper submission new deadline (strict): 20th July 2015
Acceptance/Rejection notification: 29th August 2015
Workshop: 6th November 2015
Camera ready paper due: 15st December 2015

All submissions will be reviewed by program committee members on the basis of technical quality, relevance, significance, and clarity; and those accepted will be published in the workshop proceedings. Technical papers should describe original research, and industrial experience should include practical projects and analysis emphasizing outcomes, insights gained, and lessons learned.

All authors should submit papers via the online EasyChair system: Submitted manuscripts must be written in English and should be no longer than 20 pages in Springer’s LNCS format described at Authors of accepted papers will have to submit the final camera-ready papers via the EasyChair system and sign a copyright release form. The workshop proceedings will be published as an LNCS post-proceedings by Springer.

Program Co-Chair
Shaoying Liu, Hosei University, Japan
Zhenhua Duan, Xidian University, China

Program Committee
Yuting Chen, Shanghai Jiaotong University, China
Stefan Gruner, University of Pretoria, South Africa
Gihwon Kwon, Kyonggi University, Korea
Richard Lai, La Trobe University, Australia
Karl Leung, Hong Kong Institute of Vocational Education
Mo Li, Hosei University, Japan
Xiaohong Li, Tianjin University, China
Weikai Miao, East China Normal University, China
Fumiko Nagoya, Aoyama Gakuyin University, Japan
Shin Nakajima, National Institute of Informatics (NII), Japan
Kazuhiro Ogata, JAIST, Japan
Shengchao Qin, Teesside University, UK
Fenggang Shi, Thales Canada Transportation Solutions, Canada
Wuwei Shen, Western Michigan University, USA
Jing Sun, University of Auckland, New Zealand
Kenji Taguchi, AIST, Japan
Cong Tian, Xidian University, China
Xi Wang, Shanghai University, China
Xinfeng Shu, Xi'an University of Posts and Telecommunications, China
Jinyun Xue, Jiangxi Normal University, China
Xiaobing Wang, Xidian University, China
Haitao Zhang, JAIST, Japan
Hong Zhu, Oxford Brookes University, UK