A software development process describes a structured set of activities or tasks that must performed by software stakeholders during the different phases of software manufacturing. These activities can be divided also into smaller portions at time called increments that are produced in a progressive way. Thereby, every change occurring in one increment performs a new iteration and affects absolutely the other increments that depend on it. These changes may cause a waste in modeling time or re-coding programs and make iterations more complex. The aim of this work is to reduce this complexity and economize the modeling time by applying a model-driven approach to automate the generation of some important increments. Therefore, the proposal presents an approach to semi-automate the generation through a model transformation of one among of the most important increment of the design phase, the sequence diagram of system’s internal behavior using the sequence diagram of system’s external behavior. For this and to trace correctly the interactions in the SDSIB we propose a semantic based on the LARMAN operation contract that integrates new details to better describe system’s states and propose an improved and formal syntax to determine operations and their concerned source and responsible objects.
목차
Abstract 1. Introduction 1.1. Approach Overview 1.2. Model Driven Architecture Principles 2. Related Works 3. Analysis and Design PIMs used in the Model Transformation 3.1. Sequence Diagram of System’s External Behavior 3.2. Analysis PIM: Domain Classes Diagram 3.3. Sequence Diagram of System’s Internal Behavior 3.4. Operation Contract Meta-model 4. Model Transformation 4.1. The Transformations Rules 4.2. Validation of the Model Transformation 4.3. Resulting and Expect SDSIB of the Running Example 5. Conclusion and Perspectives References
키워드
Model Transformationautomated software processoperation contractsequence diagram
저자
Brahim Bousetta [ Lab. LAVETE, Faculty of Science and technologies of Settat Hassan 1st University ]
Omar El Beggar [ Lab. LAVETE, Faculty of Science and technologies of Settat Hassan 1st University ]
Taoufiq Gadi [ Lab. LAVETE, Faculty of Science and technologies of Settat Hassan 1st University ]
보안공학연구지원센터(IJSEIA) [Science & Engineering Research Support Center, Republic of Korea(IJSEIA)]
설립연도
2006
분야
공학>컴퓨터학
소개
1. 보안공학에 대한 각종 조사 및 연구
2. 보안공학에 대한 응용기술 연구 및 발표
3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최
4. 보안공학 기술의 상호 협조 및 정보교환
5. 보안공학에 관한 표준화 사업 및 규격의 제정
6. 보안공학에 관한 산학연 협동의 증진
7. 국제적 학술 교류 및 기술 협력
8. 보안공학에 관한 논문지 발간
9. 기타 본 회 목적 달성에 필요한 사업
간행물
간행물명
International Journal of Software Engineering and Its Applications
간기
월간
pISSN
1738-9984
수록기간
2008~2016
등재여부
SCOPUS
십진분류
KDC 505DDC 605
이 권호 내 다른 논문 / International Journal of Software Engineering and Its Applications Vol.7 No.5