intTypePromotion=1

A Framework for Modeling and Modular Verification of Component-Based System Designs

Chia sẻ: Trương Tiên | Ngày: | Loại File: PDF | Số trang:12

0
23
lượt xem
2
download

A Framework for Modeling and Modular Verification of Component-Based System Designs

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

This paper introduces a framework for modeling and verifying safety properties of component-based systems (CBS) by extracting their models from designs in the form of UML 2.0 sequence diagrams. Given UML 2.0 sequence diagrams of a CBS, the framework extracts regular expressions exactly describing behaviors of the system.

Chủ đề:
Lưu

Nội dung Text: A Framework for Modeling and Modular Verification of Component-Based System Designs

ADSENSE
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2