|
Published Articles >> Table of Contents >> Abstract
Fifth International Conference on Creating, Connecting and Collaborating through Computing (C5 '07)
pp. 99-108
Development and Verification of a Collaborative Printing Environment
Takeshi Matsumoto, University of Tokyo
Daisuke Ando, University of Tokyo
Tasuku Nishihara, University of Tokyo
Masahiro Fujita, University of Tokyo
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/C5.2007.8
Send link to a friend
| Abstract |
|
In this paper, we propose a printing environment utilizing
collaboration to offer more reliable printing environment.
In the proposed environment, printers are clustered,
and collaborative printing is carried out among clusters if
one cluster is very busy and others are not. We also work
on the formal verification problem of such collaborative environment,
since a number of properties must be satisfied
in the environment to guarantee the secure and safe printing.
To prove such properties, we apply model checking
methods to the developed environment. We have developed
a simulator of the proposed environment, and show that it
can work effectively even if some printers are out of order,
or out of paper. Also, applying model checking, we successfully
prove the properties that must be satisfied in such
printing environments.
|
 Additional Information
|
Citation:
Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita,
"Development and Verification of a Collaborative Printing Environment,"
c5,
pp. 99-108,
Fifth International Conference on Creating, Connecting and Collaborating through Computing (C5 '07),
2007
|
|
