Affiliation:
1. Division of Electrical, Electronic and Information Engineering, Graduate School of Engineering, Osaka University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference11 articles.
1. [1] T. Erl, Service-Oriented Architecture: Concepts, Technology, and Design, Prentice Hall Professional Technical Reference, 2005.
2. [2] T. Bultan and X. Fu, “Specification of realizable service conversations using collaboration diagrams,” Service Oriented Computing and Applications, vol.2, no.1, pp.27-39, April 2008.
3. [3] J. Su, T. Bultan, X. Fu, and X. Zhao, “Towards a theory of web service choreographies,” Proc. 4th Intl. Conf. on Web Services and Formal Methods, pp.1-16, Sept. 2007.
4. [4] Object Management Group, “OMG Unified Modeling Language (OMG UML), superstructure,” Aug. 2011. (accessed Oct. 31, 2013).
5. [5] J.A. Cruz-Lemus, M. Genero, and M. Piattini, “Metrics for UML statechart diagrams,” in Metrics for Software Conceptual Models, ed. M. Genero, M. Piattini, and C. Calero, pp.237-272, Imperial College Press, 2005.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios;2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2018-10
2. Realizability of Choreography Given by Two Scenarios;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2018