JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-1998 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8381

Title: Concurrent object composition in CafeOBJ
Authors: Iida, Shusaku
Matsumoto, Michihiro
Diaconescu, Razvan
Futatsugi, Kokichi
Lucanu, Dorel
Issue Date: 1998-02-20
Publisher: 北陸先端科学技術大学院大学情報科学研究科
Magazine name: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
Volume: IS-RR-98-0009S
Start page: 1
End page: 40
Abstract: A new method is introduced to concurrently compose an object from already verified objects. The most important new feature of our method is that the verification of the composed object can be done by re-using the verifications of component objects. That is, the verification of composed object is also composable. This is not always true. We can show this can be achieved under some practically reasonable restrictions. These can be made possible by using a new algebraic specification language CafeOBJ which has clear and precise algebraic semantics.
URI: http://hdl.handle.net/10119/8381
Material Type: publisher
Appears in Collections:IS-RR-1998

Files in This Item:

File Description SizeFormat
IS-RR-98-0009S.pdf22475KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology