Modelling the WAP Transaction Service using Coloured Petri Nets.

Steven Gordon Jonathan Billington

Published in: MDA (1999)

Keyphrases

coloured petri nets
mobile phone
database
point of sale
management system
service providers
customer service
mobile users
service discovery
formal verification
heavy traffic
service composition
loosely coupled
mobile services
service oriented
concurrency control
distributed systems
end users