Automated Context Formalization for Context-aware Specification Approach
| Autor: | Safia Nait-Bahloul, Amel Benabbou |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
060201 languages & linguistics
Computer science business.industry Management of Technology and Innovation 0602 languages and literature 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Context (language use) 06 humanities and the arts 02 engineering and technology Software engineering business Information Systems |
| Zdroj: | International Journal of Information System Modeling and Design. 9:23-47 |
| ISSN: | 1947-8194 1947-8186 |
| DOI: | 10.4018/ijismd.2018070102 |
| Popis: | Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and expertise of engineers. A domain-specific language, called CDL, has been proposed to facilitate the specification of requirement by formalizing contexts. However, the feedback has shown that manually writing CDL is hard, error prone and difficult to grasp on complex systems. In this article, the authors propose an approach to automatically generate CDL models using (IODs) elaborated through transformation chains from textual use cases. They offer an intermediate formalism between informal use cases scenarios and CDL models allowing to engineers to manipulate with familiar artifacts. Thanks to such high-level formalism, the gap between informal and formal requirements is reduced; consequently, the requirement specification is facilitated. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|