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