将软件工程实践映射到 Essence Full 的形式化方法
需积分: 0 95 浏览量
2023-04-09
10:05:57
上传
评论
收藏 214KB PDF 举报
International Journal of Software Engineering & Applications (IJSEA), Vol.9, No.6, November 2018
DOI:10.5121/ijsea.2018.9601 1
A
F
ORMAL
M
ETHOD
F
OR
M
APPING
S
OFTWARE
E
NGINEERING
P
RACTICES
T
O
E
SSENCE
Murat Pasa Uysal
Department of Management Information Systems, Başkent University, Ankara, Turkey
A
BSTRACT
Essence Framework (EF) aims at addressing the core problems of software engineering (SE) and its
practices. As a relatively new framework, one important issue for EF has been mapping software practices
to its conceptual domain. Although there are several works describing systematic procedures, a review of
literature cannot suggest a study using a formal method. The study is conducted according to the guidelines
of Design Science Research (DSR) Method. The research contribution is classified as an “application of a
new solution (the formal method) to a new problem (mapping software practices to EF). The formal method
employs an algorithm based on Concept Algebra and it is applied in a Scrum case study. The results are
promising and they differ from the ones exist in the current EF related literature.
K
EYWORDS
Software Engineering Practice, Essence Framework, Formal Method, Concept Algebra
1.
I
NTRODUCTION
Software Engineering (SE) may be regarded as a relatively young discipline when compared to
other disciplines from an evolutionary point of view. Technical innovations changing from time
to time have been a major driving force for SE trends and practices. It has been usually driven by
industrial needs, and thus, language-centred computer programming has been dominant in SE.
However, the fundamental problems in SE exist today. SE industry still faces the major problems
despite the developments in the methods, models, tools and techniques of SE knowledge domain.
The Essence Framework (EF) is proposed for addressing the core problems of software
development (SD) and its application [1]. Existence of plenty of development methods, which
are: (a) hard to compare, (b) lacking of sound experimental method evaluations and/or
validations; and (c) the increase of gap between practical application and academic research
would be some of these problems. EF Kernel and Language Specification describes its key
features and how it supports practitioners and method engineers. A set of elements for forming a
common ground and describing a software engineering (SE) endeavour is defined as the kernel.
Therefore, EF allows “people to describe the essentials of their existing and future methods and
practices so that they can be compared, evaluated, tailored and re-used by practitioners as well as
academics and researchers [2]”.
By applying the principle of separation of concerns, and separating the "what" of SD from the
"how”, EF provides a common base and enables method building with the composition of various
practices. Thus, a practice is defined as “a repeatable approach to doing something with a specific
objective in mind [2]”. It includes the necessary elements that exist in every software endeavour,
such as, team work, requirements analysis/specification, development, test etc. Therefore, a
method is built by the composition of a set of practices and using Kernel specifications.
资源评论
