Trustworthiness measurements of real-time Web services

2014 ◽  
pp. 117-124
Keyword(s):  
Web Services ◽  
Real Time

Service Discovery Framework for Distributed Embedded Real-Time Systems

2014 ◽  
pp. 126-147 ◽  
Author(s):  
Furkh Zeshan ◽  
Radziah Mohamad ◽  
Mohammad Nazir Ahmad
Keyword(s):  
Web Services ◽  
Real Time ◽  
Context Awareness ◽  
Service Discovery ◽  
Low Cost ◽  
High Volume ◽  
Heterogeneous Environments ◽  
Real Time Systems ◽  
Loosely Coupled ◽  
Time Systems

Embedded systems are supporting the trend of moving away from centralised, high-cost products towards low-cost and high-volume products; yet, the non-functional constraints and the device heterogeneity can lead to system complexity. In this regard, Service-Oriented Architecture (SOA) is the best methodology for developing a loosely coupled, dynamic, flexible, distributed, and cost-effective application. SOA relies heavily on services, and the Semantic Web, as the advanced form of the Web, handles the application complexity and heterogeneity with the help of ontology. With an ever-increasing number of similar Web services in UDDI, a functional description of Web services is not sufficient for the discovery process. It is also difficult to rank the similar services based on their functionality. Therefore, the Quality of Service (QoS) description of Web services plays an important role in ranking services within many similar functional services. Context-awareness has been widely studied in embedded and real-time systems and can also play an important role in service ranking as an additional set of criteria. In addition, it can enhance human-computer interaction with the help of ontologies in distributed and heterogeneous environments. In order to address the issues involved in ranking similar services based on the QoS and context-awareness, the authors propose a service discovery framework for distributed embedded real-time systems in this chapter. The proposed framework considers user priorities, QoS, and the context-awareness to enable the user to select the best service among many functional similar services.

Formalizing Timed BPEL by D-LOTOS

2014 ◽  
Vol 5 (2) ◽  
pp. 1-21
Author(s):  
Imed Eddine Chama ◽  
Nabil Belala ◽  
Djamel Eddine Saidouni
Keyword(s):  
Web Services ◽  
Formal Verification ◽  
Real Time ◽  
Formal Representation ◽  
The Real ◽  
True Concurrency ◽  
Transformation Approach ◽  
Abstract Specification

Different standards and languages are proposed in the literature to model the composition of Web services. Unfortunately these languages are essentially syntactic and thus contain much ambiguity and inconsistency. In addition, the formal verification of the proposed languages is impossible. In this paper, the authors propose a transformation approach allowing the formal representation, analysis and refinement of Web services compositions. Both timed constraints and the durations of interactions between these services are taken into account. The authors present a mapping from Web services described in the BPEL language to an abstract specification written in the real-time language D-LOTOS which is based on true-concurrency semantics.

Service Discovery

2011 ◽  
pp. 107-127
Author(s):  
Gerhard Austaller
Keyword(s):  
Web Services ◽  
Real Time ◽  
Service Provider ◽  
Service Discovery ◽  
Business Processes ◽  
Software Component ◽  
Service Oriented Architectures ◽  
Network Connection ◽  
Service Oriented ◽  
The Moment

The chapter “Ubiquitous Services and Business Processes” discussed the benefits for real time enterprises of service oriented architectures (SOA) in terms of reusability and flexibility. Web services are one incarnation of SOA. This chapter gives a brief introduction to SOA. It discusses the attributes that define SOA, the roles of the participants in a service oriented environment. The essence of SOA is that clients use services offered by a service provider to get a task done. For the moment we simplify service to “a software component with network connection”. Services are offered with a description at wellknown “places” (also called registries, repositories), where clients choose services according to their needs. The chapter discusses several approaches to describe services and to look for them. Moreover, some well-known systems, and also current research, are discussed.

RDTA

