SCOPUS 정보 검색 플랫폼

2011 International Conference on Internet Technology and Applications, iTAP 2011 - Proceedings

Volumn , Issue , 2011, Pages

A CP-nets-based model and verification for consumer-centric information service composition

(2) Zhu, Xian Yuan a Zhang, Zhao Hui a

a ANHUI NORMAL UNIVERSITY (China)

Author keywords

Colored Petri nets; Formal verification; Information service; Personalization; Services composition

Indexed keywords

BOUNDEDNESS; COLORED PETRI NETS; COMBINATIONAL LOGIC; CONSUMER-CENTRIC; FORMAL VERIFICATIONS; LIVENESS; MODELING APPROACH; PERSONALIZATIONS; REACHABILITY; SERVICES COMPOSITION;

INFORMATION RETRIEVAL; INTERNET; PETRI NETS; QUALITY OF SERVICE; TELECOMMUNICATION NETWORKS;

INFORMATION SERVICES;

EID: 80052866473 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/ITAP.2011.6006440 Document Type: Conference Paper

Times cited : (1)

References (8)

1
- 33747397562
- A CP-net model and operation properties for web service composition [J]
- GUO Yubin, DU Yuyue, XI Jianqing. A CP-Net model and operation properties for Web service composition [J]. Chinese Journal of Computers, 2006, 29(07): 1067-1075
- (2006) Chinese Journal of Computers , vol.29 , Issue.7 , pp. 1067-1075
- Guo, Y.¹ Du, Y.² Xi, J.³

2
- 24644471097
- [DB/OL]
- W.M.P. Vander Aalst. Pi Calculus versus Petri Nets-Let us eat" humble pie" rather than further inflate the "Pi hype" [DB/OL]. 2005. http://is.tm.tue.nl/research/pattems/download/pi-hype.pdf
- (2005) Pi Calculus Versus Petri Nets-let Us Eat" Humble Pie" Rather Than Further Inflate the "Pi Hype,"
- Vander Aalst, W.M.P.¹

3
- 4944232556
- A CP-nets-based design and verification framework for web services composition[C]
- California, USA
- Xiaochuan Yi, Krys J. Kochut. A CP-nets-based design and verification framework for Web services composition[C]//2004 IEEE International Conference on Web Services. San Diego, California, USA.2004:756-760
- (2004) 2004 IEEE International Conference on Web Services. San Diego , pp. 756-760
- Yi, X.¹ Kochut, K.J.²

4
- 70349896736
- Simulation, verification and automated composition of web services[C]
- Srini Narayanan. Sheila A McIlwraith. Simulation, Verification and Automated Composition of Web Services[C]. Proceedings of the 11th International Conference on World Wide Web. 2002. 77-88
- (2002) Proceedings of the 11th International Conference on World Wide Web , pp. 77-88
- Narayanan, S.¹ McIlwraith, S.A.²

5
- 37749011354
- A petri net-based semantic web service automatic composition method [J]
- TANG Xianfei, JIANG Changjun, et al. A Petri Net-Based Semantic Web Service Automatic Composition Method [J]. Journal of Software 2007, 18 (12): 2991-2998.
- (2007) Journal of Software , vol.18 , Issue.12 , pp. 2991-2998
- Tang, X.¹ Jiang, C.²

6
- 30344471097
- Through personalized web service composition specification: From BPEL to C-BPEL
- Ghedira, C. and Mezni, H. Through personalized web service composition specification: from BPEL to C-BPEL. Electronic Notes in Theoretical Computer Science. 2006, v146. 117-132
- (2006) Electronic Notes in Theoretical Computer Science , vol.146 , pp. 117-132
- Ghedira, C.¹ Mezni, H.²

7
- 0031351778
- A decentralized approach for computing invariants in large scale and interconnected petri nets
- Orlando: IEEE Computer Society
- Borujij A, Boutayeb M, Cecchin T. A decentralized approach for computing invariants in large scale and interconnected Petri nets. In: Proc of the 1997 IEEE Int'l Conf. on System Man and Cybernetics. Orlando: IEEE Computer Society, 1997. 1741-1746
- (1997) Proc of the 1997 IEEE Int'l Conf. on System Man and Cybernetics , pp. 1741-1746
- Borujij, A.¹ Boutayeb, M.² Cecchin, T.³

8
- 80052829238
- Wiki? cmd = get & anchor= Analyzing+ a+ CP-net
- Analyzing a CP-net Syntax check, simulation, state space analysis. http://wiki.daimi.au.dk/cpntools-help/analysing-a-cp-net. Wiki? cmd = get & anchor= Analyzing+ a+ CP-net
- Analyzing a CP-net Syntax Check, Simulation, State Space Analysis

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.