Subject-Orientation as a method to specify the cooperation of active entities in the ucepcortex project

Authors:
Albert Fleischmann;Egon Börger;Harald Lerchner
Affiliations:
Metasonic AG, Hettenshausen, Germany;Dipartimento di Informatica, Universita di Pisa, Italy;Department of Business Information Systems, Johannes Kepler University Linz, Austria
Venue:
BICS'13 Proceedings of the 6th international conference on Advances in Brain Inspired Cognitive Systems
Year:
2013

Citing 9
Cited 0

Communicating sequential processes

Communicating sequential processes
Evolving algebras 1993: Lipari guide

Specification and validation methods
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency

Communication and Concurrency
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Formal Aspects of Computing
The Art of Agent-Oriented Modeling

The Art of Agent-Oriented Modeling
Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of the uCepCortex project is to develop an exocortex based on Ubiquitous Complex Event Processing as an Artificial Cognitive System and to investigate how to enhance human cognitive abilities, manage assistive robots, and their cooperation with humans via an exocortex system. In order to develop applications based on these artefacts the requirements of these applications have to be defined in a technology independent manner. This means an abstract model of the planned application has to be described. In this article we describe a notion of model which supports the specification of autonomous agents and their interaction by events. This notion has a precise semantics which is defined by Abstract State Machines (ASM). Such models can be transformed into executable programs.