Conference Proceedings of Japan Society for Software Science and Technology
Online ISSN : 1349-3515
ISSN-L : 0913-5391
The 20th Anniversary Conference of Japan Society for Software Science and Technology
Session ID : 4A-3
Conference information

Host: Japan Society for Software Science and Technology

Designing Distributed Cooperative Systems in High-level Petri Nets and Automated Code Generation
*Tomohiro Kitano, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
Author information
Keywords: Distributed Cooperative System, Software Design, Petri net
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Download PDF (171K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract
In this paper, we propose a methodology for specification and development of distributed cooperative systems. In our approach, for a given abstracted specification, a distributed Java program is automatically derived. The method consists of a stepwise refinement method of the abstracted specification and a code generation method from the refined specification. We discuss the details of these methods.
Content from these authors
© 2003 Japan Society for Software Science and Technology
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top