scholarly journals Mapping Scdl/Bpel to Ada for Formal Verification of the Behavioral Properties of Service-Component Architecture

2018 ◽  
Author(s):  
Taoufik Sakka Rouis
Keyword(s):  
Formal Verification ◽  
Service Component ◽  
Service Component Architecture ◽  
Component Architecture

scholarly journals Mapping SCDL/BPEL to ADA for Formal Verification of the Behavioral Properties of Service-Component Architecture

2018 ◽  
Vol 9 (1) ◽  
pp. 01-14
Author(s):  
Sakka Rouis Taoufik ◽  
Bhiri Mohamed Tahar ◽  
Kmimech Mourad
Keyword(s):  
Formal Verification ◽  
Service Component ◽  
Service Component Architecture ◽  
Component Architecture

A Service Component Model and Implementation for Institutional Repositories

2012 ◽  
pp. 466-486
Author(s):  
Yong Zhang ◽  
Quansong Deng ◽  
Chunxiao Xing ◽  
Yigang Sun ◽  
Michael Whitney
Keyword(s):  
Code Generation ◽  
Cloud Services ◽  
New Paradigm ◽  
Digital Resources ◽  
Service Component ◽  
Institutional Repositories ◽  
Service Component Architecture ◽  
Component Architecture ◽  
History Of ◽  
Set Up

With the boom of digital resources, there are urgent requirements to set up and manage Institutional Repositories (IRs) for companies and/or organizations. Cloud computing opens a new paradigm to build IRs by providing diverse services. We apply cloud services in the building of IRs and present a new model, which is based on digital object model and service component architecture, and consists of five service components, namely ID, metadata, content, log, and annotation service component. The five components are implemented by five corresponding clouds. These clouds provide two kinds of services: Web service and mashup service. We develop a framework and a code generation tool to generate an IR that can be used to manage the digital resources by invoking the five cloud services. Our approach is applied to the digital library on the history of water conservancy in China of Tsinghua University Library to demonstrate its feasibility.

A Service Component Model and Implementation for Institutional Repositories

2011 ◽  
pp. 61-81
Author(s):  
Yong Zhang ◽  
Quansong Deng ◽  
Chunxiao Xing ◽  
Yigang Sun ◽  
Michael Whitney
Keyword(s):  
Code Generation ◽  
Cloud Services ◽  
New Paradigm ◽  
Digital Resources ◽  
Service Component ◽  
Institutional Repositories ◽  
Service Component Architecture ◽  
Component Architecture ◽  
History Of ◽  
Set Up

With the boom of digital resources, there are urgent requirements to set up and manage Institutional Repositories (IRs) for companies and/or organizations. Cloud computing opens a new paradigm to build IRs by providing diverse services. We apply cloud services in the building of IRs and present a new model, which is based on digital object model and service component architecture, and consists of five service components, namely ID, metadata, content, log, and annotation service component. The five components are implemented by five corresponding clouds. These clouds provide two kinds of services: Web service and mashup service. We develop a framework and a code generation tool to generate an IR that can be used to manage the digital resources by invoking the five cloud services. Our approach is applied to the digital library on the history of water conservancy in China of Tsinghua University Library to demonstrate its feasibility.

Service Component Architecture (SCA)

2009 ◽  
pp. 2632-2633 ◽  
Author(s):  
Allen Chan
Keyword(s):  
Service Component ◽  
Service Component Architecture ◽  
Component Architecture

scholarly journals A Formal Approach to Service Component Architecture

2006 ◽  
pp. 193-213 ◽  
Author(s):  
José Luiz Fiadeiro ◽  
Antónia Lopes ◽  
Laura Bocchi
Keyword(s):  
Formal Approach ◽  
Service Component ◽  
Service Component Architecture ◽  
Component Architecture
Sign in / Sign up

Export Citation Format

Share Document