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)
This paper describes ongoing work on howto make a coherent framework for the creation of telephone services. The demands on the framework is that it should be easy to design, simulate and validate the services. Further there should be possible to add anlysis of the dynamic behaviour of the services, e.g. feature interaction .