Integrating UML and OUN for specification of open distributed systems
暂无分享,去创建一个
Convenience in specification and possibility for formal analysis are important aspects in the specification of software systems. An approach that combines UML and OUN (specification languages), is proposed for such a purpose. The approach is demonstrated by a case study of an open distributed system.
[1] Philip T. Cox,et al. Human Centric Computing Languages and Environments , 2003 .
[2] John Rushby,et al. The PVS Specification Language , 1993 .
[3] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..