Abstract: 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.
Loading