2014 ◽  
Vol 5 (3) ◽  
pp. 42-67
Author(s):  
Fateh Latreche ◽  
Faiza Belala
Keyword(s):  
Web Services ◽  
Real Time ◽  
Formal Model ◽  
Timed Automata ◽  
Web Services Composition ◽  
Composite Service ◽  
The Real ◽  
Services Composition ◽  
Dynamic Web ◽  
Natural Way

Web services are very dynamic, they are all around us and we use them every day without even knowing it. In this paper, the authors define a formal model for dynamic Web services composition and they investigate how it can be used to specify and analyse backward recovery procedures, updating partner services in case of failure. First, they propose Recursive and Dynamic Timed Automata (RDTA) model, interpreted over composite service configurations, which provide a natural way to design stateful and dynamic Web services. Then, the authors define the concurrent semantics of this timed automata extension in terms of real-time rewrite theories. Analysis of the model is carried out in the Real-Time Maude system, based on checking relevant properties.

scholarly journals RANCANG BANGUN APLIKASI MONITORING PERANGKAT KERAS KOMPUTER MENGGUNAKAN WQL

2016 ◽  
Vol 1 (3) ◽  
pp. 155
Author(s):  
Paulus Lucky Tirma Irawan ◽  
Abdurrachman Kamil Dhermawan ◽  
Hendry Setiawan
Keyword(s):  
Web Services ◽  
Knowledge Sharing ◽  
Real Time ◽  
Query Language

Dokumentasi aset merupakan salah satu agenda rutin yang harus dilakukan sebagai bagian dari sistem manajemen mutu. Dokumen ini dapat memiliki fungsi sebagai alat komunikasi, alat bukti dan juga knowledge sharing. Kegiatan dokumentasi ini biasanya difokuskan pada sarana dan prasarana utama yang mendukung kinerja sebuah instansi, salah satunya laboratorium. Dokumentasi aset laboratorium secara umum  melibatkan spesifikasi perangkat komputer, seperti data perangkat keras meliputi mainboard, harddrive, sistem operasi hingga data kondisi kelayakan masing-masing perangkat tersebut. Pengembangan aplikasi monitoring memanfaatkan teknologi web services dan Windows Query Language. Aplikasi ini dapat memudahkan pelaksana dokumentasi untuk mendapatkan informasi yang dibutuhkan secara cepat, akurat dan real-time menggunakan aplikasi yang terintegrasi dengan sistem yang dibangun di server. Aplikasi monitoring dapat diakses menggunakan peramban maupun perangkat bergerak sehingga meningkatkan fleksibilitas penggunanya pada saat melakukan pengawasan dan dokumentasi data. Total pemakaian memori untuk pengoperasian aplikasi ini hanya membutuhkan memori yang cukup kecil, yakni 30 MB RAM. 

Real-Time, Interposable Communication for Web Services

2015 ◽  
Vol 2 (5) ◽  
pp. 40
Author(s):  
Sasi Palarivattom ◽  
Kayamkulam Kochunni
Keyword(s):  
Web Services ◽  
Real Time ◽  
Operating Systems ◽  
File Systems ◽  
Evolutionary Programming ◽  
Position Paper ◽  
Hash Tables ◽  
Novel Approach ◽  
To Come ◽  
Future Work

In recent years, much research has been devoted to the evaluation of checksums; nevertheless, few have simulated the construction of RPCs. In this position paper, we prove the development of robots. We motivate a novel approach for the improvement of hash tables (Intwist), which we use to prove that evolutionary programming can be made wireless, cacheable, and semantic. In conclusion, our experiences with in twist and real-time archetypes show that the Turing machine and journaling file systems can interfere to overcome this quagmire. We considered how gigabit switches can be applied to the construction of operating systems. in twist has set a precedent for signed algorithms, and we expect that leading analysts will explore our system for years to come. One potentially profound shortcoming of in twist is that it might allow Internet QoS; we plan to address this in future work.

Sign in / Sign up

Export Citation Format

Share Document