scholarly journals Weighted Constraint Satisfaction for Smart Home Automation and Optimization

2016 ◽  
Vol 2016 ◽  
pp. 1-15
Author(s):  
Noel Nuo Wi Tay ◽  
János Botzheim ◽  
Naoyuki Kubota

Automation of the smart home binds together services of hardware and software to provide support for its human inhabitants. The rise of web technologies offers applicable concepts and technologies for service composition that can be exploited for automated planning of the smart home, which can be further enhanced by implementation based on service oriented architecture (SOA). SOA supports loose coupling and late binding of devices, enabling a more declarative approach in defining services and simplifying home configurations. One such declarative approach is to represent and solve automated planning through constraint satisfaction problem (CSP), which has the advantage of handling larger domains of home states. But CSP uses hard constraints and thus cannot perform optimization and handle contradictory goals and partial goal fulfillment, which are practical issues smart environments will face if humans are involved. This paper extends this approach to Weighted Constraint Satisfaction Problem (WCSP). Branch and bound depth first search is used, where its lower bound is estimated by bacterial memetic algorithm (BMA) on a relaxed version of the original optimization problem. Experiments up to 16-step planning of home services demonstrate the applicability and practicality of the approach, with the inclusion of local search for trivial service combinations in BMA that produces performance enhancements. Besides, this work aims to set the groundwork for further research in the field.

Author(s):  
Vinay Raj ◽  
Ravichandra Sadam

Service oriented architecture (SOA) has been widely used in the design of enterprise applications over the last two decades. Though SOA has become popular in the integration of multiple applications using the enterprise service bus, there are few challenges related to delivery, deployment, governance, and interoperability of services. To overcome the design and maintenance challenges in SOA, a new architecture of microservices has emerged with loose coupling, independent deployment, and scalability as its key features. With the advent of microservices, software architects have started to migrate legacy systems to microservice architecture. However, many challenges arise during the migration of SOA to microservices, including the decomposition of SOA to microservice, the testing of microservices designed using different programming languages, and the monitoring the microservices. In this paper, we aim to provide patterns for the most recurring problems highlighted in the literature i.e, the decomposition of SOA services, the size of each microservice, and the detection of anomalies in microservices. The suggested patterns are combined with our experience in the migration of SOA-based applications to the microservices architecture, and we have also used these patterns in the migration of other SOA applications. We evaluated these patterns with the help of a standard web-based application.


2011 ◽  
Vol 121-126 ◽  
pp. 4074-4079
Author(s):  
Yue Jin Lin ◽  
Bing Yue Liu ◽  
Hui Ling Chen

To meet the requirements of enterprises in different developing phases, often using the latest technology under the circumstances that lead to existing many and various hardware, operating systems, middleware, programming languages, data storage, reusable redundant code in the enterprise. Service-Oriented Architecture (SOA)[1] is naturally chose as an application architecture by many enterprises because of its innate loose coupling and co-operating. In this paper you will see the Web service development tools supplied by WebSphere platform and you will also see that Web service function which is supplied by J2EE can easily build up SOA system [2] and visit the the existing business process.


2021 ◽  
Vol 21 (2) ◽  
pp. e18
Author(s):  
Vinay Raj ◽  
Ravichandra Sadam

This Distributed systems have evolved rapidly as the demand for independent design, and deployment ofsoftware applications has increased. It has emerged from the monolithic style of client-server architecture toservice-oriented architecture, and then to the trending microservices. Monolithic applications are difficult toupdate, maintain, and deploy as it makes the application code very complex to understand. To overcome the designand deployment challenges in monolithic applications, service oriented architecture has emerged as a style ofdecomposing the entire application into loosely coupled, scalable, and interoperable services. Though SOA hasbecome popular in the integration of multiple applications using the enterprise service bus, there are fewchallenges related to delivery, deployment, governance, and interoperability of services. Additionally, the servicesin SOA applications are tending towards monolithic in size with the increase in changing user requirements. Toovercome the design and maintenance challenges in SOA, microservices has emerged as a new architectural styleof designing applications with loose coupling, independent deployment, and scalability as key features.


2012 ◽  
pp. 1458-1474
Author(s):  
Isabelle Mirbel ◽  
Pierre Crescenzo ◽  
Nadia Cerezo

Scientists who are not proficient in computer science and yet wish to perform in-silico experiments and harness the power of Service Oriented Architecture are presented with dozens of daunting technical solutions: scientific workflow frameworks. While these systems do take care of complex technical aspects such as Grid technologies, little is done to support transfer of service composition knowledge and know-how. The authors of this chapter believe the problem lies in the scientific workflow models which are too low-level and too anchored in the underlying technologies to allow efficient reuse and sharing. This chapter’s approach, called SATIS, relies on a goal-driven model, that has proven its worth in requirement engineering, and the Semantic Web technologies to leverage the collective knowledge and know-how in order to bridge the gap between service providers and end-users.


Author(s):  
Kristýna Pantůčková ◽  
Roman Barták

Automated planning deals with finding a sequence of actions, a plan, to reach a goal. One of the possible approaches to automated planning is a compilation of a planning problem to a Boolean satisfiability problem or to a constraint satisfaction problem, which takes direct advantage of the advancements of satisfiability and constraint satisfaction solvers. This paper provides a comparison of three encodings proposed for the compilation of planning problems: Transition constraints for parallel planning (TCPP), Relaxed relaxed exist-Step encoding and Reinforced Encoding. We implemented the encodings using the programming language Picat 2.8, we suggested certain modifications, and we compared the performance of the encodings on benchmarks from international planning competitions.


Author(s):  
Do Van Thanh ◽  
Ivar Jørstad ◽  
Schahram Dustdar

Mobile communication and Web technologies have paved the way for mobile multimedia collaborative services that allows people, team and organisation to collaborate in dynamic, flexible and efficient manner. Indeed, it should be possible to establish and terminate collaborative services with any partner anytime at anywhere on any network and any device. While severe requirements are imposed on collaborative services, their development and deployment should be simple and less time-consuming. The design, implementation, deployment and operation of collaborative services meet challenging issues that need to be resolved. The chapter starts with a study of collaboration and the different collaboration forms. An overview of existing collaborative services will be given. A generic model of mobile collaborative services is explained together with the basic collaborative services. A service oriented architecture platform supporting mobile multimedia collaborative services is described. To illustrate the development of mobile multimedia collaborative service, an example is given.


Author(s):  
Do Van Thanh ◽  
Ivar Jorstad ◽  
Schahram Dustdar

Mobile communication and Web technologies have paved the way for mobile multimedia collaborative services that allows people, team and organisation to collaborate in dynamic, flexible and efficient manner. Indeed, it should be possible to establish and terminate collaborative services with any partner anytime at anywhere on any network and any device. While severe requirements are imposed on collaborative services, their development and deployment should be simple and less time-consuming. The design, implementation, deployment and operation of collaborative services meet challenging issues that need to be resolved. The chapter starts with a study of collaboration and the different collaboration forms. An overview of existing collaborative services will be given. A generic model of mobile collaborative services is explained together with the basic collaborative services. A service oriented architecture platform supporting mobile multimedia collaborative services is described. To illustrate the development of mobile multimedia collaborative service, an example is given.


Sign in / Sign up

Export Citation Format

Share Document