loading...
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
San Diego, California November 26-November 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2001.98980416th IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Kazuhiro Ogata, Kokichi Futatsugi, "Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ," Automated Software Engineering, International Conference on, pp. 185, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2001.989804,
author = {Kazuhiro Ogata and Kokichi Futatsugi},
title = {Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1426-X},
pages = {185},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989804},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
SN - 0-7695-1426-X
SP
EP
A1 - Kazuhiro Ogata,
A1 - Kokichi Futatsugi,
PY - 2001
KW - algebraic specification
KW - CafeOBJ
KW - distributed real-time systems
KW - modeling
KW - specification
KW - UNITY
KW - verification
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
CafeOBJ is a wide spectrum formal specification language based on multiple logical foundations: mainly initial and hidden algebra. A wide range of systems can be specified in CafeOBJ thanks to its multiple logical foundations. However, distributed real-time systems happen to be excluded from targets of CafeOBJ. In this paper, we propose a method of modeling and verifying such systems based on CafeOBJ, together with timed evolution of UNITY computational models.
Index Terms:
algebraic specification, CafeOBJ, distributed real-time systems, modeling, specification, UNITY, verification
Citation:
Kazuhiro Ogata, Kokichi Futatsugi, "Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ," ase, pp.185, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.