Tool Development

From PATSWiki

At the Department of Telematics at NTNU we are developing an integrated set of tools for service modelling, validation, translation and debugging.


Serice Modelling is supported with a set of editors that build a model in UML 2.0. We focus on editing of

  • State Machines
  • Composite Structures


Service Validation is implemented as a set of tests that check properties of the model and warn the user if errors are found.

See the List of Tests. How to write a Check

Service Translation means to take the model and translate it into an executable system.

Retrieved from "http://www.item.ntnu.no/lab/pats/wiki/index.php/Tool_Development"