Stepwise development of peer-to-peer systems
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Hi-index | 0.00 |
We show how to specify distributed control systems within the object-based OO-action systems framework by combining informal and formal specification methods in a novel way. UML diagrams serve partly as a starting point for the formal specification process as well as give direction for the refinement steps via which the control system stepwise evolvs. We present the proposed approach via the well-known Production Cell case study.