47,244 research outputs found
A case-based reasoning (CBR) approach to software reusability, 1994
Software reuse is an attractive approach to improving software development productivity. In this thesis, a Case-Based Reasoning (CBR) software reusability environment is developed, driven by object-oriented modelling techniques. This research discusses various aspects of the classification and retrieval mechanisms necessary to facilitate the reuse of software components. The facet classification scheme breaks down information into different categories, and this makes it possible to consider information about several different aspects or properties of the components. Facet represents the information most important with respect to reuse. Component specifications will be translated into a specification representing the facets in the classification scheme. The retrieval of software components is based on signature matching between the signatures of goal specifications and those of reusable components. The retrieval mechanism is supported by the CBR system ESTEEM
Requirements modelling and formal analysis using graph operations
The increasing complexity of enterprise systems requires a more advanced
analysis of the representation of services expected than is currently possible.
Consequently, the specification stage, which could be facilitated by formal
verification, becomes very important to the system life-cycle. This paper presents
a formal modelling approach, which may be used in order to better represent
the reality of the system and to verify the awaited or existing system’s properties,
taking into account the environmental characteristics. For that, we firstly propose
a formalization process based upon properties specification, and secondly we
use Conceptual Graphs operations to develop reasoning mechanisms of verifying
requirements statements. The graphic visualization of these reasoning enables us
to correctly capture the system specifications by making it easier to determine if
desired properties hold. It is applied to the field of Enterprise modelling
Case-based analysis in user requirements modelling for knowledge construction
Context: Learning can be regarded as knowledge construction in which prior knowledge and experience
serve as basis for the learners to expand their knowledge base. Such a process of knowledge construction
has to take place continuously in order to enhance the learners’ competence in a competitive working
environment. As the information consumers, the individual users demand personalised information provision
which meets their own specific purposes, goals, and expectations.
Objectives: The current methods in requirements engineering are capable of modelling the common
user’s behaviour in the domain of knowledge construction. The users’ requirements can be represented
as a case in the defined structure which can be reasoned to enable the requirements analysis. Such analysis
needs to be enhanced so that personalised information provision can be tackled and modelled. However,
there is a lack of suitable modelling methods to achieve this end. This paper presents a new
ontological method for capturing individual user’s requirements and transforming the requirements onto
personalised information provision specifications. Hence the right information can be provided to the
right user for the right purpose.
Method: An experiment was conducted based on the qualitative method. A medium size of group of users
participated to validate the method and its techniques, i.e. articulates, maps, configures, and learning content.
The results were used as the feedback for the improvement.
Result: The research work has produced an ontology model with a set of techniques which support the
functions for profiling user’s requirements, reasoning requirements patterns, generating workflow from
norms, and formulating information provision specifications.
Conclusion: The current requirements engineering approaches provide the methodical capability for
developing solutions. Our research outcome, i.e. the ontology model with the techniques, can further
enhance the RE approaches for modelling the individual user’s needs and discovering the user’s
requirements
Semantic model-driven development of web service architectures.
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven development is a recent approach to developing software systems based on the idea of making models the central artefacts for design representation, analysis, and code generation.
We propose an ontology-based engineering methodology for semantic model-driven composition and transformation of Web service architectures. Ontology technology as a logic-based knowledge representation and reasoning framework can provide answers to the needs of sharable and reusable semantic models and descriptions needed for service engineering. Based on modelling, composition and code generation techniques for service architectures, our approach provides a methodological framework for ontology-based semantic service architecture
The AutoProof Verifier: Usability by Non-Experts and on Standard Code
Formal verification tools are often developed by experts for experts; as a
result, their usability by programmers with little formal methods experience
may be severely limited. In this paper, we discuss this general phenomenon with
reference to AutoProof: a tool that can verify the full functional correctness
of object-oriented software. In particular, we present our experiences of using
AutoProof in two contrasting contexts representative of non-expert usage.
First, we discuss its usability by students in a graduate course on software
verification, who were tasked with verifying implementations of various sorting
algorithms. Second, we evaluate its usability in verifying code developed for
programming assignments of an undergraduate course. The first scenario
represents usability by serious non-experts; the second represents usability on
"standard code", developed without full functional verification in mind. We
report our experiences and lessons learnt, from which we derive some general
suggestions for furthering the development of verification tools with respect
to improving their usability.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338
Design reuse research : a computational perspective
This paper gives an overview of some computer based systems that focus on supporting engineering design reuse. Design reuse is considered here to reflect the utilisation of any knowledge gained from a design activity and not just past designs of artefacts. A design reuse process model, containing three main processes and six knowledge components, is used as a basis to identify the main areas of contribution from the systems. From this it can be concluded that while reuse libraries and design by reuse has received most attention, design for reuse, domain exploration and five of the other knowledge components lack research effort
Ontology-based modelling of architectural styles
The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such as architectural styles, structural and behavioural modelling, into a coherent framework. Architectural styles are often neglected in software architectures. We propose an ontological approach for architectural style modelling based on description logic as an abstract, meta-level modelling instrument. We introduce a framework for style definition and style combination. The application of the
ontological framework in the form of an integration into existing architectural description notations is illustrated
Requirements engineering: a review and research agenda
This paper reviews the area of requirements engineering. It
outlines the key concerns to which attention should be
devoted by both practitioners, who wish to "reengineer" their
development processes, and academics, seeking intellectual
challenges. It presents an assessment of the state-of-the-art
and draws conclusions in the form of a research agenda
- …