A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams.

L. Braga Roberto Manione P. Renditore

Published in: FORTE (1996)

Keyphrases

description language
web services
discrete event
software architecture
simulation model
description languages
web service composition
specification language
petri net
action language
real world
planning domains
colored petri nets