Skip to main content
Springer Nature Link
Log in

Structured Object-Oriented Formal Language and Method

7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Cong Tian

    1. Xidian University, Xi’an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fumiko Nagoya

    1. Nihon University, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Shaoying Liu

    1. Hosei University, Koganei-shi, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Zhenhua Duan

    1. Xidian University, Xi’an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10795)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFL+MSVL 2017.

  • 11k Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.

The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.

Similar content being viewed by others

Keywords

Table of contents (13 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Animation and Prototyping

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Graphically Perceiving Characteristics of the MCS Lock and Model Checking Them

      • Tam Thi Thanh Nguyen, Kazuhiro Ogata
      Pages 3-23

    3. An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing

      • Fumiko Nagoya, Shaoying Liu
      Pages 24-35

  3. Graph Theory

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. On the Cooperative Graph Searching Problem

      • Chin-Fu Lin, Ondřej Navrátil, Sheng-Lung Peng
      Pages 39-47

  4. Model Checking

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach

      • Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu
      Pages 51-68

    3. The Complexity of Linear-Time Temporal Logic Model Repair

      • Xiuting Tao, Guoqiang Li
      Pages 69-87

    4. Extending UML for Model Checking

      • Xinfeng Shu, Mengnan Wang, Xiaobing Wang
      Pages 88-107

  5. Modeling and Specification

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. Foundation of a Framework to Support Compliance Checking in Construction Industry

      • Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang
      Pages 111-122

    3. An Improved Reliability Testing Model Based on SOFL

      • Zhouxian Jiang, Honghui Li, Xuetao Tian
      Pages 123-132

    4. A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks

      • Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu
      Pages 133-147

    5. Implementing MapReduce with MSVL

      • Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
      Pages 148-167

  6. Verification and Validation

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. A Software Tool to Support the “Vibration’’ Method

      • Pan Zhao, Shaoying Liu
      Pages 171-186

    3. A Software Tool to Support Scenario-Based Formal Specification for Error Prevention

      • Siyuan Li, Shaoying Liu
      Pages 187-199

    4. A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler

      • Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata
      Pages 200-217

  7. Back Matter

    Pages 219-219
    Download chapter PDF
Back to top

Editors and Affiliations

  • Xidian University, Xi’an, China

    Cong Tian, Zhenhua Duan

  • Nihon University, Tokyo, Japan

    Fumiko Nagoya

  • Hosei University, Koganei-shi, Tokyo, Japan

    Shaoying Liu

Bibliographic Information

Publish with us

Policies and ethics

Back to top