semantic Web; specification languages; programming language semantics; automata theory; dense time semantics; Web services; specification languages; service description; service discovery; timed automaton;
机译:使用Web服务建模语言的语义Web服务建模模型驱动方法
机译:使用基于过程模型的服务的Web本体语言,基于过程模型的原子服务发现和组合语义Web服务的组合
机译:建模语义Web服务:Web服务建模语言
机译:用于Web服务规范语言的密集时间语言
机译:由模型驱动的框架,用于语义Web服务的规范,基础和执行。
机译:SSWAP:用于语义Web服务的简单语义Web体系结构和协议
机译:Web服务规范语言DamL-s的并发语义
机译:使用Web本体语言的语义Web服务(OWL-s) - DaRpa代理标记语言(DamL)的代理服务规范