About: Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems
Creator	Krichen, Moez Ouchani, Samir
Source	PMC
abstract	Recent research focus more and more on IoT systems and their applications in order to make people life easier and controllable. The main aim is to expand IoT applications and services into various domains while ensuring communication and automated exchange between them. Recent research handles many issues related to IoT especially implementation, modeling, and deployment. However, many challenges need more deep and thorough analysis especially in terms of flexible modeling, extensible implementation, with respect to the privacy issue. This work focuses principally on modeling IoT systems dedicated to smart healthcare case. We attempt to address the emergency service by initiating a modeling mechanism for Healthcare Management System (HMS) by using UML diagrams, and propose an appropriate access control in order to reinforce it. Then, we ensure the correctness of the developed HMS by relying on the verification and validation based on a formal analysis that showed significant results by using Alloy tool.
has issue date	2020-05-31(xsd:dateTime)
bibo:doi	10.1007/978-3-030-51517-1_33
has license	cc-by
sha1sum (hex)	af16881e312a8d510a6dd30f27021ece624ac9fc
schema:url	https://doi.org/10.1007/978-3-030-51517-1_33
resource representing a document's title	Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems
has PubMed Central identifier	PMC7313309
schema:publication	The Impact of Digital Technologies on Public Health in Developed and Developing Countries
resource representing a document's body	covid:af16881e312a8d510a6dd30f27021ece624ac9fc#body_text
is schema:about of	named entity 'systems' named entity 'ensure' named entity 'Alloy' named entity 'Intelligent' named entity 'DEDICATED' named entity 'PEOPLE' named entity 'MECHANISM' named entity 'ATTEMPT' named entity 'IOT' named entity 'privacy' named entity 'based' named entity 'applications' named entity 'IoT' named entity 'modeling' named entity 'healthcare' named entity 'Then' named entity 'Management System' named entity 'services' named entity 'domains' named entity 'order' named entity 'mechanism' named entity 'access control' named entity 'IoT' named entity 'verification and validation' named entity 'real-time data' named entity 'information services' named entity 'smart meters' named entity 'UML' named entity 'access control' named entity 'modern technologies' named entity 'smart object' named entity 'health care systems' named entity 'RBAC' named entity 'medical history' named entity 'GPS logger' named entity 'medical record' named entity 'Fuzzy Logic' named entity 'HSN' named entity 'IoT' named entity 'health care services' named entity 'user interfaces' named entity 'emergency medical services' named entity 'IoT' named entity 'medical records' named entity 'natural language processing' named entity 'medical records' named entity 'metamodel' named entity 'IoT' named entity 'emergency vehicle' named entity 'Internet of Things' named entity 'Xampp' named entity 'IoT' named entity 'IoT' named entity 'health care' named entity 'IoT' named entity 'emergency service' named entity 'interoperability' named entity 'Command and Control' named entity 'final target' named entity 'Alloy Analyzer' named entity 'save a lot' named entity 'RESTful' named entity 'Intel Galileo' named entity 'IoT' named entity 'IoT' named entity 'Creative Commons Attribution 4.0' named entity 'medical record' named entity 'physical systems' named entity 'long time' named entity 'pulse rate' named entity 'IoT' named entity 'Gigli' named entity 'micro-services architecture' named entity 'standard definition' named entity 'agent-based modeling' named entity 'high blood pressure' named entity 'agent based model' named entity 'health issues' named entity 'IoT' named entity 'UML' named entity 'Arduino' named entity 'medical record'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software