Generating a Performance Stochastic Model from UML Specifications

Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE) is becoming a growing concern. The idea is to bring performance evaluation into the software design process. This suitable methodology allows software designers to determine the performance of software during design. Several approaches have been proposed to provide such techniques. Some of them propose to derive from a UML (Unified Modeling Language) model a performance model such as Stochastic Petri Net (SPN) or Stochastic process Algebra (SPA) models. Our work belongs to the same category. We propose to derive from a UML model a Stochastic Automata Network (SAN) in order to obtain performance predictions. Our approach is more flexible due to the SAN modularity and its high resemblance to UML' state-chart diagram

The QTKanji project : an analysis of the relationship between computer assisted language learning (CALL) and the development of autonomous language learners : a thesis presented in partial fulfilment of the requirements for the degree of Master of Arts in Japanese at Massey University, Palmerston North, New Zealand

Further thesis content held on disc is unreadable.An analysis of the relationship between computer Assisted Language Learning (CALL) and the development of autonomous language learners Computer assisted language learning (CALL) software is being introduced into tertiary language programmes for a number of reasons. Research has indicated that CALL is effective for language learning, that it caters for individual learning needs and that it promotes independent learning. By providing structured learning, students can study in their own time without a teacher. Whilst it is now commonly accepted that CALL material must be carefully integrated into the curriculum for it to be effective, there is a move in CALL research away from just evaluation of software to a greater focus on the learner. It is maintained that understanding different learning styles and learner preferences is essential in the creation of CALL packages, and that packages are sufficiently flexible to cater for learners of different ability to manage their own learning. However, while an attraction of CALL is that it fosters independent learning, it is not clear what learners do when they are in the process of becoming independent learners, what CALL environments will foster the development of independent learning skills, and the type of learner who will benefit. This thesis examines the in-house development and trialling of kanji software at the Auckland University of Technology, taking into account the direction of current research into CALL. It provides an initial evaluation of the software design and use, within the framework of research into second language acquisition, learner differences and independent learning. Findings from this initial study will be used to modify the software where necessary and to provide the basis for further research into CALL and language learning

A Comprehensive Workflow for General-Purpose Neural Modeling with Highly Configurable Neuromorphic Hardware Systems

In this paper we present a methodological framework that meets novel requirements emerging from upcoming types of accelerated and highly configurable neuromorphic hardware systems. We describe in detail a device with 45 million programmable and dynamic synapses that is currently under development, and we sketch the conceptual challenges that arise from taking this platform into operation. More specifically, we aim at the establishment of this neuromorphic system as a flexible and neuroscientifically valuable modeling tool that can be used by non-hardware-experts. We consider various functional aspects to be crucial for this purpose, and we introduce a consistent workflow with detailed descriptions of all involved modules that implement the suggested steps: The integration of the hardware interface into the simulator-independent model description language PyNN; a fully automated translation between the PyNN domain and appropriate hardware configurations; an executable specification of the future neuromorphic system that can be seamlessly integrated into this biology-to-hardware mapping process as a test bench for all software layers and possible hardware design modifications; an evaluation scheme that deploys models from a dedicated benchmark library, compares the results generated by virtual or prototype hardware devices with reference software simulations and analyzes the differences. The integration of these components into one hardware-software workflow provides an ecosystem for ongoing preparative studies that support the hardware design process and represents the basis for the maturity of the model-to-hardware mapping software. The functionality and flexibility of the latter is proven with a variety of experimental results

A Sequential Control Language for Industrial Automation

