Model-based development of a course of action scheduling tool

Authors:
Lars M. Kristensen;Peter Mechlenborg;Lin Zhang;Brice Mitchell;Guy E. Gallasch
Affiliations:
University of Aarhus, Department of Computer Science, IT-Parken, Aabogade 34, 8200, Aarhus N, Denmark;University of Aarhus, Department of Computer Science, IT-Parken, Aabogade 34, 8200, Aarhus N, Denmark;Defence Science and Technology Organisation, Command and Control Division, IT-Parken, Aabogade 34, 5111, Edinburgh, SA, Australia;Defence Science and Technology Organisation, Land Operations Division, IT-Parken, Aabogade 34, 5111, Edinburgh, SA, Australia;University of South Australia, Computer Systems Engineering Centre, IT-Parken, Aabogade 34, 5095, Mawson Lakes, SA, Australia
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2007

Citing 0
Cited 7

Modelling personnel within a defence logistics maintenance process

Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
A Methodology for Solving Logistic Optimization Problems through Simulation

Simulation
Automatic structure-based code generation from coloured Petri nets: a proof of concept

FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Access/CPN 2.0: a high-level interface to coloured petri net models

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
A time stamp reduction method for state space exploration using colored Petri nets

Simulation
CPN tools 4: multi-formalism and extensibility

PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Scheduling Tool (COAST). The aim of COAST is to support human planners in the specification and scheduling of tasks in a Course of Action. CPNs have been used to develop a formal model of the task execution framework underlying COAST. The CPN model has been extracted in executable form from CPN Tools and embedded directly into COAST, thereby automatically bridging the gap between the formal specification and its implementation. The scheduling capabilities of COAST are based on state space exploration of the embedded CPN model. Planners interact with COAST using a domain-specific graphical user interface (GUI) that hides the embedded CPN model and analysis algorithms. This means that COAST is based on a rigorous semantical model, but the use of formal methods is transparent to the users. Trials of operational planning using COAST have been conducted within the Australian Defence Force.