Agent-Oriented Formal Specification of Web Services.
Hong ZhuBin ZhouXinJun MaoLijun ShanDavid A. DucePublished in: GCC Workshops (2004)
Keyphrases
- formal specification
- agent oriented
- web services
- software components
- model checking
- object oriented design
- multi agent systems
- software development
- multi agent
- agent technology
- concurrent systems
- development process
- service oriented
- agent systems
- web service composition
- agent oriented software engineering
- reverse engineering
- formal methods
- business processes
- process algebra
- virtual organization
- description language
- service composition
- quality of service
- service discovery
- business rules
- business process
- decision making
- petri net
- mobile agents
- software systems
- web services composition
- information technology
- case study