Current market trends for industrial automation are the need for customizable production, shorter time to market, and powerful global competitive pressure. Based on these trends two challenges have been identified: 1) flexible production systems and 2) integration and utilization of devices and software. Applications from both process automation, manufacturing, and robotics have been considered. More flexible languages and tools are needed to get a flexible production system. The graphical programming language Grafchart, based on the IEC 61131-3 standard language Sequential Function Charts (SFC), is considered with the aim to make both the language and its implementation more flexible. In particular, new constructs have been added to the Grafchart language and modern compiler techniques are evaluated for JGrafchart, a Grafchart implementation, with focus on an extensible language implementation. A first step toward real-time execution of Grafchart applications is also taken to make it possible to use Grafchart for hard real-time control. High execution rates often reveal concurrency issues and thus execution concurrency has also been investigated. Access to more data from industrial devices and software can be used to optimize production. Architectures for factory integration have been considered as this is the foundation to connect all devices and thus address the challenge of integrating and utilizing devices and software. Service Oriented Architecture (SOA) is a flexible software design methodology widely used in IT systems and for business processes. SOA service orchestration is brought to industrial automation by integrating support for both Devices Profile for Web Services (DPWS) and OPC Unified Architecture (OPC UA) in JGrafchart. Looking further, SOA 2.0 is event driven and features extremely loose coupling between components. An architecture based on SOA 2.0 where it is easy to integrate any device or software, in particular legacy devices with limited knowledge and capabilities, has been developed with focus on service choreography in industrial manufacturing. Another step toward real-time execution of Grafchart applications is integrated support for the high performance communication protocol LabComm. Additionally, it is investigated how Grafchart can be connected to Functional Mock-up Interface (FMI) for co-simulation to further address the shorter time to market trend by introducing simulation support. The PID controller is the most common controller for industrial automation. A PID implementation has been added to a Grafchart library and a flaw with the PID algorithm has been discovered. The problem occurs for PID controllers with a derivative part when the process value saturates. The derivative part then backs off which leads to undesired changes in the control signal. This issue has been analyzed and a solution to the problem is proposed

Context-Aware Querying and Injection of Process Fragments in Process-Aware Information Systems

Cyber-physical systems (CPS) are often customized to meet customer needs and, hence, exhibit a large number of hard-/software configuration variants. Consequently, the processes deployed on a CPS need to be configured to the respective CPS variant. This includes both configuration at design time (i.e., before deploying the implemented processes on the CPS) and runtime configuration taking the current context of the CPS into account. Such runtime process configuration is by far not trivial, e.g., alternative process fragments may have to be selected at certain points during process execution of which one fragment is then dynamically applied to the process at hand. Contemporary approaches focus on the design time configuration of processes, while neglecting runtime configuration to cope with process variability. In this paper, a generic approach enabling context-aware process configuration at runtime is presented. With the Process Query Language process fragments can be flexibly selected from a process repository, and then be dynamically injected into running process instances depending on the respective contextual situations. The latter can be automatically derived from context factors, e.g., sensor data or configuration parameters of the given CPS. Altogether, the presented approach allows for a flexible configuration and late composition of process instances at runtime, as required in many application domains and scenarios

Can computer-naive Language Teachers build flexible and interactive components for Language courses: a case study

With the excessive use of ICT and other IT components in language courses for every levels in the past few decades, design and development of teaching and learning activities in language courses seem to be dominated by computer experts. Language teachers or instructors are either become coworkers of computer programmers, IT designers and content developers or needed to be trained as experts of IT. However, we cannot conclude that teachers are of little contribution on building and development processes of language courses in the IT world. This paper reports on the process of design and development of how a comprehensive and complicated web-based listening component for university students to enhance their language learning can be built by computer-naive language teachers. In 2008, we launched the Professional Presentation Supporting Project. The objective of this project is to provide extra self-training materials for university students to enhance their verbal presentation skills in Chinese language. We designed, developed and delivered teaching materials, learning tasks, multimedia clips, ebooks etc. with WebCT. Further to that, ICT components like text-to-speech engine are ready on an independent server to build a content-independent listening environment. By 2011, these components are ready to run on mobile devices such as tablets and smartphones. The conclusion of this paper is that although many language teachers are not experts in computer technology, a right choice of server, software and learning platform can mitigate anxiety of IT and also deminish the design and development time, and students can still have a flexible and interactive learning environment. It can also elevate cost effectiveness of university language courses. Last but not the least, it can help language teachers to regain control over the development of the couse and build ready-to-use ICT components that will better suit for teaching and learning.postprin

XANUI: A Textual Platform-Independent Model for Rich User Interfaces

In recent years, several model-driven proposals have defined user interface models that can represent both behavioural and aesthetic aspects. However, the software industry has ignored the majority of these proposals because the quality of the rich user interfaces generated out of these models is usually low and their code generators are not flexible, i.e., the UI templates cannot be customised easily. Furthermore, these proposals do not facilitate the separation between the visual design of the UI, normally performed by graphic designers in the industry, and the visualisation of data, which has been previously modelled using another domain-specific language. This paper proposes a new textual domain-specific language called XANUI, which could be embedded in XML-based UI pages, e.g., HTML or XML. The designed language provides the mechanisms to bind visual components with data structures already existing, and to define the behaviour of these components based on events. In this paper, XANUI is integrated in two OOH4RIA development processes, i.e., the traditional data-intensive and the new design-first process, thus reusing the OOH4RIA models and transformations to generate a complete rich Internet application for any platform or device. In order to validate this approach, the XANUI solution is applied to the development of a RIA with two UI types: a) the administration view of a Web application using HTML5 and AngularJS, and b) a catalogue application for e-Commerce using Windows RT in a Tablet PC

