248,414 research outputs found
Software visualisation for object-oriented program comprehension
Software visualisation is the process of modelling software systems for comprehension. The comprehension of software systems both during and after development is a crucial component of the software process. The complex interactions inherent in the object-oriented paradigm make visualisation a particularly appropriate comprehension technique, and the large volume of information typically generated during visualisation necessitates tool support
Pattern-based software architecture for service-oriented software systems
Service-oriented architecture is a recent conceptual framework for service-oriented software platforms. Architectures are of great importance for the evolution of
software systems. We present a modelling and transformation technique for service-centric distributed software systems. Architectural configurations, expressed through hierarchical architectural patterns, form the core of a specification and transformation technique. Patterns on different levels of abstraction form transformation invariants that structure and constrain the transformation
process. We explore the role that patterns can play in architecture transformations in terms of functional properties, but also non-functional quality aspects
Automated completeness check in KAOS
KAOS is a popular and useful goal oriented requirements engineering (GORE) language, which can be used in business requirements modelling, specification, and analysis. Currently, KAOS is being used in areas such as business process modelling, and enterprise architecture (EA). But, an incomplete or malformed KAOS model can result to incomplete and erroneous requirements analysis, which in turn can lead to overall systems failure . Therefore, it is necessary to check that a requirements specification in KAOS language are complete and well formed. The contribution at hand is to provide an automated technique for checking the completeness and well-formed-ness of a requirements specification in KAOS language. Such a technique can be useful, especially to business or requirements analysts in industries and research, to check that requirements specification in KAOS language is well formed
Knowledge sharing between design and manufacture
Object-oriented modelling has become an established technique for product and manufacturing
knowledge representation. Various models offering generalised classes and class hierarchies have been
proposed for this purpose. Additional bespoke classes are however typically required for specific
domain representations. This causes problems when knowledge needs to be shared between domains
using different models to describe common entities. These issues are especially complex when several
systems are involved. For example, a designer accessing product, manufacturing, and third party
systems may face multiple definitions of components, facilities and processes. This paper proposes a
model that addresses some of these issues. The proposed model can describe manufacturing knowledge
without additional bespoke classes. The detailed semantics of the model are based on recent work on
ontologies, notably the Process Specification Language (PSL). Whilst PSL provides detailed semantics,
it is not inherently object-oriented. The integration of PSL with object-oriented modelling methods is
therefore the principle contribution of this work
Mapping service components to EJB business objects
The emerging trends for e-business engineering revolve around specialisation and cooperation. Successful companies focus on their core competencies and rely on a network of business partners for the support services required to compose a comprehensive offer for their customers. Modularity is crucial for a flexible e-business infrastructure, but related requirements seldom reflect on the design and operational models of business information systems. Software components are widely used for the implementation of e-business applications, with proven benefits in terms of system development and maintenance. We propose a service-oriented componentisation of e-business systems as a way to close the gap with the business models they support. Blurring the distinction between external services and internal capabilities, we propose a homogeneous model for the definition of e-business applications components and present a process-based technique for component modelling. We finally present an Enterprise Java Beans extension that implements the model
Service-oriented modeling for e-business applications components
The emerging trends for e-business engineering revolve
around specialisation and cooperation. Successful
companies focus on their core competences, and rely on a
network of business partners for the support services
required to compose a comprehensive offer for their
customers. Modulariy is crucial for a flexible e-business
infrastructure, but related requirements seldom reflect on
the design and operational models of business
information systems.
Software components are widely used for the
implementation of e-business applications, with proved
benefits in terms of system development and maintenance.
We propose a service-oriented componentisation of ebusiness
systems as a way to close the gap with the
business models they support. Blurring the distinction
between external services and internal capabilities, we
propose a homogeneous model for the definition of ebusiness
applications components. After a brief
discussion on the foundational aspects of the approach,
we present the process-based technique we adopted for
component modelling. We then present an infrastructure
compliant with the model proposed that we built on top of
an EJB (Enterprise Java Beans) platform
Modelling business processes with links to ISO 9001
Merged with duplicate record 10026.1/795 on 14.02.2017 by CS (TIS)This work in the domain of quality management and business process design looks at how
the requirements of the ISO 9001 standard for quality management systems are designed
and implemented in business. It is the aim of the research reported in this thesis to support
manufacturing companies when modelling a Fulfil Order Process by identifying the links to
the ISO 9001 quality standard and highlighting potential impact from any changes in the
process or the standard during a redesign project. It does so by presenting a modelling
technique, named IDEF9000, which will enable companies to take a systemic perspective of a
Fulfil Order Process identifying all relevant links to ISO 9001.
A research strategy based around the experiences of companies when designing business
processes with links to ISO 9001 was adopted. In-depth case studies carried out by the
author showed that simply documenting what an organisation does to satisfy the various
elements of ISO 9001 is still one of the most common approaches adopted. This results in a
process-oriented character only at the documentation stage. It is the result of limited
guidance on how to integrate the requirements of ISO 900 I in business processes. The
work proceeded by exploring the domains of business processes, the use of systems thinking
to explain business processes and the relevance of ISO 9001 requirements from a process-based
viewpoint. A set of criteria was developed to identify activities, information and other
flows controlled by ISO 9001 to design a Fulfil Order Process in a manufacturing company.
This provided the context for the development of the modelling technique IDEF9000, which
is an enhanced version of IDEFo, and its validation by review and by use in two
manufacturing companies.
The originality of this work lies in the identification and emphasis by the author of the need
to take a systemic view of business processes when designing or redesigning a process-based
ISO 9001 quality management system. Also, criteria for a technique to address the
modelling of a Fulfil Order Process were identified. Furthermore this contribution to
knowledge includes the identification of links between ISO 9001 requirements and a holistic
Fulfil Order Process. This led to the development of further criteria for modelling such a
business process showing the links to ISO 9001. IDEF9000 represents an improved modelling
approach that fulfils the identified criteria and permits the systemic design or redesign of a
Fulfil Order Process while establishing the links controlled by the ISO 9001 quality
standard
Next generation design framework for the aircraft electric power system
Comprehensive understanding and analysis of the more
electric aircraft network architecture (MEA) usually require
a powerful simulation framework, which allows
modelling, simulation and post-processing of aircraft
electric power systems. Since the electric power network
in the MEA typically covers several physical domains
such as electrical systems, magnetic systems,
mechanical systems and control, a modelling language
to be selected for the design framework has to be capable
of modelling multi-domain systems. In this regard,
Modelica - an object oriented, equation based modelling
language has been chosen as a candidate for modelling
the extended electric network in JTI SGO project.
By hand of some study cases at supplier level and airframer
level, the capability of the Modelica technique
based design framework was tested, demonstrated and
improved. The selected applications are system specification,
component design and virtual testing, which are
associated to different phases of the design process for
the aircraft electric power system. Essential components
which were modelled are the generator, power converters
and electromechanical actuators. Modelica and the
simulation suite Dymola were demonstrated to fulfil all
stated demands
- âŠ