A simulation-oriented formalization for a psychological theory

Authors:
Paulo Salem Da Silva;Ana C. Vieira De Melo
Affiliations:
University of São Paulo, Department of Computer Science, São Paulo, Brazil;University of São Paulo, Department of Computer Science, São Paulo, Brazil
Venue:
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Year:
2007

Citing 4
Cited 4

Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
The way of Z: practical programming with formal methods

The way of Z: practical programming with formal methods
Understanding agent systems

Understanding agent systems
Simulations of a reconstructed cerebellar purkinje cell based on simplified channel kinetics

Neural Computation

Reusing models in multi-agent simulation with software components

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
A formal environment model for multi-agent systems

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
On-the-fly verification of discrete event simulations by means of simulation purposes

Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a formal specification of a traditionally informal domain of knowledge: the Behavior Analysis psychological theory. Our main objective is to highlight some motivations, issues, constructions and insights that, we believe, are particular to the task of formalizing a preexisting informal theory. In order to achieve this, we give a short introduction to Behavior Analysis and then explore in detail some fragments of the full specification, which is written using the Z formal method. With such a specification, we argue, one is in better position to implement a software system that relates to an actual psychological theory. Such relation could be useful, for instance, in the implementation of multi-agent simulators.