Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Liu, Shaoying (Editor), Duan, Zhenhua (Editor), Tian, Cong (Editor), Nagoya, Fumiko (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10189
• Subjects: Computer science.; Computer hardware.; Computer organization.; Software engineering.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Computing Methodologies.; Computer Systems Organization and Communication Networks.; Computer Hardware.

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. They ar...

Table of Contents:

• 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. .