<p>This thesis documents research encompassing the design of dynamic electronic performance support systems. Essentially, an Electronic Performance Support System (EPSS) is complex distributed software that provides on-the-job support in order to facilitate task performance within some particular target application domain. In view of the rapid pace of change in current business and industrial environments, the conventional practice of issuing a new release of Electronic Performance Support System (EPSS) every few years to incorporate changes, is no longer practical. An EPSS is required to adapt to the changes as soon as possible and without the need for major code modification. This is accomplished by creating a design in which task specific knowledge is not hard coded in the software but is extracted on the fly. The design also enables a loose coupling among different modules of the system so that functionalities may be added, removed, modified or extended with minimum disruption. In this thesis we show how to combine service-oriented architecture with the concepts of software agents to achieve a software architecture that provides the required agility. Traditionally Unified Modeling Language (UML), which lacks formal semantics, has been the tool of choice for design and analysis of such systems and that means formal analysis techniques cannot be used for verification of UML models, whereas Software Engineering practices require analysis and verification at an early stage in the software development process. In this thesis we present an algorithm to transform UML state chart models to Object Coloured Petri (OCP) nets that have a strong mathematical foundation and can be implemented by standard tools such as Design/CPN for simulation and dynamic analysis in order to verify behavioural properties of the model. We show how to apply this technique to verify some of the desirable behavioural properties of the proposed EPSS architecture. To demonstrate the feasibility of our approach we have successfully implemented a prototype of an EPSS based on the proposed design.</p> <p>The main contributions of this research are: 1. Proposed an anthropomorphic architecture for a dynamic PSS. 2. Combined the concepts of services oriented architecture and software agents to achieve dynamic updating of task specific knowledge and minimal coupling between different modules of complex software to allow painless evolution. 3. Brought formal methods to the design phase in the development of agent based software systems by proposing an algorithm to transform UML state diagrams to OCP nets for dynamic analysis. 4. Modelled the dynamic creation and deletion of objects/agents using OCP net concepts and Design/CPN. 5. Proposed an architecture that can be used for creating families of agile PSS.</p> / Doctor of Philosophy (PhD)
Identifer | oai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/14076 |
Date | 05 1900 |
Creators | Bokhari, Asghar Ali Syed |
Contributors | S., W. F., Computing and Software |
Source Sets | McMaster University |
Detected Language | English |
Type | thesis |
Page generated in 0.0019 seconds