IEEE Consumer Electronics Magazine - May/June 2023 - 89

aspect of the RA. Stakeholder represents the purpose
of the RA and the overall system. C3: When is
itdefined?C3 refers to the timing aspect of the proposed
system.
G1: Which stage needs to be defined? Subdimension
G1 refers to the stage of the RA, and it
comprises standardization, facilitation, and incubation
stages. G1 involves C1 and C3. Moreover,
G2: Whose is defined? Subdimension G2 represents
the ownership and purpose of G. Therefore,
G involves possible outcomes of the
combinations of C1, C2, and C3.
M1: What is described? The M1 subdimension
refers to the contents of the RA. M2: In how much
detail is it described? The M2 subdimension
refers to the details of layers and components of
the M1 subdimensions. M3: How concretely is it
described? M3 lists the possible levels of abstraction
of RA. M4: How is it represented? The M4 subdimension
refers to the possible levels of
formalization and semantics of RA.
We prepare the main and subdimensional values
for C, G, andMfor the smart city as CSC, GSC,
andMSC, which refer to (1)-(3).
CSC
1
involves heterogeneous stakeholders;
therefore, it relates to heterogeneous among the
values of C1, which are single, many, and heterogeneous.
Moreover, requirement-specifying-user
and modeling-user may decide by heterogeneous
institutions; therefore, CSC
2 set heterogeneousorg
as shown in (1.a) and (1.b). In addition to
that, CSC
the RA that already exist, verified (classical) and
concept levels (preliminary)
CSC ¼½CSC
CSC
1 ;CSC
2 ;CSC
1 ¼ heterogeneous
CSC
½
(1.a)
2 ¼½req:-specifying-user :: heterogeneous-org;
modeling-user :: heterogeneous-org
(1.b)
MSC
CSC
(CSC
3 ½:
¼ hybrid
to CSC
3
refers to heterogeneous stakeholders
1 ) with works related to the incubation due
involved in hybrid intermediate results.
GSC
1
May/June 2023
(1.c)
2 ¼½Physical Layer : end-use cases;
Smart City ECB Layer :
ðÞ
DMC Layer
IoE ownership sublayer; Cross-chain sublayer
(30.b)
89
3
(1)
3 refers to hybrid, due to components in
Furthermore, G2 involves C1 and C2. GSC
1 and CSC
GSC ¼fGSC
2 .
2 refers
to (2.b) shown as multi-dimensional values due
to CSC
1 ;GSC
2 ; [ subgoalg
(2)
GSC
1 ¼ Stakeholder : hetero :: stage : incubation
GSC
½
(2.a)
2 ¼½Stakeholder : hetero : OwnedBy : req-spec-user;
Stakeholder : hetero :: OwnedBy : model:-user:
(2.b)
Next, (3) is prepared based on (1) and (2)
and smart city requirements. MSC
ponents, connectors, and information. MSC
describes the semidetailed manner. MSC
3
MSC ¼fMSC
MSC
MSC
MSC
4 is a semiformal abstract solution
1 ;MSC
2 ;MSC
3 ;MSC
4 g
1 involves com2
results
in
a semiconcrete solution. Therefore, the resultant
MSC
(3)
½
(3.a)
1 ¼ components; connectors; information flow
2 ½ (3.b)
¼ semidetailed
3 ½ (3.c)
¼ semiconcrete
MSC
4 ½:
¼ semiformal
(3.d)
Reasoning Abstract Model and Derives RA for
Smart City
This section derives RA for the smart city by
the reasoning abstraction model described in
the " Abstract Model for Smart City " section.
According to (1)-(3), we extended subdimensions
of MSC as shown in (30)
MSC
1 ¼½components; connectors & info flow
(30.a)
IEEE Consumer Electronics Magazine - May/June 2023

Table of Contents for the Digital Edition of IEEE Consumer Electronics Magazine - May/June 2023
