Programmable Messaging for Electronic Government - Building a Foundation - Formal Methods and Hybrid Real-Time Systems - page 220

1. Submission - This phase involves: submitting an application form and sup-
porting documents by the applicant through the government portal, and
forwarding the request to the licensing agency. The submission of support-
ing documents may involve several sessions. Supporting documents may in-
clude: location plans; technical plans for water, sewage and fire prevention;
declaration of responsibility by project engineer; and the insurance policy.
2. Completeness Assessment - This phase comprises: checking completeness of
the application form and supporting documents, and notifying the applicant
about missing documents, if any.
3. Evaluation - This phase involves: requesting an opinion from the Labour
Bureau LE about labour situation; requesting an opinion about infrastructure
from the Public Works Bureau PW ; requesting building inspection to check
the state of fire prevention from the Fire Brigade FB ; requesting an opinion
about heritage preservation from the Cultural Bureau CA ; and requesting an
inspection to check sanitary conditions from the Health Bureau HB .Once
the requests are sent, the process waits to receive all replies. The replies
may include requests to coordinate inspections onsite with the applicant,
particularly from FB and HB . LG follows up by: coordinating inspection dates
and notifying FB and HB about the agreed dates. After both inspections are
carried out, LG collects the remaining opinions from FB and HB .
4. Decision-making - This phase involves deciding by the agency authority
about issuing or rejecting the application based on the opinions obtained.
5. Fol low-up - The final phase includes notifying the applicant about the deci-
sion and upon positive outcome: issuing the license; informing the applicant
about collection of the license; and providing the license to the applicant.

Figure 1 depicts the overall process, as described above. The process also
illustrates how the applicant can track the progress of its application. Each time
a tracking request is issued, LG notifies the applicant about the current status.

4 Programmable Messaging - Foundations

This section presents a fragment of a foundation for the software infrastructure
enabling programmable messaging for Electronic Government. The foundation
comprises models at various levels of abstraction, from state and state-changing
operations, through messages, members and channels, to message exchange car-
ried out by members over channels.
The rest of the section is organized as follows. Section 4.1 presents a model
to underpin subsequent behavioural models, leading to the definition of a state.
Section 4.2 presents a set of generic state-changing operations, including expres-
sions to represent such operations syntactically, and their semantics. Section 4.3
defines the structure of messages using the state model in Section 4.1, while Sec-
tions 4.4 and 4.5 define member- and channel-related operations using the syntax
of state-changing operations in Section 4.2. The final Section 4.6 defines the oper-
ations for members to exchange messages along channels. The foundation is still
under development, and the current section represents work in progress.