es 0813 apresentacaoartigosmc2013edenilson v4

26
1 Edenilson José da Silva Emerson Torquato Milton Pires Ramos Emerson Cabrera Paraiso OPERAM: A Collaborative Semantic Workspace for Software Verification

Upload: edejsilva

Post on 17-Jul-2016

213 views

Category:

Documents


0 download

DESCRIPTION

apresentacao smc 2013

TRANSCRIPT

Page 1: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

1

Edenilson José da SilvaEmerson Torquato

Milton Pires RamosEmerson Cabrera Paraiso

OPERAM: A Collaborative Semantic Workspace for

Software Verification

Page 2: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

2

• Introduction;

• Motivation;

• OPERAM Overview;

• OPERAM Meta-Model and Examples of Use;

• MyBMI Project and Results;

• Future Perspectives.

Summary

Page 3: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

3

OPERAM’S Contributions in SDLC PhasesPhases in Software Development Life Cycle

O P E R A M

Page 4: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

4

Introduction 1/3

• Collaboration in software development is an important issue;

• This activity usually involves people with different roles;

• Tools and environments;

Page 5: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

5

OPERAM Definition

• OPERAM: a collaborative semantic workspace, that allows comparing the modeling performed at earlier stages of software development with JAVA code;

Page 6: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

6

Some Issues About OPERAM

• OPERAM provides useful information;

• OPERAM allows: (FALAR MAIS A RESPEITO DESTES TÓPICOS*)– monitoring of the project;– helping users to be aware of the context; (*ESTE É O

PONTO)– carry out verification of software development.

Page 7: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

7

OPERAM’S MAIN FEATURES

• Main features of OPERAM:

– facilitate collaboration between users; (*COMO FACILITA?)

– semantic integration between artifacts; (*REFORÇAR ISTO)

Page 8: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

8

OPERAM Overview

Page 9: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

9

OPERAM Overview

Page 10: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

10

OPERAM Overview

Page 11: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

11

OPERAM Overview

Page 12: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

12

OPERAM Overview

Page 13: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

13

OPERAM Overview

Page 14: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

14

OPERAM Overview

Page 15: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

15

OPERAM Overview

RETIRAR O WEB BROWSER – COLOCAR OUTRO NOME*MOSTRAR AS LIGAÇÕES SEMÃNTICAS – COLOCAR UM DOS EXEMPLOS AQUI*

Page 16: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

16

OPERAM Example of Use (4/5)

Semantic Relationship: class-created-by Status.java and Developer 3

Page 17: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

17

OPERAM Meta-Model

EXPLICAR EM MAIORES DETALHES

Page 18: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

18

OPERAM Example of Use (1/5)

NÃO FALAR NO KANBAN*

Page 19: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

19

OPERAM Example of Use (2/5)

Page 20: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

20

OPERAM Example of Use (3/5)

Page 21: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

21

OPERAM Example of Use (5/5)

Semantic Relationship: is-related-to MetaPeso.java and class diagram

Page 22: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

22

MyBMI Project

Class diagram of MyBMI system MyBMI system under development into OPERAM

DAR MAIS DETALHES:*CRIACAO DA MODELAGEMAPRSENTADO PARA UM GRUPO DE DESENVOLDEDORESCOLCOAR NUMEROS

Page 23: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

23

Results of MyBMI Project

Semantic Relationship Description

is-responsible-for Project managerlast-updated-by CalorieGoal.java and Developer 1last-updated-by X.java and Developer 2is-related-to CalorieGoal.java and class diagramis-related-to PersonData.java and class diagramclass-created-by BMI.java and Developer 3is-cowriter-of CalorieGoal.java and Developer 1is-cowriter-of CalorieGoal.java and Developer 3

Action Developer 1 Developer 2 Developer 3

# of Class Created 20 5 1# of Methods Created 92 2 -

# of Methods Removed 7 2 -# of Break Points

Inserted 7 2 2

# of Debug Execution 20 5 3

Excerpt of Data of MyBMI Project.

Some Data About MyBMI Project

Page 24: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

24

Future Perspectives of OPERAM

• Integration with SVN;

• Implement dashboards;

• Data Generation for PSP (Personal Software Process).

Page 25: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

25

ACKNOWLEDGMENTS

Page 26: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4

26

OPERAM: A Collaborative Semantic Workspace for

Software Verification

[email protected]

[email protected]

Edenilson José da SilvaEmerson Torquato

Milton Pires RamosEmerson Cabrera Paraiso