loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Yasir Malik and Bessam Abdulrazak

Affiliation: University of Sherbrooke, Canada

Keyword(s): Verification, Interoperability, Design by Contract, Service Modeling, Smart Environment.

Related Ontology Subjects/Areas/Topics: Mobile and Pervasive Computing ; Telecommunications ; Ubiquitous Computing Systems and Services

Abstract: Service interoperability verification is key to enable service continuity among pervasive computing environments. Pervasive computing is shifting the computing paradigm toward everywhere computing where number of heterogeneous and autonomous systems offer rich sets of services to assist inhabitants in their daily living. To support continuity of services these systems must provide seamless and flawless interoperability among devices and services. In this paper, We present our ongoing project on verifying the service interoperability in pervasive computing environments. We highlight the potential use of formal methods to verify the interoperability requirements and propose using design by contract technique to model and verify the semantic and pragmatic service interoperability requirements. We also present our verification requirement analysis and the benefits of using this technique with rich support from languages for implementation.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.138.122.195

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Malik, Y. and Abdulrazak, B. (2012). TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS. In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS; ISBN 978-989-8565-00-6; ISSN 2184-2817, SciTePress, pages 220-223. DOI: 10.5220/0003907202200223

@conference{peccs12,
author={Yasir Malik. and Bessam Abdulrazak.},
title={TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS},
booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS},
year={2012},
pages={220-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003907202200223},
isbn={978-989-8565-00-6},
issn={2184-2817},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS
TI - TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS
SN - 978-989-8565-00-6
IS - 2184-2817
AU - Malik, Y.
AU - Abdulrazak, B.
PY - 2012
SP - 220
EP - 223
DO - 10.5220/0003907202200223
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic