Abstract
The development of modern distributed systems is an extremely challenging task, because the concurrency and non-determinism create an astronomical number of possible system states and execution sequences. Hence, it is easy for the human designer to miss important interaction patterns, leading to gaps or malfunctions in the system design. It is therefore crucial to provide methods that enable debugging and testing of central parts of these systems prior to implementation and deployment. One possibility is to build a model of the system.
| Original language | English |
|---|---|
| Journal | International Journal on Software Tools for Technology Transfer |
| Volume | 9 |
| Issue | 3-4 |
| Pages (from-to) | 209-411 |
| Number of pages | 202 |
| ISSN | 1433-2779 |
| DOIs | |
| Publication status | Published - 2007 |
Keywords
- Insight
- Completness
- Correctness
- CPN Tools
- CPN Models
- CPN-nets
- Transmission Protocol (TCP)
- Capability Exchange Signalling (CES)
- Workflow Management systems
- Interactive prototypes