es 0813 apresentacaoartigosmc2013edenilson v4
DESCRIPTION
apresentacao smc 2013TRANSCRIPT
![Page 1: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/1.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/2.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/3.jpg)
3
OPERAM’S Contributions in SDLC PhasesPhases in Software Development Life Cycle
O P E R A M
![Page 4: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/4.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/5.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/6.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/7.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/8.jpg)
8
OPERAM Overview
![Page 9: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/9.jpg)
9
OPERAM Overview
![Page 10: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/10.jpg)
10
OPERAM Overview
![Page 11: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/11.jpg)
11
OPERAM Overview
![Page 12: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/12.jpg)
12
OPERAM Overview
![Page 13: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/13.jpg)
13
OPERAM Overview
![Page 14: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/14.jpg)
14
OPERAM Overview
![Page 15: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/15.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/16.jpg)
16
OPERAM Example of Use (4/5)
Semantic Relationship: class-created-by Status.java and Developer 3
![Page 17: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/17.jpg)
17
OPERAM Meta-Model
EXPLICAR EM MAIORES DETALHES
![Page 18: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/18.jpg)
18
OPERAM Example of Use (1/5)
NÃO FALAR NO KANBAN*
![Page 19: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/19.jpg)
19
OPERAM Example of Use (2/5)
![Page 20: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/20.jpg)
20
OPERAM Example of Use (3/5)
![Page 21: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/21.jpg)
21
OPERAM Example of Use (5/5)
Semantic Relationship: is-related-to MetaPeso.java and class diagram
![Page 22: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/22.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/23.jpg)
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](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/24.jpg)
24
Future Perspectives of OPERAM
• Integration with SVN;
• Implement dashboards;
• Data Generation for PSP (Personal Software Process).
![Page 25: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/25.jpg)
25
ACKNOWLEDGMENTS
![Page 26: ES 0813 ApresentacaoArtigoSMC2013Edenilson v4](https://reader035.vdocuments.net/reader035/viewer/2022062819/577cc0841a28aba7119068ab/html5/thumbnails/26.jpg)
26
OPERAM: A Collaborative Semantic Workspace for
Software Verification
Edenilson José da SilvaEmerson Torquato
Milton Pires RamosEmerson Cabrera Paraiso