A logic-based calculus of events
New Generation Computing
Logics of time and computation
Logics of time and computation
Principles of automated theorem proving
Principles of automated theorem proving
Handbook of theoretical computer science (vol. B)
A logical framework for design processes
Intelligent CAD systems III
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
Extensions of first order logic
Extensions of first order logic
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Model checking
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Science of Generic Design: Managing Complexity through Systems Design
Science of Generic Design: Managing Complexity through Systems Design
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
A temporal modelling environment for internally grounded beliefs, desires and intentions
Cognitive Systems Research
Computational & Mathematical Organization Theory
| Hi-index | 0.00 |
This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design properties at different levels of aggregation. This approach is specifically suitable for component-based design processes. A complicating factor for supporting the design process is that not only the generic properties of design must be specified, but also the language chosen should be rich enough to allow specification of complex properties of the system under design. This requires a language rich enough to operate at these different levels. The Temporal Trace Language used in this paper is suitable for that. The paper shows that the analysis at the level of a design process as a whole and at subprocesses thereof is precise enough to allow for automatic simulation. Simulation allows the modeler to manipulate the specifications of the system under design to better understand the interlevel relationships in his design. The approach is illustrated by an example.