Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
IATA '98 Proceedings of the second international workshop on Intelligent agents for telecommunication applications
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Combining Statecharts and Z for the Design of Safety-Critical Control Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Overview of the Semantics of TCOZ
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
STeP: The Stanford Temporal Prover
STeP: The Stanford Temporal Prover
An adaptative agent architecture for holonic multi-agent systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
ASPECS: an agent-oriented software process for engineering complex systems
Autonomous Agents and Multi-Agent Systems
An analysis and design concept for self-organization in holonic multi-agent systems
ESOA'06 Proceedings of the 4th international conference on Engineering self-organising systems
Formal specification of an immune based agent architecture
Engineering Applications of Artificial Intelligence
An organisational approach to engineer emergence within holarchies
International Journal of Agent-Oriented Software Engineering
Formal specification of holonic multi-agent systems framework
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Holonic modeling of environments for situated multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
An approach for the integration of swarm intelligence in MAS: An engineering perspective
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
This work presents a specification language, called OZS, based on two formalisms: Object-Z and the statecharts. Such a specification style facilitates the modeling of systems with both reactive and functional aspects. The accent is placed on OZS semantics so as to give formal foundations to verification and simulation of OZS models. Every OZS model has a transition system as its semantic interpretation. Untimed and timed versions of the OZS semantics are presented. Both transition system models of an OZS class can be used for verification purposes by model checking. In this work, a real-word example is treated and the resulting specification is model-checked by using the Stanford Temporal Prover environment from Stanford.