OPERAM: A Collaborative Semantic Workspace for Software Verification

Collaboration is an important issue when developing software, because it involves working together towards a common goal. This work presents OPERAM, a collaborative semantic workspace that allows comparing the modeling performed at earlier stages of software development with JAVA code. OPERAM provides useful information for professionals involved in the task of developing code and even managing the project. OPERAM aims to allow monitoring of the project, helping users to be aware of the context they are working, allowing carry out verification of software development, confronting the modeling performed with source-code produced during the programming phase. We present its main features and architecture. In this paper the main features and architecture of OPERAM are presented, as well as a validation was conducted to prove the effectiveness of OPERAM. The results show the value of the workspace as a tool to support collaboration and software verification.