An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses

Popovici, Matei; Muraru, Mihnea; Agache, Alexandru; Negreanu, Lorina; Giumale, Cristian; Dobre, Ciprian

doi:10.1109/isads.2011.25

Cited by 8 publications

(5 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our previous implementation efforts were either (i) driven by the application context [ 15 , 16 , 24 , 25 ] or (ii) attempted to follow closely the algorithm description, in order to highlight correctness [ 3 , 14 , 18 ]. There are lessons to be learned from either approach.…”

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Declarative Programming with Temporal Constraints, in the Language CG

Negreanu

2015

The Scientific World Journal

Self Cite

View full text Add to dashboard Cite

Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language , which tackles this issue. In , users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment's evolution. relies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts of and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of program execution, using the Event-B modeling approach.

show abstract

Section: Methodsmentioning

confidence: 99%

“…There are lessons to be learned from either approach. For instance, approaches such as [ 16 , 25 ] are highly dependent on the web service (WS) architecture which is vital for communicating with intelligent devices. Although proficient for the envisaged scenario, (i) lacks portability as well as scalability.…”

Section: Methodsmentioning

confidence: 99%

Declarative Programming with Temporal Constraints, in the Language CG

Negreanu

2015

The Scientific World Journal

Self Cite

View full text Add to dashboard Cite

show abstract

“…Capturing knowledge in the BAS ontology, four protocols (BACnet, KNX, LonWorks, and ZigBee) are supported, a system is configured centrally, and an access point for other systems is done. A flexible Service Oriented Architecture (SOA) platform for controlling and coordinating devices is proposed in [12]. Controllable devices are modeled as Web Services, and functionalities (such as pressing a button) are modeled as Web service invocations [12].…”

Section: Semantic Technologies In Building Automationmentioning

confidence: 99%

“…A flexible Service Oriented Architecture (SOA) platform for controlling and coordinating devices is proposed in [12]. Controllable devices are modeled as Web Services, and functionalities (such as pressing a button) are modeled as Web service invocations [12].…”

Section: Semantic Technologies In Building Automationmentioning

confidence: 99%

Design and verification of simulation models of passive houses

Novák¹,

Šindelář²

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

Passive houses are featured with very low energy consumption for heating and operation, which is reached not only by excellent insulation, but also by proper control algorithms. Optimization of passive houses must be done both by civil and control engineers; furthermore, these disciplines must collaborate. For the optimization, simulation models are very useful test-beds. This paper presents the Building Simulation Library (Bldsimlib) and its mathematical-physical background. The universal library blocks simulate temperature, carbon dioxide concentration, relative humidity, and air pressure. The paper compares preliminary really measured data from an experimental passive house and simulation results. Finally, an ontology-based methodology for semi-automated design of simulation models is proposed and evaluated.

show abstract

“…K.Tari and Y.Amirat [11] proposes a layered design framework which aims at being flexible and robust to failure service composition. A language for dynamic service composition which is called MetaBPEL is defined in [12].It extends the WS-BPEL 2.0 language with semantic information, and acts as an abstract workflow definition mechanism. Two approaches-top-down and bottom-up are proposed in [13], Top-down composition can create new services with management using a main composer, while the bottom-up creates a new service under human-oriented direction.…”

Section: Related Workmentioning

confidence: 99%

An Experience of a Lightweight User-Centric Dynamic Service Composition Mechanism

Zhang

Chen

Yin

et al. 2011

2011 IEEE International Conference on High Performance Computing and Communications

View full text Add to dashboard Cite

Web Service (WS) composition has become a key element for the development of Service Orient Architecture (SOA) in the Next Generation Network/Next Generation Service (NGN/NGS) Context. From the viewpoint of user centric paradigm, existing work has limitation on whether the service composition satisfies the user requirements and has a context adaptation feature. This article presents our approach for solving these problems. Our proposal consists in a two level user centric approach for dynamic service composition, it is based on a composition engine which follows user's specific needs and which yields a composed service through a WS knowledge base. Users can mash up the services at run time with their own logic and have a fully dynamic composition with context adaptation through Virtual WS, the latter allows also semantic web.

show abstract

An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses

Cited by 8 publications

References 6 publications

Declarative Programming with Temporal Constraints, in the Language CG

Declarative Programming with Temporal Constraints, in the Language CG

Design and verification of simulation models of passive houses

An Experience of a Lightweight User-Centric Dynamic Service Composition Mechanism

Contact Info

Product

Resources

About