Internet; business data processing; Petri nets; formal specification; formal verification; specification languages; object-oriented programming; WS-Net; Petri-net based specification model; Web application design; Web application development; business transactions; Web service verification; executable architectural description language; colored Petri-net; object-oriented programming; Web service component; interconnection net; component operational behaviors; architectural topology formalization; Web service integration monitoring;
机译:基于Petri网和QoS的Web服务自动组合模型
机译:基于Petri网和QoS的Web服务自动组合模型
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:WS-NET:基于Petri-Net的Web服务规范模型
机译:具有访问控制列表和基于角色的访问控制模型的可扩展访问控制Web服务的规范。
机译:SBMLmod:基于Python的Web应用程序和Web服务用于高效的数据集成和模型仿真
机译:WS-Net:基于Petri-net的Web服务规范模型