Formal Specification for Ambient Assisted Living Scenarios View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017

AUTHORS

Hubert Kenfack Ngankam , Hélène Pigot , Marc Frappier , Camila H. Oliveira , Sylvain Giroux

ABSTRACT

Formal specifications are used to prove software correctness in a critical system. Ambient Assisted Living (AAL) technologies require unambiguous and precise requirements as they provide critical services for home monitoring. Several AAL technologies have already been designed using scenario-driven approach. But most of them do not precise how to ensure the correctness and conformity of the scenario related to end-user specifications. The multidisciplinary requirements brought by the design team and the assistance to the elderly need a rigorous mechanism for validating and specifying assistance scenarios. In this article, we propose a formal specification approach for scenario construction in the context of AAL technologies. We explain how to instantiate any scenario from the modeled specification, and give some results obtained by using the Alloy language and its validation module. We present a case study applied to nighttime wandering scenario. More... »

PAGES

508-519

References to SciGraph publications

Book

TITLE

Ubiquitous Computing and Ambient Intelligence

ISBN

978-3-319-67584-8
978-3-319-67585-5

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-67585-5_51

DOI

http://dx.doi.org/10.1007/978-3-319-67585-5_51

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1092113799


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Universit\u00e9 de Sherbrooke", 
          "id": "https://www.grid.ac/institutes/grid.86715.3d", 
          "name": [
            "Universit\u00e9 de Sherbrooke"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ngankam", 
        "givenName": "Hubert Kenfack", 
        "id": "sg:person.013623525155.27", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013623525155.27"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e9 de Sherbrooke", 
          "id": "https://www.grid.ac/institutes/grid.86715.3d", 
          "name": [
            "Universit\u00e9 de Sherbrooke"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pigot", 
        "givenName": "H\u00e9l\u00e8ne", 
        "id": "sg:person.0744660572.88", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0744660572.88"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e9 de Sherbrooke", 
          "id": "https://www.grid.ac/institutes/grid.86715.3d", 
          "name": [
            "Universit\u00e9 de Sherbrooke"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Frappier", 
        "givenName": "Marc", 
        "id": "sg:person.010775654400.72", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010775654400.72"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e9 de Sherbrooke", 
          "id": "https://www.grid.ac/institutes/grid.86715.3d", 
          "name": [
            "Universit\u00e9 de Sherbrooke"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Oliveira", 
        "givenName": "Camila H.", 
        "id": "sg:person.014467220755.58", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467220755.58"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e9 de Sherbrooke", 
          "id": "https://www.grid.ac/institutes/grid.86715.3d", 
          "name": [
            "Universit\u00e9 de Sherbrooke"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Giroux", 
        "givenName": "Sylvain", 
        "id": "sg:person.01140034726.32", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01140034726.32"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/j.pmcj.2009.04.001", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1002419569"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.apergo.2005.06.003", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018033390"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.apergo.2005.06.003", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018033390"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1125808.1125811", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025040359"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-04406-4_6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037996145", 
          "https://doi.org/10.1007/978-3-319-04406-4_6"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/505145.505149", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042862778"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/336512.336546", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050517061"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1046/j.1365-2648.2003.02781.x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053144514"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/52.663783", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061185827"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/jproc.2013.2262913", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061297811"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/surv.2013.042313.00197", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061446866"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tse.2002.1027801", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061788219"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1191/1352458506ms1233oa", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1064157370"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1191/1352458506ms1233oa", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1064157370"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1191/1352458506ms1233oa", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1064157370"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1077994995", 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/3011141.3011171", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1084695516"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1108/ijpcc-02-2017-0015", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1085663808"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2017", 
    "datePublishedReg": "2017-01-01", 
    "description": "Formal specifications are used to prove software correctness in a critical system. Ambient Assisted Living (AAL) technologies require unambiguous and precise requirements as they provide critical services for home monitoring. Several AAL technologies have already been designed using scenario-driven approach. But most of them do not precise how to ensure the correctness and conformity of the scenario related to end-user specifications. The multidisciplinary requirements brought by the design team and the assistance to the elderly need a rigorous mechanism for validating and specifying assistance scenarios. In this article, we propose a formal specification approach for scenario construction in the context of AAL technologies. We explain how to instantiate any scenario from the modeled specification, and give some results obtained by using the Alloy language and its validation module. We present a case study applied to nighttime wandering scenario.", 
    "editor": [
      {
        "familyName": "Ochoa", 
        "givenName": "Sergio F.", 
        "type": "Person"
      }, 
      {
        "familyName": "Singh", 
        "givenName": "Pritpal", 
        "type": "Person"
      }, 
      {
        "familyName": "Bravo", 
        "givenName": "Jos\u00e9", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-67585-5_51", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-67584-8", 
        "978-3-319-67585-5"
      ], 
      "name": "Ubiquitous Computing and Ambient Intelligence", 
      "type": "Book"
    }, 
    "name": "Formal Specification for Ambient Assisted Living Scenarios", 
    "pagination": "508-519", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-67585-5_51"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "40b8c8c29c0d58427516279e8b7ea2ac9d7661e436965dd7b363be2fa618184a"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1092113799"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-67585-5_51", 
      "https://app.dimensions.ai/details/publication/pub.1092113799"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T15:59", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8672_00000601.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-319-67585-5_51"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67585-5_51'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67585-5_51'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67585-5_51'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67585-5_51'


 

This table displays all metadata directly associated to this object as RDF triples.

148 TRIPLES      23 PREDICATES      42 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-67585-5_51 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Neaa6459aadf24e9ea11d79e2f7ae6679
4 schema:citation sg:pub.10.1007/978-3-319-04406-4_6
5 https://app.dimensions.ai/details/publication/pub.1077994995
6 https://doi.org/10.1016/j.apergo.2005.06.003
7 https://doi.org/10.1016/j.pmcj.2009.04.001
8 https://doi.org/10.1046/j.1365-2648.2003.02781.x
9 https://doi.org/10.1108/ijpcc-02-2017-0015
10 https://doi.org/10.1109/52.663783
11 https://doi.org/10.1109/jproc.2013.2262913
12 https://doi.org/10.1109/surv.2013.042313.00197
13 https://doi.org/10.1109/tse.2002.1027801
14 https://doi.org/10.1145/1125808.1125811
15 https://doi.org/10.1145/3011141.3011171
16 https://doi.org/10.1145/336512.336546
17 https://doi.org/10.1145/505145.505149
18 https://doi.org/10.1191/1352458506ms1233oa
19 schema:datePublished 2017
20 schema:datePublishedReg 2017-01-01
21 schema:description Formal specifications are used to prove software correctness in a critical system. Ambient Assisted Living (AAL) technologies require unambiguous and precise requirements as they provide critical services for home monitoring. Several AAL technologies have already been designed using scenario-driven approach. But most of them do not precise how to ensure the correctness and conformity of the scenario related to end-user specifications. The multidisciplinary requirements brought by the design team and the assistance to the elderly need a rigorous mechanism for validating and specifying assistance scenarios. In this article, we propose a formal specification approach for scenario construction in the context of AAL technologies. We explain how to instantiate any scenario from the modeled specification, and give some results obtained by using the Alloy language and its validation module. We present a case study applied to nighttime wandering scenario.
22 schema:editor Nc7123c35b8bb43f28827695eb28d7ac8
23 schema:genre chapter
24 schema:inLanguage en
25 schema:isAccessibleForFree false
26 schema:isPartOf Naea60475c6cc413da3a3c9724dbfd5f9
27 schema:name Formal Specification for Ambient Assisted Living Scenarios
28 schema:pagination 508-519
29 schema:productId N12d777cde606456d8c432e91c87289e1
30 N207061cb66ce4838a7c16542d20fc27d
31 N812dbe48afb7416d8f861a22e4282e2a
32 schema:publisher N4d06475b363c45d986063f907a75aa00
33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092113799
34 https://doi.org/10.1007/978-3-319-67585-5_51
35 schema:sdDatePublished 2019-04-15T15:59
36 schema:sdLicense https://scigraph.springernature.com/explorer/license/
37 schema:sdPublisher N0374ede0171e44dda69152001b5815a7
38 schema:url http://link.springer.com/10.1007/978-3-319-67585-5_51
39 sgo:license sg:explorer/license/
40 sgo:sdDataset chapters
41 rdf:type schema:Chapter
42 N0374ede0171e44dda69152001b5815a7 schema:name Springer Nature - SN SciGraph project
43 rdf:type schema:Organization
44 N111a9568360d4db5ab839a26e62a689f rdf:first Nb11771863dab40128a983f105127dc0d
45 rdf:rest Ndc17fe1be57b4d5788be390bf134d88d
46 N1161b7d6e8fc414da1ef74ba0e1d683e rdf:first sg:person.010775654400.72
47 rdf:rest N862dd85d1f2e4e6a9af0b1d7d12f6073
48 N12d777cde606456d8c432e91c87289e1 schema:name dimensions_id
49 schema:value pub.1092113799
50 rdf:type schema:PropertyValue
51 N1c74ba0d531a493686a53d11a5aa29cc rdf:first sg:person.0744660572.88
52 rdf:rest N1161b7d6e8fc414da1ef74ba0e1d683e
53 N207061cb66ce4838a7c16542d20fc27d schema:name doi
54 schema:value 10.1007/978-3-319-67585-5_51
55 rdf:type schema:PropertyValue
56 N4d06475b363c45d986063f907a75aa00 schema:location Cham
57 schema:name Springer International Publishing
58 rdf:type schema:Organisation
59 N77c834d1745643b5bd8522db3b7a75e2 schema:familyName Ochoa
60 schema:givenName Sergio F.
61 rdf:type schema:Person
62 N812dbe48afb7416d8f861a22e4282e2a schema:name readcube_id
63 schema:value 40b8c8c29c0d58427516279e8b7ea2ac9d7661e436965dd7b363be2fa618184a
64 rdf:type schema:PropertyValue
65 N862dd85d1f2e4e6a9af0b1d7d12f6073 rdf:first sg:person.014467220755.58
66 rdf:rest Nfb1c83d8e6984e1e93196e93e4f0181f
67 Naaec192ae2f247eaa92bbc953127ad39 schema:familyName Bravo
68 schema:givenName José
69 rdf:type schema:Person
70 Naea60475c6cc413da3a3c9724dbfd5f9 schema:isbn 978-3-319-67584-8
71 978-3-319-67585-5
72 schema:name Ubiquitous Computing and Ambient Intelligence
73 rdf:type schema:Book
74 Nb11771863dab40128a983f105127dc0d schema:familyName Singh
75 schema:givenName Pritpal
76 rdf:type schema:Person
77 Nc7123c35b8bb43f28827695eb28d7ac8 rdf:first N77c834d1745643b5bd8522db3b7a75e2
78 rdf:rest N111a9568360d4db5ab839a26e62a689f
79 Ndc17fe1be57b4d5788be390bf134d88d rdf:first Naaec192ae2f247eaa92bbc953127ad39
80 rdf:rest rdf:nil
81 Neaa6459aadf24e9ea11d79e2f7ae6679 rdf:first sg:person.013623525155.27
82 rdf:rest N1c74ba0d531a493686a53d11a5aa29cc
83 Nfb1c83d8e6984e1e93196e93e4f0181f rdf:first sg:person.01140034726.32
84 rdf:rest rdf:nil
85 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
86 schema:name Information and Computing Sciences
87 rdf:type schema:DefinedTerm
88 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
89 schema:name Computer Software
90 rdf:type schema:DefinedTerm
91 sg:person.010775654400.72 schema:affiliation https://www.grid.ac/institutes/grid.86715.3d
92 schema:familyName Frappier
93 schema:givenName Marc
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010775654400.72
95 rdf:type schema:Person
96 sg:person.01140034726.32 schema:affiliation https://www.grid.ac/institutes/grid.86715.3d
97 schema:familyName Giroux
98 schema:givenName Sylvain
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01140034726.32
100 rdf:type schema:Person
101 sg:person.013623525155.27 schema:affiliation https://www.grid.ac/institutes/grid.86715.3d
102 schema:familyName Ngankam
103 schema:givenName Hubert Kenfack
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013623525155.27
105 rdf:type schema:Person
106 sg:person.014467220755.58 schema:affiliation https://www.grid.ac/institutes/grid.86715.3d
107 schema:familyName Oliveira
108 schema:givenName Camila H.
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467220755.58
110 rdf:type schema:Person
111 sg:person.0744660572.88 schema:affiliation https://www.grid.ac/institutes/grid.86715.3d
112 schema:familyName Pigot
113 schema:givenName Hélène
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0744660572.88
115 rdf:type schema:Person
116 sg:pub.10.1007/978-3-319-04406-4_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037996145
117 https://doi.org/10.1007/978-3-319-04406-4_6
118 rdf:type schema:CreativeWork
119 https://app.dimensions.ai/details/publication/pub.1077994995 schema:CreativeWork
120 https://doi.org/10.1016/j.apergo.2005.06.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018033390
121 rdf:type schema:CreativeWork
122 https://doi.org/10.1016/j.pmcj.2009.04.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002419569
123 rdf:type schema:CreativeWork
124 https://doi.org/10.1046/j.1365-2648.2003.02781.x schema:sameAs https://app.dimensions.ai/details/publication/pub.1053144514
125 rdf:type schema:CreativeWork
126 https://doi.org/10.1108/ijpcc-02-2017-0015 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085663808
127 rdf:type schema:CreativeWork
128 https://doi.org/10.1109/52.663783 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061185827
129 rdf:type schema:CreativeWork
130 https://doi.org/10.1109/jproc.2013.2262913 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061297811
131 rdf:type schema:CreativeWork
132 https://doi.org/10.1109/surv.2013.042313.00197 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061446866
133 rdf:type schema:CreativeWork
134 https://doi.org/10.1109/tse.2002.1027801 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788219
135 rdf:type schema:CreativeWork
136 https://doi.org/10.1145/1125808.1125811 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025040359
137 rdf:type schema:CreativeWork
138 https://doi.org/10.1145/3011141.3011171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084695516
139 rdf:type schema:CreativeWork
140 https://doi.org/10.1145/336512.336546 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050517061
141 rdf:type schema:CreativeWork
142 https://doi.org/10.1145/505145.505149 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042862778
143 rdf:type schema:CreativeWork
144 https://doi.org/10.1191/1352458506ms1233oa schema:sameAs https://app.dimensions.ai/details/publication/pub.1064157370
145 rdf:type schema:CreativeWork
146 https://www.grid.ac/institutes/grid.86715.3d schema:alternateName Université de Sherbrooke
147 schema:name Université de Sherbrooke
148 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...