Distributed Program Control Flow and Behaviour Governed by Global States Monitoring.
Marek TudrujJanusz BorkowskiDamian KopanskiAdam SmykEryk LaskowskiLukasz MaskoPublished in: PARELEC (2011)
Keyphrases
- control flow
- data flow
- process model
- software testing
- multi agent
- cooperative
- distributed systems
- monitoring system
- modeling language
- transition systems
- information systems
- formal semantics
- workflow management systems
- mobile agents
- object oriented
- global knowledge
- prolog programs
- business processes
- xml documents
- business process models
- case study