메뉴 건너뛰기




Volumn 6, Issue 3, 2012, Pages 189-205

A formal model for the interoperability of service clouds

Author keywords

Abstract state service; Service cloud; Service mediation; Service ontology; Service oriented computing

Indexed keywords

ABSTRACT STATE SERVICE; DISTRIBUTED APPLICATIONS; FORMAL MODEL; HIGH LEVEL SPECIFICATION; INTEGRATED MODELS; MATCHING CONDITION; SERVICE MEDIATION; SERVICE ONTOLOGY; SERVICE OPERATIONS; SERVICE ORIENTED COMPUTING;

EID: 84865604756     PISSN: 18632386     EISSN: 18632394     Source Type: Journal    
DOI: 10.1007/s11761-012-0101-7     Document Type: Article
Times cited : (19)

References (33)
  • 3
    • 33646814030 scopus 로고    scopus 로고
    • An abstract model for process mediation
    • In: Lau K-K, Banach R (eds) 7th international conference on formal engineering methods (ICFEM 2005), vol 3785 of lecture notes in computer science. Springer
    • Altenhofen M, Börger E, Lemcke J (2005) An abstract model for process mediation. In: Lau K-K, Banach R (eds) Formal methods and software engineering, 7th international conference on formal engineering methods (ICFEM 2005), vol 3785 of lecture notes in computer science. Springer, pp 81-95.
    • (2005) Formal methods and software engineering , pp. 81-95
    • Altenhofen, M.1    Börger, E.2    Lemcke, J.3
  • 6
    • 33745626091 scopus 로고    scopus 로고
    • Representing, analysing and managing web service protocols
    • Benatallah B, Casati F, Toumani F (2006) Representing, analysing and managing web service protocols. Data Knowl Eng 58(3): 327-357.
    • (2006) Data Knowl Eng , vol.58 , Issue.3 , pp. 327-357
    • Benatallah, B.1    Casati, F.2    Toumani, F.3
  • 8
    • 3042773722 scopus 로고    scopus 로고
    • Abstract state machines capture parallel algorithms
    • Blass A, Gurevich J (2003) Abstract state machines capture parallel algorithms. ACM Trans Comput Logic 4(4): 578-651.
    • (2003) ACM Trans Comput Logic , vol.4 , Issue.4 , pp. 578-651
    • Blass, A.1    Gurevich, J.2
  • 10
    • 34548534641 scopus 로고    scopus 로고
    • Service-oriented architecture and web services penetration in next-generation networks
    • Brenner MR, Unmehopa MR (2007) Service-oriented architecture and web services penetration in next-generation networks. Bell Labs Tech J 12(2): 147-159.
    • (2007) Bell Labs Tech J , vol.12 , Issue.2 , pp. 147-159
    • Brenner, M.R.1    Unmehopa, M.R.2
  • 12
    • 1542701666 scopus 로고    scopus 로고
    • Web services transaction (WS-Transaction)
    • Cox W et al (2004) Web services transaction (WS-Transaction), BEA Systems, IBM, Microsoft. http://dev2dev. bea. com/pub/a/2004/01/ws-transaction. html.
    • (2004) BEA Systems, IBM, Microsoft
    • Cox, W.1
  • 13
    • 77951454630 scopus 로고    scopus 로고
    • Web services coordination (WS-Coordination), version 1.1
    • Feingold W, Jeyaraman R (2007) Web services coordination (WS-Coordination), version 1. 1, OASIS Web Services Transaction WS-TX TC. http://docs. oasis-open. org/ws-tx/wstx-wscoor1. 1-spec. pdf.
    • (2007) OASIS Web Services Transaction WS-TX TC
    • Feingold, W.1    Jeyaraman, R.2
  • 14
    • 1342337728 scopus 로고    scopus 로고
    • The web service modeling framework WSMF
    • Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commer Res Appl 1(2): 113-137.
    • (2002) Electron Commer Res Appl , vol.1 , Issue.2 , pp. 113-137
    • Fensel, D.1    Bussler, C.2
  • 16
    • 0001835656 scopus 로고    scopus 로고
    • Formal ontology and information systems
    • Guarino N (1998) Formal ontology and information systems. In: Proceedings FOIS'98. IOS Press, pp 3-15.
    • (1998) Proceedings FOIS'98. IOS Press , pp. 3-15
    • Guarino, N.1
  • 17
    • 84947248224 scopus 로고    scopus 로고
    • Sequential abstract state machines capture sequential algorithms
    • Gurevich J (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1(1): 77-111.
    • (2000) ACM Trans Comput Logic , vol.1 , Issue.1 , pp. 77-111
    • Gurevich, J.1
  • 19
    • 0031141317 scopus 로고    scopus 로고
    • Kleene algebra with tests
    • Kozen D (1997) Kleene algebra with tests. ACM Trans Program Lang Syst 19(3): 427-443.
    • (1997) ACM Trans Program Lang Syst , vol.19 , Issue.3 , pp. 427-443
    • Kozen, D.1
  • 20
    • 34948821111 scopus 로고    scopus 로고
    • Using a model-driven transformational approach and service-oriented architecture for service delivery management
    • Kumaran S et al (2007) Using a model-driven transformational approach and service-oriented architecture for service delivery management. IBM Syst J 46(3): 513-530.
    • (2007) IBM Syst J , vol.46 , Issue.3 , pp. 513-530
    • Kumaran, S.1
  • 23
    • 0036711884 scopus 로고    scopus 로고
    • What is a service? Towards accurate description of non-functional properties
    • O'Sullivan J, Edmond D, Ter Hofstede A (2002) What is a service? Towards accurate description of non-functional properties. Distrib Parallel Databas 12(2-3): 117-133.
    • (2002) Distrib Parallel Databas , vol.12 , Issue.2-3 , pp. 117-133
    • O'Sullivan, J.1    Edmond, D.2    Ter Hofstede, A.3
  • 24
    • 34249080831 scopus 로고    scopus 로고
    • Service oriented architectures: approaches, technologies and research issues
    • Papazoglou MP, van den Heuvel W-J (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J 16(3): 389-415.
    • (2007) VLDB J , vol.16 , Issue.3 , pp. 389-415
    • Papazoglou, M.P.1    van den Heuvel, W.-J.2
  • 25
    • 18844448920 scopus 로고    scopus 로고
    • Conceptual modelling of web information systems
    • Schewe K-D, Thalheim B (2005) Conceptual modelling of web information systems. Data Knowl Eng 54(2): 147-188.
    • (2005) Data Knowl Eng , vol.54 , Issue.2 , pp. 147-188
    • Schewe, K.-D.1    Thalheim, B.2
  • 27
    • 78649902843 scopus 로고    scopus 로고
    • A customised ASM thesis for database transformations
    • Schewe K-D, Wang Q (2010) A customised ASM thesis for database transformations. Acta Cybern 19(4): 765-805.
    • (2010) Acta Cybern , vol.19 , Issue.4 , pp. 765-805
    • Schewe, K.-D.1    Wang, Q.2
  • 29
    • 84865595987 scopus 로고    scopus 로고
    • Simple object access protocol (SOAP)
    • Simple object access protocol (SOAP). http://www. w3c. org/TR/soap.
  • 32
    • 84865595985 scopus 로고    scopus 로고
    • Universal description, discovery and integration (UDDI)
    • Universal description, discovery and integration (UDDI). http://www. uddi. org.
  • 33
    • 84865595887 scopus 로고    scopus 로고
    • Web ontology language (OWL)
    • Web ontology language (OWL). http://www. w3c. org//OWL/.


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