Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net.
Xiaofeng TaoChangjun JiangPublished in: GCC (1) (2003)
Keyphrases
- colored petri nets
- petri net
- web services
- web service composition
- petri net model
- object oriented
- service composition
- stochastic petri net
- manufacturing systems
- discrete event systems
- description language
- service oriented
- relational databases
- ims ld
- high level petri nets
- service oriented architecture
- fuzzy petri net
- sequence diagrams
- production process
- neural network
- software architecture
- business process
- data model
- artificial intelligence