Jan Henry Nystrom

Learn More
This paper provides an introduction to the finer points of priority based message reception. A new behaviour is devised to provide a generic server that does priority based message reception. The combination of generic finite state machines and prioritised is also discussed. Finally it is demonstrated how behaviours could be significantly strengthened in(More)
This paper describes a case study in automated detection of service interaction or service interference. We present an implemented system, which takes as input a set of services, between which w e i n tend to detect potential interactions. The system can compose these services in diierent w ays. For each composition , the system performs an exhaustive(More)
  • 1