Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Towards service-based business process modeling, prototyping and integration
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
| Hi-index | 0.00 |
Modeling soft are systems is one of the most obvious uses of a formal specification language. A software prototype, automatically generated from the specification, enables the developer to validate the system in real environment. However, real software systems are seldom developed from scratch, but rather built using existing libraries. In this paper we show how a program based on existing software libraries is modeled in the CO-OPN specification languageand how a prototype code is generated from the specification. In particular, we study the interface between nondeterminist synchronous prototypes and determinist asynchronous software libraries.