This paper is based on the theory of Finite State Automata (FSA's), models a web service as FSA, extends WSDL for conceptually describing behaviors Web services, and introduces concept Temporal Logic Actions (short TLA) to describe specify behavior in formal way.

In the era of Internet Things (IoT), increasing numbers applications face challenge using current data management systems to manage massive volume operational gener-ated by sensors and devices. Databases based on time series model, like PI Server, are developed handle such with technology (OT) characteristics (high volume, long lifecycle, simple format). However, while achieving excellent write performance, these database provide limited query capabilities. this paper, we present...

A Service-Based Application (SBA) is built by defining a workflow that composes and coordinates different Web services available via the Internet. In context of on-demand SBA execution, suitable are selected integrated at runtime to meet non-functional requirements (such as price execution time). such dynamic distributed environment, an important issue guarantee end-to-end Quality Service (QoS). As consequence, provider required monitor each running instance, analyze its states, then...

Web services are basic functions of a software system to support the concept service-oriented architecture. They often composed together provide added values, known as web service composition. Researchers employ Evolutionary Computation techniques efficiently construct composite with near-optimized functional quality (i.e., Quality Semantic Matchmaking) or non-functional Service) both due complexity this problem. With significant increase in composition requests, many requests have similar...

Web service composition composes existing services to accommodate users' requests for required functionalities with the best possible quality of (QoS). Due computational complexity this problem, evolutionary computation (EC) techniques have been employed efficiently find composite near-optimal functional (i.e., semantic matchmaking, QoSM short) or nonfunctional QoS) each request individually. With a rapid increase in from growing number users, solving one at time can hardly meet efficiency...

In the domain of Service-Oriented Architecture, web services are selected and composed to meet users' functional non-functional requirements. A few researchers have proposed Evolutionary Computation (EC) techniques for service composition problems, where semantic matchmaking quality Quality Service (QoS) individually or jointly optimised. However, these EC-based approaches allow best individuals (i.e., solutions) be carried across generations, but does not consider knowledge promising...

Web service composition aims to provide added values by loosely coupling web services accommodate users' complex requirements. Evolutionary computation techniques have been used efficiently find near-optimal composite satisfy requirements reasonably well. Often, the quality of a is measured two important criteria that are related non-functional (i.e., Quality service, QoS for short) and function semantic matchmaking, QoSM short). One recent work [2] proposed Hybrid method combines NSGA-II...

Cloud computing enables enormous computational resources to be scheduled as parallel workflow applications. Most traditional heuristics can only solve one particular scheduling problem. For example, Heterogeneous Earliest Finish Time (HEFT) and Greedy algorithms allocate given ordered list of tasks using a specific single heuristic, which caters for problem, e.g. the fixed number in available resources. Many researchers considered heterogeneous workflows cloud order minimize cost makespan,...

Quality-of-service (QoS)-aware automated semantic Web service composition aims to find a composite with optimized or near-optimized QoS and quality of matchmaking within polynomial time. To cope this NP-hard problem high complexity, variety evolutionary computation (EC) techniques has been developed. improve the effectiveness efficiency these techniques, in article, we proposed novel memetic estimation distribution algorithm-based approach, namely, MEEDA, tackle problem. In particular, MEEDA...

Orchestration and choreography are two perspectives to model service interactions in executing a composition. Compared orchestration model, can improve the performances scalability, throughput execution time by eliminating centralized point of coordination. However, it also brings additional complexities challenges such as inter-organizational coordination, fault-tolerance etc. In this paper, we propose self-managed self-adaptive models, namely semi-choreography auto-choreography. Both...

Web services are basic functions of a software system to support the concept service-oriented architecture. They often composed together provide added values, known as web service composition. Researchers employ Evolutionary Computation techniques efficiently construct composite with near-optimized functional quality (i.e., Quality Semantic Matchmaking) or non-functional Service) both due complexity this problem. With significant increase in composition requests, many requests have similar...

Service-oriented architecture (SOA) is a widely adopted software engineering paradigm that encourages modular and reusable applications.One popular application of SOA web service composition, which aims to loosely couple services accommodate complex goals not achievable through any individual existing service.Many approaches have been proposed construct composite with optimized quality, Quality Service (QoS) and/or Semantic Matchmaking (QoSM), assuming QoS seldom or never changes.However,...

Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a solution to build loosely coupled distributed applications by composing Web services that are provided different entities. Orchestration is perspective of service composition. The traditional approach implement orchestration use an executable language WS-BPEL express workflow. However, it has some undesirable drawbacks due its...

Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Effectively verifying service to comply with the requirements challenging. Verifying composed against certain properties discussed in this paper. TLA (Temporal Logic of Actions) introduced enable effective verification. In particular, algorithms transforming from OWL-S are proposed. We then show that automatically behaviours can be achieved by using TLC (TLA...

Services composition is a challenging research issue which comprises services and verification. Existing solutions focus on either or In this paper, we propose such complete solution using temporal logic of actions (TLA). Firstly model Web as automata, use TLA to describe it; then generate proposals in generic conceptual service set verify it with TLC (a checker TLA). Given proposals, signature specification matching select the proper from communities. The approach uses idea divide&conquer,...

Social video anomaly is an observation in streams that does not conform to a common pattern of dataset's behaviour. detection plays critical role applications from e-commerce e-learning. Traditionally, techniques are applied find anomalies broadcasting. However, they neglect the live social which contain interactive talk, speech, or lecture with audience. In this paper, we propose generic framework for effectively online detecting Anomalies Over Video LIve Streaming (AOVLIS). Specifically,...