期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Web服务语言BPEL到接口自动机的转换

Transition from web service language BPEL to interface automata
下载PDF
导出
摘要 在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性. Recently, in the research of service combination, for the service which described by standard language BPEL and WSCL etc, language itself is lack of the support for checking the validity of combination. It must depend on formal tool which helps to check the validity of service combination. In order to solve the shortage of BPEL which supports the verification, based on the formal tool of interface automata, the paper gives the transition from the primary language dement of BPEL to interface automata. The purpose of the transition is to use the method which obtair, s behaviors based interface automata to verify the service combination. At last the paper displays an example of transition to prove the validity.
作者 吉春山 刘晓燕 吕苏环
机构地区 昆明理工大学信息工程与自动化学院
出处 《山东理工大学学报（自然科学版）》 CAS 2008年第2期66-71,共6页 Journal of Shandong University of Technology:Natural Science Edition
关键词 服务组合 业务流程执行语言 形式化工具 接口自动机 service corabination business process execution language formal tool interface automata
分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1Michael N Huhns,Munindar P Singh.Service-Oriented Computing:Key Concepts and Principles.IEEE Internet Computing[J].2005,9(1):75-81.
  • 2Mike P.Papazoglou.Service-Oriented Computing:Concepts,Characteristics and Directions[C]// In Proceedings of the 4th International Conference on Web Information Systems Engineering (WISE 2003).Los Alamitos,California:IEEE Computer Society,2003,3-12.
  • 3Mercedes Amor,Lidia Fuentes.Putting Together Web Services and Compositional Software Agents.Vol.2722 of Lecture Notes in Computer Science[M].Berlin Heidelberg New York:Springer-Verlag,2003,44-53.
  • 4Luca de Alfaro,Thomas A.Henzinger.Interface Automata[C]// In Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE 2001).New York:ACM Press,2001,109-120.
  • 5张岩,胡军,于笑丰,李宣东,郑国梁.接口自动机——一种用于组件组合的形式系统[J].计算机科学,2005,32(11):212-217. 被引量：7
  • 6Jun-Jang Jeng,Wang-Chuan Tsai.Designing An FSM Architectural Framework for Service-Based Applications[C]// In Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000).Los Alamitos,California:IEEE Computer Society,2000,234-242.
  • 7Oussama Kassem Zein,Yvon Kermarrec.An Approach For Describing/Discovering Services and For Adapting Them to the Needs of Users in Distributed Systems[C]// InK.Sycarra,T.Payne,(Editors) Proceedings of the 1st International Semantic Web Services Symposium.AAAI Spring Symposium Series.Stanford,California,2004.
  • 8Daniela Berardi,Diego Calvanese,Giuseppe De Giacomo,Richard Hull,Massimo Me-cella.Automatic Composition of Transition-based Semantic Web Services with Messaging[C]// In Proceedings of the 31st International Conference on Very Large Data Bases (VLDB 2005).New York:ACM Press,2005,613-624.
  • 9Xiang Fu.Formal Specifcation and Verification of Asynchronously Communicating Web Services[D].California:University of California,2004.
  • 10Howard Foster,Sebastian Uchitel,Jeff Magee,Jeff Kramer.Model-based verification of web service compositions[C]// In Proceedings of the 18th IEEE International Conference on Automated Software Engineering Conference (ASE 2003).Los Alamitos,California:IEEE Computer Society,2003,152-163.

二级参考文献43

  • 1Thistle J G, Wonham W M. Supervision of infinite behavior of discrete-event system. SIAM Journal on Control and Optimization, 1994, 31(4): 1098-1113.
  • 2Mazala R. Infinite Games. In: Gradel E, Wolfgang T, Wilke T,eds. Automata, Logics, and Infinite Games-A Guide to Current Research. Berlin: Springer-Verlag, 2000. 23-38.
  • 3Buchi J R. On a decision method in restricted second order arithmetic. In: Proc. of the Intl. Congress on Logic, Methodology and Philosophy of Science. Stanford: Stanford University Press,1962. 1-11.
  • 4Klauck H. Algorithms for Parity Games. In: Gradel E, Wolfgang T, Wilke T, eds. Automata, Logics, and Infinite Games-A Guide to Current Research. Berlin: Springer-Verlag, 2000. 107-129.
  • 5Alur R, Henzinger T A, Kupferman O, et al. Alternating Refinement Relations. In: Proc. of the 9th Intl. Conf. On Concurrency Theory (CONCUR' 98). Berlin: Springer-Verlag, 1998.163-178.
  • 6Berardi D, Calvanese D, Giacomo G D, et al. Automatic Composition of e-Services that Export their Behavior. In: Proc. of the 1st Intl. Conf. on Service Oriented Computing (IC-SOC03). Berlin: Springer-Verlag, 2003. 43-58.
  • 7Bultan T, Fu X, Hull R, et al. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition.In: Proc. of the 12th Intl. World Wide Web Conf. (WWW2003).New York: ACM Press, 2003. 403-410.
  • 8Fu X, Bultan T, Su J. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In:Proc. of the 8th Intl. Conf. on Implementation and Application of Automata (CIAA 2003). Berlin: Springer-Verlag, 2003. 188-200.
  • 9Moisan S, Ressouche A, Rigault J-P. Towards Formalizing Behavioral Substitutability in Component Frameworks. In: Proc. of the 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM'04). Los Alamitos: IEEE Computer Society, 2004. 132-141.
  • 10Rajamani S K, Rehof J. A behavioral module system for the picalculus. In: Proc. of Static Analysis Symposium (SAS'01). Berlin: Springer-Verlag, 2001. 375-394.

共引文献6

山东理工大学学报（自然科学版）
2008年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部