Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312578581> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4312578581 abstract "Smart building value-added capabilities are gaining significant attention from various stakeholders, including the general public, researchers, and industry. One such capability is well-being, a composition of multiple atomic capabilities that characterize a smart building. Atomic functions that compose a well-being capability include temperature, noise level, pollution level, and humidity, to name a few. Multiple efforts have addressed this specific capability and its composition requirements and techniques from standardization, technical, and quality of service aspects. One such effort is the IoT and CPS Composition Framework (ICCF), a novel framework for rapid modeling, specifying, verifying, and prototyping IoT and CPS capabilities. ICCF relies on the NIST CPS Framework guidelines to address different stakeholders' concerns; it also leverages composition semantics inspired by the mPlane platform to describe entities and interactions intuitively. In addition, it uses the Temporal Logic of Actions + (TLA+) formal verification techniques to verify the correctness of core functions. This work leverages the ICCF framework to provide the following contributions: i) description of a stakeholder-defined well-being composition capability based on the ICCF framework foundations, ii) an in-depth characterization of the well-being capability, iii) considerations regarding the formal aspects of the well-being capability, including verifying its correctness, deadlock, and state-space, iv) implementation of the composite capability using a lightweight microservices environment, v) discussion of results based on the different domains of interest including residential buildings and factories. Finally, a summary of this effort is provided, and challenges to capabilities composition as well as future plans for improvement are highlighted." @default.
- W4312578581 created "2023-01-05" @default.
- W4312578581 creator A5014069264 @default.
- W4312578581 creator A5026036015 @default.
- W4312578581 creator A5030652679 @default.
- W4312578581 creator A5072599324 @default.
- W4312578581 creator A5082239419 @default.
- W4312578581 date "2022-03-09" @default.
- W4312578581 modified "2023-09-28" @default.
- W4312578581 title "Well-being as a Composite Capability in the Smart Building Domain: A Formal and Technical Study" @default.
- W4312578581 cites W1056793151 @default.
- W4312578581 cites W1459074731 @default.
- W4312578581 cites W1973938051 @default.
- W4312578581 cites W1981743209 @default.
- W4312578581 cites W2118710041 @default.
- W4312578581 cites W2132421816 @default.
- W4312578581 cites W2507471794 @default.
- W4312578581 cites W2525234465 @default.
- W4312578581 cites W2568816818 @default.
- W4312578581 cites W2580435798 @default.
- W4312578581 cites W2617955583 @default.
- W4312578581 cites W2728685554 @default.
- W4312578581 cites W2734456796 @default.
- W4312578581 cites W2744362513 @default.
- W4312578581 cites W2749654269 @default.
- W4312578581 cites W2788308593 @default.
- W4312578581 cites W2789634591 @default.
- W4312578581 cites W2810184601 @default.
- W4312578581 cites W2886782832 @default.
- W4312578581 cites W2891969665 @default.
- W4312578581 cites W2912761558 @default.
- W4312578581 cites W2963685033 @default.
- W4312578581 cites W2964608647 @default.
- W4312578581 cites W2971743981 @default.
- W4312578581 cites W2999025912 @default.
- W4312578581 cites W3010311303 @default.
- W4312578581 cites W3157674805 @default.
- W4312578581 cites W3171574726 @default.
- W4312578581 cites W3201388778 @default.
- W4312578581 cites W3203484264 @default.
- W4312578581 cites W4248748589 @default.
- W4312578581 cites W961571867 @default.
- W4312578581 doi "https://doi.org/10.1109/e-tems53558.2022.9944422" @default.
- W4312578581 hasPublicationYear "2022" @default.
- W4312578581 type Work @default.
- W4312578581 citedByCount "1" @default.
- W4312578581 countsByYear W43125785812023 @default.
- W4312578581 crossrefType "proceedings-article" @default.
- W4312578581 hasAuthorship W4312578581A5014069264 @default.
- W4312578581 hasAuthorship W4312578581A5026036015 @default.
- W4312578581 hasAuthorship W4312578581A5030652679 @default.
- W4312578581 hasAuthorship W4312578581A5072599324 @default.
- W4312578581 hasAuthorship W4312578581A5082239419 @default.
- W4312578581 hasConcept C111498074 @default.
- W4312578581 hasConcept C111919701 @default.
- W4312578581 hasConcept C115903868 @default.
- W4312578581 hasConcept C127413603 @default.
- W4312578581 hasConcept C188087704 @default.
- W4312578581 hasConcept C199360897 @default.
- W4312578581 hasConcept C201995342 @default.
- W4312578581 hasConcept C2778505942 @default.
- W4312578581 hasConcept C41008148 @default.
- W4312578581 hasConcept C55439883 @default.
- W4312578581 hasConcept C79974875 @default.
- W4312578581 hasConceptScore W4312578581C111498074 @default.
- W4312578581 hasConceptScore W4312578581C111919701 @default.
- W4312578581 hasConceptScore W4312578581C115903868 @default.
- W4312578581 hasConceptScore W4312578581C127413603 @default.
- W4312578581 hasConceptScore W4312578581C188087704 @default.
- W4312578581 hasConceptScore W4312578581C199360897 @default.
- W4312578581 hasConceptScore W4312578581C201995342 @default.
- W4312578581 hasConceptScore W4312578581C2778505942 @default.
- W4312578581 hasConceptScore W4312578581C41008148 @default.
- W4312578581 hasConceptScore W4312578581C55439883 @default.
- W4312578581 hasConceptScore W4312578581C79974875 @default.
- W4312578581 hasLocation W43125785811 @default.
- W4312578581 hasOpenAccess W4312578581 @default.
- W4312578581 hasPrimaryLocation W43125785811 @default.
- W4312578581 hasRelatedWork W1408846873 @default.
- W4312578581 hasRelatedWork W1483254119 @default.
- W4312578581 hasRelatedWork W1485135523 @default.
- W4312578581 hasRelatedWork W1556422878 @default.
- W4312578581 hasRelatedWork W1614816533 @default.
- W4312578581 hasRelatedWork W2142070420 @default.
- W4312578581 hasRelatedWork W2564062731 @default.
- W4312578581 hasRelatedWork W3091728393 @default.
- W4312578581 hasRelatedWork W3095449116 @default.
- W4312578581 hasRelatedWork W3096661979 @default.
- W4312578581 isParatext "false" @default.
- W4312578581 isRetracted "false" @default.
- W4312578581 workType "article" @default.