Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications | Zendy

Mohamed Hilia | Zendy; Abdelghani Chibani | Zendy; Karim Djouani | Zendy

Open Access

Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications

Author(s) -

Mohamed Hilia,

Abdelghani Chibani,

Karim Djouani

Publication year - 2013

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2013.06.072

Subject(s) - computer science , ontology , focus (optics) , formal methods , constructive , assisted living , description logic , formal specification , formal verification , software engineering , programming language , medicine , philosophy , nursing , physics , epistemology , process (computing) , optics

Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentially with health- care related applications such as assistance to the elderly and handicapped persons, emergency services. Several ap- proaches and techniques have been proposed, providing formal languages modeled with ontologies (e.g. OWL-S, WSMO) that describe in semantic way the environment. In this paper, relevant challenges of the current AAL ap- plication development, with a focus on the formal specification and verification are discussed. A formal system which enable to specify a semantic model represented by an upper ontology is presented. The innovative aspect of the proposed model concerns the use of a constructive description logic

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research