Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

✍ Scribed by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

• Publisher: Springer International Publishing
• Year: 2019
• Tongue: English
• Leaves: 200
• Series: Lecture Notes in Computer Science 11392
• Edition: 1st ed.
• Category: Library

✦ Synopsis

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

✦ Table of Contents

Front Matter ....Pages I-VIII
Front Matter ....Pages 1-1
Software Construction Monitoring and Predicting for Human-Machine Pair Programming (Shaoying Liu)....Pages 3-20
Dataset Diversity for Metamorphic Testing of Machine Learning Software (Shin Nakajima)....Pages 21-38
Research Review on Web Service Composition Testing (Zhoujie Du, Huaikou Miao)....Pages 39-51
Front Matter ....Pages 53-53
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation (Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu)....Pages 55-70
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL (Yufei Yin, Shaoying Liu, Yixiang Chen)....Pages 71-88
Model Checking Java Programs with MSVL (Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao)....Pages 89-107
Formal Specification and Verification for Real-Time Scheduling Based on PAR (Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie)....Pages 108-122
Front Matter ....Pages 123-123
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL (Johan van der Berg, Stefan Gruner)....Pages 125-145
On Semantics for Mediator: A Coalgebraic Perspective (Ai Liu, Shun Wang, Yi Li, Meng Sun)....Pages 146-165
Front Matter ....Pages 167-167
A Blockchain Implementation of an Attendance Management System (Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu)....Pages 169-182
State-of-the-Art and Future Trends of Blockchain Based on DAG Structure (Chong Bai)....Pages 183-196
Back Matter ....Pages 197-197

✦ Subjects

Computer Science; Software Engineering/Programming and Operating Systems; System Performance and Evaluation; Theory of Computation; Computing Milieux