An Adaptive Integration Architecture for Software Reuse

The problem of building large, reliable software systems in a controlled, cost-effective way, the so-called software crisis problem, is one of computer science\u27s great challenges. From the very outset of computing as science, software reuse has been touted as a means to overcome the software crisis issue. Over three decades later, the software community is still grappling with the problem of building large reliable software systems in a controlled, cost effective way; the software crisis problem is alive and well. Today, many computer scientists still regard software reuse as a very powerful vehicle to improve the practice of software engineering. The advantage of amortizing software development cost through reuse continues to be a major objective in the art of building software, even though the tools, methods, languages, and overall understanding of software engineering have changed significantly over the years. Our work is primarily focused on the development of an Adaptive Application Integration Architecture Framework. Without good integration tools and techniques, reuse is difficult and will probably not happen to any significant degree. In the development of the adaptive integration architecture framework, the primary enabling concept is object-oriented design supported by the unified modeling language. The concepts of software architecture, design patterns, and abstract data views are used in a structured and disciplined manner to established a generic framework. This framework is applied to solve the Enterprise Application Integration (EM) problem in the telecommunications operations support system (OSS) enterprise marketplace. The proposed adaptive application integration architecture framework facilitates application reusability and flexible business process re-engineering. The architecture addresses the need for modern businesses to continuously redefine themselves to address changing market conditions in an increasingly competitive environment. We have developed a number of Enterprise Application Integration design patterns to enable the implementation of an EAI framework in a definite and repeatable manner. The design patterns allow for integration of commercial off-the-shelf applications into a unified enterprise framework facilitating true application portfolio interoperability. The notion of treating application services as infrastructure services and using business processes to combine them arbitrarily provides a natural way of thinking about adaptable and reusable software systems. We present a mathematical formalism for the specification of design patterns. This specification constitutes an extension of the basic concepts from many-sorted algebra. In particular, the notion of signature is extended to that of a vector, consisting of a set of linearly independent signatures. The approach can be used to reason about various properties including efforts for component reuse and to facilitate complex largescale software development by providing the developer with design alternatives and support for automatic program verification

An integrated computer-aided modular fixture design system for machining semi-circular parts

Productivity is one of the most important factors in manufacturing processes because of the high level of market competition. In this regard, modular fixtures (MFs) play an important role in practically improving productivity in flexible manufacturing systems (FMSs) due to this technology using highly productive computer numerical control (CNC) machines. MFs consist of devices called jigs and fixtures for accurately holding the workpiece during different machining operations. The design process is complex, and traditional methods of MF design were not sufficiently productive. Computer-aided design (CAD) software has rapidly improved as a result of the development of computer technology, and has provided huge opportunities for modular fixture designers to use its 3D modelling capabilities to develop more automated systems. Computer-aided fixture design (CAFD) systems have become automated by the use of artificial intelligence (AI) technology. This study will investigate the further improvement of automated CAFD systems by using AI tools. In this research, an integrated CAFD is developed by considering four main requirements: · a 3D model of the workpiece, · an expert system, · assembly automation of MFs, · an efficient feature library. The 3D model is an important factor that can provide the appropriate specification of the workpiece; SolidWorks is used the CAD environment for undertaking the 3D modelling in this study. The expert system is applied as a tool to make right decisions about the CAFD planning process, including locating and clamping methods and their related element selection. This helps achieve a feasible fixture design layout. SolidWorks API and Visual Basic programming language are employed for the automating and simulation of the assembly process of MFs. A feature library of modular fixture elements is constructed as a means to simplify the fixture design process

CIDE: An Integrated Development Environment for Microservices

Microservices is a flexible architectural style that has many advantages over the alternative monolithic style. These include better performance and scalability. It is particularly suitable, and widely adopted, for cloud-based applications, because in this architecture a software system consisting of a large suite of services of fine granularity, each running its own process and communicating with the others. However, programming such systems is more complex. In this paper we report on CIDE, an integrated software development environment that helps with this. CIDE supports programming in a novel agent-oriented language called CAOPLE and tests their execution in a cluster environment. We present the architecture of CIDE, discuss its design based on the principles of the DevOps software development methodology, and describe facilities that support continuous testing and seamless integration, two other advantages of Microservices