SCOPUS 정보 검색 플랫폼

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008

Volumn , Issue , 2008, Pages 343-348

A rewriting logic approach to OWL-S composite process formal specification

(2) JunFeng, Wu a HuaiKou, Miao a

a SHANGHAI UNIVERSITY (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONCENTRATION (PROCESS); INFORMATION MANAGEMENT; MINING; SEMANTICS;

COMPOSITE PROCESS; COMPOSITIONAL REASONING; CRITICAL COMPONENT; FORMAL ANALYSIS; FORMAL FRAMEWORK; FORMAL MODELING; FORMAL SPECIFICATION; HIGH ASSURANCE; MAUDE LANGUAGES; PROCESS SPECIFICATION; REWRITING LOGIC; RUN-TIME VERIFICATION; SYSTEM DESIGN;

SPECIFICATIONS;

EID: 67049169058 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/APSCC.2008.70 Document Type: Conference Paper

Times cited : (4)

References (10)

1
- 30344458044
- Martin, D., et al. OWL-S: Semantic Markup for Web Services. 2004 [cited 22 November]; Available from: http://www.w3.org/Submission/OWL-S
- (2004) OWL-S: Semantic Markup for Web Services
- Martin, D.¹

2
- 85000314998
- DDL: Embracing actions into semantic web
- Springer: Adelaide,Australia
- Huang, H., et al., DDL: Embracing Actions into Semantic Web in 4th International Conference on Intelligent Information Processing(ICIIP2006). 2006, Springer: Adelaide,Australia
- (2006) 4th International Conference on Intelligent Information Processing(ICIIP2006)
- Huang, H.¹

3
- 70349896736
- Verification and automated composition of web services
- Narayanan, S. and S. McIlraith, Verification and Automated Composition of Web Services, in Proceedings of the Eleventh International World Wide Web Conference (WWW-11). 2002
- (2002) Proceedings of the Eleventh International World Wide Web Conference (WWW-11)
- Narayanan, S.¹ McIlraith, S.²

4
- 67049159804
- Towards the formal verification of the OWL-S process models
- Galway, Ireland
- Ankolekar, A., M. Paolucci, and K. Sycara, Towards the Formal Verification of the OWL-S Process Models, in Fourth International Semantic Web Conference (ISWC-05). 2005: Galway, Ireland
- (2005) Fourth International Semantic Web Conference (ISWC-05)
- Ankolekar, A.¹ Paolucci, M.² Sycara, K.³

5
- 85013606047
- Applied Ontology
- Roman, D., et al., Web Service Modeling Ontology. Applied Ontology, 2005. 1: p. 77 - 106
- (2005) Web Service Modeling Ontology , vol.1 , pp. 77-106
- Roman, D.¹

6
- 12344326993
- Clavel, M., et al. Maude Manual (Version 2.1). 2004 [cited; Available from: http://maude.cs.uiuc.edu/
- (2004) Maude Manual (Version 2.1)
- Clavel, M.¹

7
- 84868112953
- Writing ODP enterprise specifications in maude a case study
- ICEIS Press
- Durán, F. and A. Vallecillo, Writing ODP Enterprise specifications in Maude A case study, in Proceedings of ICEIS 2001. 2001, ICEIS Press p. 55 - 568
- (2001) Proceedings of ICEIS , pp. 55-56
- Durán, F.¹ Vallecillo, A.²

8
- 51449122113
- Semantic web services monitoring: An OWL-S based approach
- Hawaii
- Vaculin, R. and K. Sycara, Semantic Web Services Monitoring: An OWL-S based Approach, in Proceedings of 41st HICSS conference. 2008: Hawaii
- (2008) Proceedings of 41st HICSS conference
- Vaculin, R.¹ Sycara, K.²

9
- 34548713490
- University of Waterloo
- Juarez, A., Compositional Reasoning Methods. 2006: University of Waterloo
- (2006) Compositional Reasoning Methods
- Juarez, A.¹

10
- 40649107227
- Formal specification for secure electronic data interchange system in maude
- IEEE Computer Socity: JiNan,China
- Wu, J. and H. Miao, Formal Specification for Secure Electronic Data Interchange System in Maude, in 2007 IEEE International Conference on Automation and Logistics (ICAL 2007). 2007, IEEE Computer Socity: JiNan,China
- (2007) 2007 IEEE International Conference on Automation and Logistics (ICAL 2007)
- Wu, J.¹ Miao, H.²

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