Abstract
The integration of MODEST specification language into the MÖBIUS framework is presented. The integration complements the qualitative analysis of MODEST specifications using CADP with powerful solution techniques of MÖBIUS for quantitative assessment. The integration also constitutes the basis for system specifications that are partly specified in MODEST and partly described by other formalisms, and enlarges the classes of stochastic models in MÖBIUS. The integration of MODEST into the MÖBIUS framework is established by a direct mapping from MODEST onto the MÖBIUS abstract functional interface (AFI).
Original language | English (US) |
---|---|
Pages | 671 |
Number of pages | 1 |
DOIs | |
State | Published - 2003 |
Event | 2003 International Conference on Dependable Systems and Networks - San Francisco, CA, United States Duration: Jun 22 2003 → Jun 25 2003 |
Other
Other | 2003 International Conference on Dependable Systems and Networks |
---|---|
Country/Territory | United States |
City | San Francisco, CA |
Period | 6/22/03 → 6/25/03 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Computer Networks and Communications