Earticle

초록

영어

Several scenario description languages and associated behaviour synthesis processes have been developed. The goal of these is to synthesize behaviour models from system requirement specifications, in order to enable the early identification of weak design spots or code generation. To date, however, most of the scenario languages are poorly scaled with regards to system sizes. This is because scalability requires more expressive constructs that can help when writing a scenario specification in a concise and compact manner, thereby resulting in a reduced number of scenarios. Furthermore, due to a lack of expressiveness in scenario languages, synthesis algorithms may need to rely on global behaviour models to determine inter-scenario dependencies. The global model is an additional factor that limits the approaches’ scalability. The reason is that the construction of a global model becomes harder as the system specification increases. To tackle these issues, within this article is proposed an expressive scenario description language that provides a concise and compact approach to scenario description, and defines inter-scenario dependencies semantically. A new algorithm that can address the additional constructs of the language was defined, in order to synthesize component-centric behaviour models. The applicability of this work has been demonstrated through both an illustrative example and a real-world case study. The evaluation indicates that the proposed scenario description language is more scalable than existing languages.

목차

Abstract
 1. Introduction
 2. Preliminaries
  2.1. Scenario Description Languages
  2.2. Labeled Transition System and Finite State Machines
 3. The Proposed Scenario Description Language
  3.1. Triggered Scenario Languages (TSs)
  3.2. Motivation for Extending TSs
  3.3. Extensions
  3.4. Syntax of s-TS
 4. Proposed Process for Synthesizing Component-Centric Behaviour Models
  4.1. Process Phases
 5. Evaluation
  5.1. Case Study
  5.2. Comparative Analysis of s-TS
 6. Related Works
 7. Conclusion
 Acknowledgements
 References
 APPENDIX A
 APPENDIX B

키워드

저자

• Awad Ali [ Department of Software Engineering, UTM, Johor, 81310, Malaysia, University of Kassala, Kassala, Sudan ]
• Dayang N. A. Jawawi [ Department of Software Engineering, UTM, Johor, 81310, Malaysia ]
• Mohd Adham Isa [ Department of Software Engineering, UTM, Johor, 81310, Malaysia ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Software Engineering and Its Applications

• 간기

  월간

• pISSN

  1738-9984

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605