Structured Object-Oriented Formal Language and Method: 6th International Workshop, Sofl+msvl 2016, Tokyo, Japan, November 15, 2016, Revised Selected P

ISBN-13: 9783319577074 / Angielski / Miękka / 2017 / 239 str.

Shaoying Liu; Zhenhua Duan; Cong Tian

Opis

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions.

Spis treści

Modeling and Specification.- Orchestration Combinators in Apla+ Language.- On Termination and Boundedness of Nested Updatable Timed Automata.- Instant-based and State-based Analysis of Infinite Logical Clock.- Animation and Prototyping.- Automated Safety Analysis on Scenario-based Requirements for Train Control System.- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.- Formal Development of Linear Structure Reusable Components in PAR Platform.- Verification and Validation.- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet.- A Proof System for MSVL Programs in Coq.- Runtime Verification Monitor Construction for Three-valued PPTL.- Applying SOFL to a Railway Interlocking System in Industry.