Synthesizing Service Composition Models on the Basis of Temporal Business Rules
喻坚, 韩燕波, 韩军, 金岩, Paolo, Falcarin, Maurizio, Morisio · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2008
从要求产生设计和实现模型的 Transformational 途径能把有效性和质量带到软件开发。在这篇论文我们在场一个框架和联系技术统治从一套时间的企业产生一篇服务作文的过程模型。包括发现路径的、分叉的结构鉴定和并行结构鉴定的奉献技术半自动地被用于综合从规则的语义等价物有限状态自动机的过程模型。这些过程模型自然地满足规则的规定行为的限制。与编码为时间的企业规则的域知识，一个可执行的服务作文程序，例如，一个 BPEL 程序，能进一步从过程模型被产生。在电子商务领域的一个跑的例子被用于在整个这篇论文说明我们的途径。这篇文章的联机版本(做 i：10.1007/s11390-008-9196-x ) 包含增补材料，它对授权用户可得到。