期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
An OGC standard-oriented architecture for distributed coal mine map services 被引量:5
1
作者 SONG Xian-feng RUI Xiao-ping +1 位作者 HOU Wei TAN Hai-qiao 《Journal of China University of Mining and Technology》 EI 2008年第3期381-385,共5页
GIS- or CAD-based technology has been widely used for cartographic maps in coal mines, but structural gaps between such maps make it difficult to provide an integrated map service, for any specific purpose, at higher ... GIS- or CAD-based technology has been widely used for cartographic maps in coal mines, but structural gaps between such maps make it difficult to provide an integrated map service, for any specific purpose, at higher levels. There is no uniform platform that can be used to manage all involved maps. The main reason for this is that datasets are submitted by individual coal mines using their individual, diverse software. No consistent model is used within the software for data abstraction and symbolization. This paper first reviews all the essential specifications concerning OGC (Open Geospatial Consortium) interoperability. Then an OGC standard-oriented architecture is proposed to provide distributed coal mine map services. Within this new architecture the management of spatial data archives, and the integration of coal mine maps, are achieved through the interfaces of geospatial services. Finally an open source geospatial approach is suggested to implement the proposed scheme. A case study of the Huaibei Coal Group is used to demonstrate the proposal. 展开更多
关键词 coal mine map services service oriented architecture OGC interoperability specifications open source geospatial solution
下载PDF
Case Study of Service Oriented Enterprise Architecture Framework
2
作者 Nassir Dino Awel Dico +1 位作者 Dida Midekso Worku Alemu 《Computer Technology and Application》 2012年第3期240-249,共10页
Many organizations have now adopted Service Oriented Architecture (SOA) as an architectural style to help them with architecture, design and implementation of their core services and systems. Most of these organizat... Many organizations have now adopted Service Oriented Architecture (SOA) as an architectural style to help them with architecture, design and implementation of their core services and systems. Most of these organizations are challenged in integrating SOA style with their overall Enterprise Architecture work. This framework links an SOA style with the Enterprise Architecture (EA) methodologies to help organizations organize their SOA effort as a key part of their Enterprise Architecture. The case study demonstrates the implementation of architecture goal with organization vision in service oriented organizational structure using services that align Business with Technology. The framework is validated and has reserved the privileges of SOA and EA. 展开更多
关键词 SOA service oriented architecture) EA (enterprise architecture) service oriented enterprise (SOE) SOE strategicarchitecture SOE domain architecture SOE solution architecture SOE lifecycle service oriented enterprise architecture (SOEA)framework.
下载PDF
Service Oriented Approach State of the Art
3
作者 Baroudi Mohammed Yassine Fethi Tarik Bendimerad 《Computer Technology and Application》 2013年第11期599-605,共7页
For many years, computer systems have emerged; they now occupy an important place in our daily lives. The growing needs and ever increasing use of computer systems have made application development more and more compl... For many years, computer systems have emerged; they now occupy an important place in our daily lives. The growing needs and ever increasing use of computer systems have made application development more and more complicated, The complexity of these applications poses problems such as reuse, installation, administration and evolution of applications. The development of applications is related to the evolution of paradigms and approaches to developing them. This paper presents different approaches and paradigms of development starting with the procedural approach, coming up for service, through the component and object-oriented approaches. Also, for each of the approaches we determine the advantages and limitations. 展开更多
关键词 service reusing dynamic application and service oriented approach.
下载PDF
SOA-based RFID public services infrastructure:architecture and its core services 被引量:5
4
作者 Zeng Junfang Li Ran Luo Jin Liu Yu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第3期577-582,共6页
Radio frequency identification (RFID) has prominent advantages compared with other autoidentification technologies. Combining RFID with network technology, physical object tracking and information sharing can possib... Radio frequency identification (RFID) has prominent advantages compared with other autoidentification technologies. Combining RFID with network technology, physical object tracking and information sharing can possibly be carried out in an innovative way. Regarding open-loop RFID applications, RFID public services infrastructure (PSI) is presented, PSI architecture is designed, and service modules are implemented, and a demonstrative application system, blood management and traceability system, is studied to verify PSI. Experimental results show the feasibility of the proposed architecture and the usability of PSI framework software. 展开更多
关键词 radio frequency identification public services service oriented architecture ARCHITECTURE
下载PDF
Support for Dynamic Service Composition with Role-Based Interaction Model
5
作者 贺小箭 尤晋元 +1 位作者 唐新怀 贾兆庆 《Journal of Shanghai Jiaotong university(Science)》 EI 2006年第1期56-59,共4页
This paper aims to present a role-based interaction model for dynamic service composition in Grid environments. Assigning roles to a service means to associate with it capabilities that describes all the operations th... This paper aims to present a role-based interaction model for dynamic service composition in Grid environments. Assigning roles to a service means to associate with it capabilities that describes all the operations the service intends to perform. When all of the services can be recognized by their roles, the appropriate services can be selected. Based on the interaction policy, a role-based interaction model not only facilitates access control, but also offers flexible interaction mechanism for adapting service-oriented applications. This interaction model adopts programmable reactive tuple space to facilitate context-dependent coordination. 展开更多
关键词 COORDINATION ROLE service oriented computing software composition
下载PDF
A Web Service Framework for Environmental and Carbon Footprint Monitoring in Construction Supply Chains
6
作者 Jack C. P. Cheng Kincho H. Law 《Journal of Civil Engineering and Architecture》 2011年第1期1-12,共12页
With the growing environmental concerns, green supply chain management (GSCM) is gaining significant attention in the construction industry. Tracking and monitoring the environmental effects brought forth by the par... With the growing environmental concerns, green supply chain management (GSCM) is gaining significant attention in the construction industry. Tracking and monitoring the environmental effects brought forth by the participating members along a supply chain is important to GSCM. The GreenSCOR model developed by the Supply Chain Council provides a generic framework for measuring the total carbon footprint and environmental footprint in a supply chain. The model is based on the Supply Chain Operations Reference (SCOR) model, which represents a supply chain network in a hierarchically structured manner. This paper describes the GreenSCOR framework and its potential application to the construction industry. This paper also presents a web services approach to incorporate the GreenSCOR model to the implementation of collaborative information systems. Each process element in the SCOR model is represented and delivered as individual web service units, which can be reused and integrated using standard web services technologies. The service units are combined and managed in a prototype web service collaborative framework, called SC Collaborator, which is designed and developed for supporting construction supply chain management. An illustrative example is presented to demonstrate the implementation of the GreenSCOR-based SC Collaborator framework. 展开更多
关键词 Green supply chain management (GSCM) Supply Chain Operations Reference (SCOR) model performance monitoring service oriented web services.
下载PDF
Common Information Model: A Bus Service for Electric Calculations in AES Eletropaulo
7
作者 Carlos Alexandre de Sousa Penin Wladmir Sybine +1 位作者 Claudio Masanori Matayoshi Flavio Celio de SouzaCerdan 《Journal of Energy and Power Engineering》 2012年第6期965-971,共7页
This paper resumes a research project developed in the concession area of AES Eletropaulo, the largest electrical energy distribution company in Brazil. First, the global standards of information exchange within power... This paper resumes a research project developed in the concession area of AES Eletropaulo, the largest electrical energy distribution company in Brazil. First, the global standards of information exchange within power transmission and distribution area were evaluated, allowing the definition of state of the art on the theme, followed by determining its applications considering technologies already applied by the company. The specifications needed for the generation of a data integration model are adapted to radial overhead network at company concession area. The project developed an intermediary connectivity layer, based on the CIM (common information model), which enables corporative systems to communicate in a standard way, through the use of integrating technologies. It, therefore, enabled modeling all main subjects of an electrical network in an open, extensible and non-proprietary way, in a model that contains classes and attributes of such subjects, as well as their relationships. Calculation and planning products adopted by the company were integrated to the technological layer implemented. 展开更多
关键词 Common information model enterprise service bus electrical calculation applications planning applications SOA service oriented architecture).
下载PDF
一种基于SOA的自律计算模型与实现方法 被引量:1
8
作者 尹飞 王慧强 +2 位作者 吕宏武 林俊宇 冯光升 《系统仿真学报》 CAS CSCD 北大核心 2013年第1期47-53,共7页
通过引入面向服务架构技术,提出一种面向服务的自律计算模型,对自律计算环境的架构和自律单元的设计进行了详细论述,并对计算模型的关键问题——服务装载过程做出改进,解决了服务引用、行为不一致性的问题。实验结果表明,提出的模型使We... 通过引入面向服务架构技术,提出一种面向服务的自律计算模型,对自律计算环境的架构和自律单元的设计进行了详细论述,并对计算模型的关键问题——服务装载过程做出改进,解决了服务引用、行为不一致性的问题。实验结果表明,提出的模型使Web服务器节省了平均事务响应时间,提高了平均吞吐量,改进的服务装载过程能增加约10个百分点的服务通过率。服务质量得到有效提高。 展开更多
关键词 自律计算 SOA(service.oriented Architecture) 服务队列装载 一致性
原文传递
Performance Aware Service Pool in Dependable Service Oriented Architecture 被引量:6
9
作者 黄罡 周立 +2 位作者 刘儇哲 梅宏 张成志 《Journal of Computer Science & Technology》 SCIE EI CSCD 2006年第4期565-573,共9页
As a popular approach to dependable service oriented architecture (SOA), a service pool collects a set of services that provide the same functionality by different service providers for achieving desired reliability... As a popular approach to dependable service oriented architecture (SOA), a service pool collects a set of services that provide the same functionality by different service providers for achieving desired reliability. However, if the tradeoff between reliability and other important qualities, e.g., performance, has to be considered, the construction and management of a service pool become much more complex. In this paper, an automated approach to this problem is presented. Based on the investigation of service pools in the typical triangle SOA model, two challenges critical to the effectiveness and efficiency of service pools are identified, including which services should be held by a pool and what order these services are invoked in. A set of algorithms are designed to address the two challenges and then a service pool can be automatically constructed and managed for given reliability and performance requirements in polynomial time. The approach is demonstrated on a J2EE based service platform and the comparison results between different pooling algorithms are evaluated. 展开更多
关键词 service oriented architecture service pool DEPENDABILITY PERFORMANCE
原文传递
World-Wide Semantic Web of Agriculture Knowledge 被引量:1
10
作者 Dickson Lukose 《Journal of Integrative Agriculture》 SCIE CAS CSCD 2012年第5期769-774,共6页
The rapid increase in the publication of knowledge bases as linked open data (LOD) warrants serious consideration from all concerned, as this phenomenon will potentially scale exponentially. This paper will briefly ... The rapid increase in the publication of knowledge bases as linked open data (LOD) warrants serious consideration from all concerned, as this phenomenon will potentially scale exponentially. This paper will briefly describe the evolution of the LOD, the emerging world-wide semantic web (WWSW), and explore the scalability and performance features Of the service oriented architecture that forms the foundation of the semantic technology platform developed at MIMOS Bhd., for addressing the challenges posed by the intelligent future internet. This paper" concludes with a review of the current status of the agriculture linked open data. 展开更多
关键词 linked open data world wide semantic web AGRICULTURE KNOWLEDGE ONTOLOGY semantic technology service oriented architecture
下载PDF
VARIABILITY MODELING TO DEVELOP FLEXIBLE SERVICE-ORIENTED APPLICATIONS 被引量:1
11
作者 Joonseok PARK Mikyeong MOON Keunhyuk YEOM 《Journal of Systems Science and Systems Engineering》 SCIE EI CSCD 2011年第2期193-216,共24页
To cope with requirement changes flexibly and rapidly,the existing component-based paradigm is being evolved into a service-oriented computing paradigm.The main characteristic of the service-oriented computing paradig... To cope with requirement changes flexibly and rapidly,the existing component-based paradigm is being evolved into a service-oriented computing paradigm.The main characteristic of the service-oriented computing paradigm is that service-oriented applications are developed as loosely coupled services that reflect business concerns.This paradigm also promotes business agility,facilitating quick reactions to business changes.Therefore,to enhance and support the benefits of the service-oriented computing paradigm,we must consider how to improve flexibility and reusability during the development of service-oriented applications.We propose the variability modeling approach to specify and control the common and distinguishing characteristics of service-oriented applications.That is,the key concepts of product-line technology can be used to make service-oriented applications more flexible and reusable.This paper describes variability modeling at two levels;the composition level and the specification level.At the composition level,we describe the variability of composition and the flow of domain services that fulfill business processes.At the specification level,we present a domain service that is an abstract service with variability.The use of our systematic variability modeling approach can greatly increase the flexibility,applicability,and reusability of service-oriented applications. 展开更多
关键词 VARIABILITY software product line REUSE service oriented software flexible service model
原文传递
Computational Analysis of Performance for Heterogeneous Integrated System with Test Automation 被引量:1
12
作者 K.Krishna Mohan A.Srividya Ravikumar Gedela 《International Journal of Automation and computing》 EI 2007年第4期353-358,共6页
Heterogeneity is inevitable in enterprises due to their various input requirements. The usage of proprietary integration products results in the increased cost of enterprises. During the integration, the focus area ha... Heterogeneity is inevitable in enterprises due to their various input requirements. The usage of proprietary integration products results in the increased cost of enterprises. During the integration, the focus area has been found to often address only the functional requirements, while the non-functional requirements are side-stepped during the initial stages of a project. Moreover, the use of proprietary integration products and non-standards-based integration platform has given rise to an inflexible integration infrastructure resulting in adaptability concerns. Web services-based integration, based on open standards, is deemed to be the only feasible solution in such cases. This paper explains the performance analysis of enterprise integration in heterogeneous environments for the distributed and the transactional applications. The analysis presented in this paper is seen as a step towards making intelligent decisions well in advance when choosing the integration mechanism/products to address the functional as well as the non-functional requirements considering the future integration needs. 展开更多
关键词 Enterprise application integration reliability performance web services point-to-point IBM/rational platform service oriented architecture.
下载PDF
Tele-COVID: A Telemedicine SOA-Based Architectural Design for COVID-19 Patients 被引量:1
13
作者 Asadullah Shaikh Mana Saleh AlReshan +2 位作者 Yousef Asiri Adel Sulaiman Hani Alshahrani 《Computers, Materials & Continua》 SCIE EI 2021年第4期549-576,共28页
In Wuhan,China,a novel Corona Virus(COVID-19)was detected in December 2019;it has changed the entire world and to date,the number of diagnosed cases is 38,756,2891 and 1,095,2161 people have died.This happened because... In Wuhan,China,a novel Corona Virus(COVID-19)was detected in December 2019;it has changed the entire world and to date,the number of diagnosed cases is 38,756,2891 and 1,095,2161 people have died.This happened because a large number of people got affected and there is a lack of hospitals for COVID-19 patients.One of the precautionary measures for COVID-19 patients is isolation.To support this,there is an urgent need for a platform that makes treatment possible from a distance.Telemedicine systems have been drastically increasing in number and size over recent years.This increasing number intensies the extensive need for telemedicine for the national healthcare system.In this paper,we present Tele-COVID which is a telemedicine application to treat COVID-19 patients from a distance.Tele-COVID is uniquely designed and implemented in Service-Oriented Architecture(SOA)to avoid the problem of interoperability,vendor lock-in,and data interchange.With the help of Tele-COVID,the treatment of patients at a distance is possible without the need for them to visit hospitals;in case of emergency,necessary services can also be provided. 展开更多
关键词 Tele-COVID telemedicine architectural design COVID-19 system design service oriented architecture second wave of COVID-19
下载PDF
IGS polar motion measurement accuracy 被引量:2
14
作者 Jim Ray Paul Rebischung Jake Griffiths 《Geodesy and Geodynamics》 2017年第6期413-420,共8页
We elaborate an error budget for the long-term accuracy of IGS(International Global Navigation Satellite System Service) polar motion estimates, concluding that it is probably about 25-30 μas(1-sigma)overall, alt... We elaborate an error budget for the long-term accuracy of IGS(International Global Navigation Satellite System Service) polar motion estimates, concluding that it is probably about 25-30 μas(1-sigma)overall, although it is not possible to quantify possible contributions(mainly annual) that might transfer directly from aliases of subdaily rotational tide errors. The leading sources are biases arising from the need to align daily, observed terrestrial frames, within which the pole coordinates are expressed and which are continuously deforming, to the secular, linear international reference frame. Such biases are largest over spans longer than about a year. Thanks to the very large number of IGS tracking stations, the formal covariance errors are much smaller,around 5 to 10 μas. Large networks also permit the systematic frame-related errors to be more effectively minimized but not eliminated. A number of periodic errors probably also influence polar motion results, mainly at annual, GPS(Global Positioning System) draconitic, and fortnightly periods, but their impact on the overall error budget is unlikely to be significant except possibly for annual tidal aliases. Nevertheless, caution should be exercised in interpreting geophysical excitations near any of the suspect periods. 展开更多
关键词 PM(Polar motion) GPS(Global Positioning System) EOPs(Earth orientation parameters) Accuracy IGS(International GNSS service
原文传递
MLEA: A Solution for Users of Android in UTPVirtual
15
作者 Gisela Torres de Clunie Sergio Crespo Coelho da Silva Pinto +6 位作者 Aris Linet Castillo Lucas Monteiro Braz Tasia Serrao Norman Rangel Jeanette Riley Olinda de Barraza Kexy Rodriguez 《Computer Technology and Application》 2011年第5期406-412,共7页
This paper describes a design of an educational platform for a mobile learning architecture, which is a state of the an topic in distance education. The product will allow users to interact in an efficient, flexible, ... This paper describes a design of an educational platform for a mobile learning architecture, which is a state of the an topic in distance education. The product will allow users to interact in an efficient, flexible, and transparent fashion with a web-based education environment, in this case Module Object-Oriented Dynamic Learning Environment (Moodle), using Android mobile devices. In order to provide a strong and lasting architecture, the Service Oriented Architecture (SOA) methodology is used given that it allows easy software re-utilization as well as integration of heterogeneous services. The architecture is based on web services implemented with Representational State Transfer (REST), as it has been demonstrated to be lighter and less consuming than other protocols, for devices with limited resources such as mobile devices. Web services provide the communication means between the server side and the client side of the architecture, whereas agents are used to deliver the services itself. The authors propose the development of an environment that facilitates the integration of various educational resources to support m-learning. An important aspect of the proposal is the offering of a tool to provide customized alerts for students and teachers, enabling them to remain updated about activities taking place in the courses. 展开更多
关键词 Distance learning virtual education M-LEARNING service oriented architecture (SOA) mobile learning mobile computing INTEROPERABILITY representational state transfer (REST).
下载PDF
Research on Service-oriented Knowledge Management Model of Multi-campus College and University
16
作者 LI Dong LIU Xi-lin 《International Journal of Plant Engineering and Management》 2013年第4期212-216,共5页
Knowledge management theory is increasingly attracting the attention of colleges and universities, and has become a new perspective to the reform of college management. With the development of education informa tioniz... Knowledge management theory is increasingly attracting the attention of colleges and universities, and has become a new perspective to the reform of college management. With the development of education informa tionization, the service orientation will become the main direction in knowledge management. On the fact of many campuses in colleges and universities, this paper presents model based on serviceoriented idea and grid technology, campus university knowledge management. a university knowledge management system framework and discusses the processes of serviceoriented multi 展开更多
关键词 service oriented knowledge management multi-campus universities management mode
原文传递
GEOID: GRID Services for Earth Observation Image Data Processing
17
作者 Nitant Dube R.Ramakrishnan K.S.Dasgupta 《International Journal of Digital Earth》 SCIE EI 2013年第2期185-195,共11页
Recent developments in space technology and exponential increase in demand of earth observation data from space have generated a requirement of a data processing environment,where users can discover the data and proce... Recent developments in space technology and exponential increase in demand of earth observation data from space have generated a requirement of a data processing environment,where users can discover the data and process,based on their requirements.Grid Services for Earth Observation Image Data Processing(GEOID)is proposed with a motivation to cater to future earth observation applications requirements of digital earth.This paper discusses the overview of the GEOID architecture,its deployment scenario,use-cases and simulation results.Core technologies used for implementation include Grid computing and Service Oriented Architecture.GEOID provides capability to address require-ments of applications such as real-time monitoring,time series data processing and processing with user required quality to meet the requirements of end user applications.GEOID allows users to access the archive products or the raw satellite data stream and process their area of interest.Simulations show that applications such as time series analysis show considerable improvement in processing time by using GEOID. 展开更多
关键词 earth observation digital earth GRID GEOID service oriented architecture GRIDSIM
原文传递
A web-based, component-oriented application for spatial modelling of habitat suitability of mosquito vectors
18
作者 P.Zeilhofer P.S.Arraes Neto +1 位作者 W.Y.Maja D.A.Vecchiato 《International Journal of Digital Earth》 SCIE 2009年第4期327-342,共16页
This paper proposes a web-enabled computational environment for the spatial modelling of habitat suitability of mosquito vectors.Under a component-based architecture and implemented using an object-oriented data model... This paper proposes a web-enabled computational environment for the spatial modelling of habitat suitability of mosquito vectors.Under a component-based architecture and implemented using an object-oriented data model,we integrate database interfaces,Web feature services(WFS)based on the open GIS consortium(OGC)protocols,and the data-mining tool WEKA,coupled through Java servlet scripts(JSP).The prototype,based exclusively on freely available libraries and software components,provides basic dynamic spatial simulation capabilities using logistic regression to end-users engaged in local and regional health administration and planning but who lack access to specific software and/or detailed knowledge of spatial modelling techniques.The component-based approach facilitates system maintenance and future expansion of functionality,and guarantees the reusability of developed modules in new spatial modelling applications of health and environmental-related phenomena.Functionality of the WWW-application was validated in a study of habitat suitability mapping of the Malaria vector Anopheles darlingi,in an area surrounding the Manso River hydropower plant,Central Brazil. 展开更多
关键词 habitat mapping component and service orientation WWW
原文传递
Event-driven flood management:design and computational modules
19
作者 Vinod Kumar Sharma G.Srinivasa Rao +4 位作者 E.Amminedu P.V.Nagamani Abhinav Shukla K.Ram Mohan Rao V.Bhanumurthy 《Geo-Spatial Information Science》 SCIE EI CSCD 2016年第1期39-55,共17页
Flood management is a set of activities that have to be carried out in collaboration with multiple agencies.Advanced flood information with early warning generated using remote sensing satellite technologies can help ... Flood management is a set of activities that have to be carried out in collaboration with multiple agencies.Advanced flood information with early warning generated using remote sensing satellite technologies can help the agencies to effectively manage the situation on ground.Various environmental parameters and forecasts provided by different agencies can be analyzed and compared with historical flood events for generating probable flood event alerts.The information(environmental parameters)provided by the agencies are heterogeneous and noncompliant to standards and distributed in nature.Synchronization of data from distributed resources and automation of data analysis process for flood management is a primary prerequisite for faster and efficient decision-making.Web 2.0-based web services enable data creation,sharing,communication,and collaboration on web.Spatial data sharing on web 2.0 for making quality of service using open-source software for efficient flood management is a challenge.Available software architectures proposed for risk and environmental crisis management are too generic in nature and needs lot of modification for flood management.An event-driven model coupled with data standardization procedures using service-oriented architecture provides an effective framework for flood management.In this paper,a framework capable of collecting heterogeneous distributed flood-related information for analyzing and alerting probable flood events is proposed.The framework has been implemented to generate automatic flood extent maps,by analyzing the distributed satellite data(as service).The automation of flood delineation process reduces the overall flood product generation time.Open-source web tools have been utilized in development of spatial information system to visualize and analyze the actual situation on ground facilitating overall decision-making process. 展开更多
关键词 Flood management software architectures service oriented architecture(SOA) event-based methods AUTOMATION heterogeneous data
原文传递
A UTP semantic model for Orc language with execution status and fault handling
20
作者 Qin LI Yongxin ZHAO Huibiao ZHU Jifeng HE 《Frontiers of Computer Science》 SCIE EI CSCD 2014年第5期709-725,共17页
The Orc language is a concurrency calculus pro- posed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for ... The Orc language is a concurrency calculus pro- posed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional se- mantics for Orc does not contain the execution status of ser- vices so that a program cannot determine whether a service has terminated normally or halted with a failure after it pub- lished some results. It means that this kind of failure cannot be captured by the fault handler. Furthermore, such a seman- tic model cannot establish an order saying that a program is better if it fails less often. This paper employs UTP methods to propose a denotational semantic model for Orc that con- rains execution status information. A failure handling seman- tics is defined to recover a failure execution back to normal. A refinement order is defined to compare two systems based on their execution failures. Based on this order, a system that introduces a failure recovery mechanism is considered bet- ter than one without. An extended operational semantics is also proposed and proven to be equivalent to the denotational semantics. 展开更多
关键词 Orc language service oriented computing uni-fying theories of programming denotational semantics op-erational semantics
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部