A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-goals, namely that the safety requirements are validated, satisfied and traceable. The achievement of these sub-goals is typically communicated by means of a safety argument supported by items of evidence (e.g. testing,...

Previous work in the animation of plant development and expansion has centered on the botom-up approach, whereby models are specified in terms of developmental ruls. These models are inherently difficult to use for goal oriented modeling as the final structure and development of these models are emergent properties. Top-down modeling has previously been introduced to remedy this problem by allo...

Various software obfuscation techniques have been proposed. However, there are few discussions on proper use of these obfuscations against imaginable threats. An ad-hoc use of obfuscations cannot guarantee that a program is sufficiently protected. For a systematic use of obfuscations and the verification of the result, this paper proposes a goal oriented approach to obfuscation. Specifically, w...

Conceptualizing procedural knowledge is one of the most challenging tasks of building systems for intelligent tutoring. We present an algorithm that enables teachers to accomplish this task semi automatically. We used the algorithm on a difficult king, bishop, and knight versus the lone king (KBNK) chess endgame, and obtained concepts that could serve as textbook instructions. A pilot experimen...

A UML PROFILE FOR GOALORIENTED MODELLING The Unified Modeling Language (UML) is a standard for visual modelling. We can design abstract models by using its elements. The semantic scope of the UML elements is very broad, and they are not fully addressing the needs of some modelling domains, including the modelling of goals and non-functional requirements (NFR). To address this problem, UML allow...

Traditional approaches to designing agent interactions focus on defining agent interaction in terms of legal sequences of messages. These messagecentric approaches are not a good match with autonomous proactive agents since they unnecessarily limit the agents’ autonomy and flexibility. The Hermes methodology proposes an approach for designing agent interactions in terms of interaction goals. In...

We consider networks of finite-state machines having local transitions conditioned by the current state of other automata. In this paper, we introduce a reduction procedure tailored for reachability properties of the form “from global state s, there exists a sequence of transitions leading to a state where an automaton g is in a local state ⊤”. By analysing the causality of transitions within t...

This paper illustrates a goal oriented approach to model agent mediated e-learning system. Most of the traditional e-learning systems are not learner-centric, and they often ignore the diversity of learner population; thus very often their service is not able to directly or effectively match the learner’s goal. From the learner’s point of view, we propose a goal oriented approach to develop an ...

PROBLEM STATEMENT AND RESEARCH QUESTION Today’s dominating design principles to build context aware systems are based on bottom-up philosophies. The design process begins with selecting the sensors that deliver the necessary data and the associated in-line processing steps. These processing steps, encapsulated in the so called Activity Recognition Chain, allow to interpret the delivered raw sen...