<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Models and Practice: Action Rules in a DEMO-Based Low-Code Platform</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Vítor Freitas</string-name>
          <email>vitor.freitas@staff.uma.pt</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>David Aveiro</string-name>
          <email>daveiro@staff.uma.pt</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Duarte Pinto</string-name>
          <email>duarte.nuno@arditi.pt</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>ARDITI - Regional Agency for the Development of Research, Technology and Innovation</institution>
          ,
          <addr-line>9020-105 Funchal</addr-line>
          ,
          <country country="PT">Portugal</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Doctoral Consortium, Business Case and Tool Forum</institution>
          ,
          <addr-line>Workshops</addr-line>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Faculty of Exact Sciences and Engineering, University of Madeira</institution>
          ,
          <addr-line>Caminho da Penteada 9020-105 Funchal</addr-line>
          ,
          <country country="PT">Portugal</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>NOVA-LINCS, Universidade NOVA de Lisboa</institution>
          ,
          <addr-line>Campus da Caparica, 2829-516 Caparica</addr-line>
          ,
          <country country="PT">Portugal</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2026</year>
      </pub-date>
      <abstract>
        <p>Municipalities face rising demands for transparency and eficiency while still relying on legacy systems that are hard to adapt to new regulations. Low-code/no-code platforms promise relief but often lack theoretical grounding, leading to fragmented solutions. This paper presents the Dynamic Information System Modeller and Executor (DISME), a DEMO-based low-code/no-code platform that executes organizational models directly at runtime. DISME is being applied in the Smart Islands Hub project's Test-Before-Invest services, with a pilot implementation of the Municipality Hearings Process (MHP). We show how DISME parametrizes roles, transactions, entities, and user interactions, and highlight the role of Action Rules in defining executable business logic such as agenda slot generation and hearing rescheduling. A usability study with municipal staf confirmed the value of adaptive user interfaces designed with the GenderMag framework. The case study demonstrates three main contributions: (i) the feasibility of executable DEMO models in practice, (ii) the expressiveness of extended Action Rules, and (iii) the added value of adaptive UIs. Together, these results advance executable enterprise modelling and provide practical insights for digital transformation in public administration.</p>
      </abstract>
      <kwd-group>
        <kwd>low-code</kwd>
        <kwd>no-code</kwd>
        <kwd>enterprise engineering</kwd>
        <kwd>DEMO</kwd>
        <kwd>action rules</kwd>
        <kwd>information systems</kwd>
        <kwd>modelling</kwd>
        <kwd>UX</kwd>
        <kwd>gendermag</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>Municipalities and other public organizations are under constant pressure to be more transparent,
more eficient, and to keep citizens satisfied, while at the same time dealing with legacy systems and
complicated regulations. One of the recurring problems is how to turn the way organizations actually
work into digital systems that support them. Traditional software development has a hard time with
this: systems often end up too rigid, and every time a law or policy changes, a round of expensive
adjustments follows.</p>
      <p>
        Low-code/no-code platforms (LCPs) have been introduced as one way to deal with this. They
ofer visual environments where domain experts can create functional applications with minimal
programming knowledge. The promise is faster results, less dependency on IT specialists, and more
lfexibility when things change. But most platforms still build on simplified workflows or ad-hoc models.
Without a solid foundation, they tend to create fragmented solutions that do not really capture how an
organization works as a whole [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
      </p>
      <p>
        The Design and Engineering Methodology for Organizations (DEMO) [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] tries to solve this by
giving a way to describe organizations in terms of actors, transactions, facts, and rules. The method is
clear and formal, which makes it useful as a basis for executable models. However, at the same time,
DEMO’s oficial Action Rule Specification is seen as unnecessarily complex and dificult to apply in
practice, which makes it hard to use efectively.
      </p>
      <p>CEUR
Workshop</p>
      <p>ISSN1613-0073</p>
      <p>
        In this paper we present the Dynamic Information System Modeller and Executor (DISME)
[
        <xref ref-type="bibr" rid="ref3 ref4">3, 4</xref>
        ], a DEMO-based low-code/no-code platform that can run DEMO models directly. We use it on a
concrete case, the Hearings Management Process of a municipality, to show how models can be
turned into a working system without generating code. The novelty of our contribution lies in three
aspects: first, we extend the DEMO Action Rule Syntax into a form that is both easier to use and more
expressive, implemented through a block-based interface and a formal EBNF grammar; second, we
demonstrate the parametrization of a complex public administration process into a running system that
operates via direct runtime interpretation, thereby eliminating the need for code generation; and third,
we evaluate the resulting system, including adaptive user interfaces designed with the GenderMag
framework [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] to support diferent cognitive styles.
      </p>
      <p>By combining the DEMO theory with practical tools, our work contributes to advancing the state of
the art in executable modelling and low-code development, while also supporting digital transformation
in the public sector. The rest of the paper is structured as follows: Section 2 provides background on
DEMO and the DISME platform; Section 3 outlines the research context and methodology; Section 4
details the case study, followed by a deep dive into its Action Rule design in Section 5; Section 6 presents
the user experience evaluation; Section 7 discusses results; and Section 8 concludes the paper.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Background and Related Work</title>
      <sec id="sec-2-1">
        <title>2.1. Enterprise Modelling and DEMO</title>
        <p>
          Enterprise modelling has always tried to close the gap between business requirements and information
systems. Diferent notations have been used for this, such as BPMN 1, UML2, and ArchiMate 3. They
help describe processes and rules, but often fall short: some lack ontological precision, others fail to
capture the full organizational perspective [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ].
        </p>
        <p>
          DEMO [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ] takes a diferent approach by ofering a formal, ontologically grounded framework that
models the essence of an organization through four interconnected models [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. The Construction Model
(CM) defines actor roles and the transactions they carry out, while the Process Model (PM) captures the
conditions and causal relations that guide how these transactions unfold. The Fact Model (FM) serves
as the semantic layer, specifying object classes and the facts that describe the state of the organization.
Finally, the Action Model (AM) specifies the business rules that shape how actors behave at each step
of a transaction [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ].
        </p>
        <p>
          This layered view highlights the essence of organizations while staying independent of technology
[
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. It also guarantees consistency across models. The main dificulty lies in the Action Rule
Specifications (ARS). They have long been seen as too complex and sometimes ambiguous, which discourages
practitioners from using them in real projects [
          <xref ref-type="bibr" rid="ref7 ref8 ref9">7, 8, 9</xref>
          ].
        </p>
      </sec>
      <sec id="sec-2-2">
        <title>2.2. DISME: A DEMO-based Low-Code Platform</title>
        <p>
          DISME (Dynamic Information System Modeller and Executor) [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] was built to tackle that problem.
It is an open-source, web-based low-code/no-code platform that makes DEMO models executable by
combining the formal rigor of DEMO with the usability of drag-and-drop environments. Its architecture
has two main parts. The first is the System Modeller, a design-time environment where domain experts
can define and configure processes, transactions, roles, and entities. It includes a block-based Action
Rules editor built on Google Blockly4, a form manager (Form.io5) for user interfaces, and modules for
REST API integration [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ] and dynamic queries. The goal is to make complex system design accessible
without programming [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]. The second part is the System Executor, a runtime engine that interprets
1https://www.omg.org/spec/BPMN/
2http://www.uml.org/
3https://www.archimatetool.com/
4https://github.com/google/blockly
5https://form.io/
models directly without code generation. Any change in business logic or data structures appears
immediately, following the Adaptive Object Model (AOM) pattern [
          <xref ref-type="bibr" rid="ref11 ref12">11, 12</xref>
          ], which supports continuous
and dynamic adaptation of the system [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ].
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>2.3. Limitations of Current Approaches</title>
        <p>
          Well-known low-code/no-code platforms include Mendix 6, OutSystems 7, and PowerApps 8. They
are powerful, but most depend on code generation pipelines and lack the semantic foundation of
enterprise modelling. When enterprise models are mapped into such tools, manual adjustments are
usually required. This often leads to semantic loss or repetitive detailing work [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ].
        </p>
        <p>
          Our approach difers fundamentally by allowing direct execution of ontologically-grounded DEMO
models with an extended, executable Action Rule grammar. The result is a system where the
organizational model remains the single authoritative specification. Additionally, usability enhancements such
as adaptive interfaces (informed by the GenderMag framework) [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] address another common limitation
of LCPs: the lack of cognitive adaptability and inclusivity for non-technical users [
          <xref ref-type="bibr" rid="ref13 ref14">13, 14</xref>
          ].
        </p>
        <p>While other process-modelling standards such as BPMN or DMN focus on procedural and decision
logic, DISME—grounded in DEMO—captures the underlying actor commitments and organizational
transactions that define business reality. This distinction positions DISME as a complementary rather
than competing approach: it emphasizes semantic integrity and direct executability over syntactic
workflow representation. In the future, lightweight interoperability through data exchange or semantic
mappings could allow DEMO-based executable models to coexist with mainstream process-management
environments while preserving their ontological foundation.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Case Study: Municipality Hearings Process</title>
      <p>This platform is being used in the context of the Smart Islands Hub’s Test-Before-Invest services. To
illustrate the paper, we use the example of the Municipality Hearings Process (MHP), a pilot project
currently underway in this context. The MHP represents a typical citizen-facing workflow with multiple
actors and complex scheduling, and in many municipalities such processes are still managed manually
or through outdated systems. This situation often results in ineficiencies, duplicated efort, and a lack
of transparency for the people involved. As part of the pilot, we have already conducted a user study
on the MHP to evaluate the platform in practice.</p>
      <p>The MHP’s main Hearings Management process can be described in five main stages:
1. Citizen Request: A citizen asks for a hearing at the service desk. The clerk checks the request
against the rules (for example, making sure it is not a duplicate or filed too recently).
2. Assignment of Oficer : The clerk identifies the oficer best suited for the case. In some cases
the oficer, or their assistant, must give explicit approval before a hearing can be scheduled.
3. Scheduling: Once approved, the hearing is placed in the oficer’s agenda. The citizen then
receives an oficial confirmation by their chosen notification method.
4. Rescheduling or Cancellation: Either the citizen or the oficer may request changes.
5. Execution and Completion: The hearing takes place, notes are recorded, and the case is closed.</p>
      <p>In addition to these steps, clerks often need to print daily agendas, check a citizen’s hearing history,
or generate various notifications.</p>
      <p>
        We modelled the MHP using DISME’s adapted versions of the DEMO Process and Fact Model
representations [
        <xref ref-type="bibr" rid="ref15">15, 16</xref>
        ]. These notations aim to keep the formal semantics but present them in a way
that is easier for non-specialists to follow. Two diagrams are central here [
        <xref ref-type="bibr" rid="ref4">4, 17</xref>
        ]: the Process Structure
Diagram (PSD), which combines aspects of the Construction and Process Models to show tasks and
6https://www.mendix.com/
7https://www.outsystems.com
8https://www.microsoft.com/en-us/power-platform/products/power-apps
their coordination [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ], and the Concepts and Relationships Diagram (CRD), which provides a
clear view of entities such as Citizen, Hearing Oficer , Agenda Block, Agenda Slot, and Hearing, along
with their main attributes and relations [16]. Due to space limitations, a more detailed version of these
diagrams is provided in the Zenodo annex [18] (Process_Fact_Model_Annex.pdf), with some illustrative
ifgures from the MHP case study.
      </p>
      <p>Although DISME can represent the full MHP, in this paper we focus on the Action Rules that
drive system behaviour. These rules govern the creation and editing of citizens and oficers, the
automatic generation of oficer agenda slots, the scheduling of hearings with or without explicit oficer
authorization, and finally, the completion and rescheduling of hearings.</p>
      <p>Among them, the Rescheduling Hearing rule stands out as the most complex. It coordinates several
validations and updates at once. This rule is a good example of how Action Rules capture organizational
logic beyond a simple workflow, embedding business semantics directly into the executable model.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Parametrization in DISME</title>
      <p>The strength of the DISME platform lies in its ability to translate organizational specifications into
executable artifacts without requiring traditional programming. This is achieved through a parametrization
layer where roles, entities, processes, transactions, and forms are defined in accordance with DEMO. In
the case of the Municipality Hearings Process (MHP), the parametrization made sure that all relevant
elements of the process were captured and could run directly in the system’s executor.</p>
      <sec id="sec-4-1">
        <title>4.1. Roles and Users</title>
        <p>The first step in parametrization was defining the roles involved in the hearings process. For the MHP
we identified: Clerks — frontline staf responsible for receiving requests, validating them, and interacting
with citizens; Hearing Oficers — councilors, directors, or designated experts who conduct hearings;
Assistants — staf members who support hearing oficers, often responsible for agenda management;
and Citizens — requesters of hearings, represented as external actors but included in the system for
completeness.</p>
        <p>Roles were then linked to individual users within the municipality, determining permissions across
the system functions. This mapping ensured that each task in the workflow was tied to the appropriate
human responsibility, thus operationalizing the Construction Model (CM).</p>
      </sec>
      <sec id="sec-4-2">
        <title>4.2. Processes and Transactions</title>
        <p>Building on the defined roles and thinking about the latter specified entities, the next step was to
parameterize the processes and transactions that constitute the MHP workflow. DISME allows each
transaction type to be associated with an initiating role, an executing role, and a business process it
belongs to. For the MHP we specified the following processes and transactions:
• Citizen Management Process: Create Citizen and Edit Citizen transactions.
• Oficer Management Process : Create Hearing Officer and Edit Hearing Officer
transactions.
• Hearing Oficial’s Agenda Management Process : Create Agenda Block transaction, which
automatically generates a series of finer-grained agenda slots.
• Hearing Management Process: Create Hearing, Schedule Hearing with Pending
Authorization, and Complete Hearing transactions. These cover the initial request,
conditional scheduling (where oficer approval is required), and finalization.
• Rescheduling Hearing Process: Reschedule Hearing transaction, which is the most complex,
managing cancellations, slot reallocations, and notifications.</p>
        <p>By associating transactions with their corresponding processes and roles, DISME provided a mapping
between the organization’s procedures and the implemented workflows, thereby operationalizing the
Process Model (PM).</p>
      </sec>
      <sec id="sec-4-3">
        <title>4.3. Entities</title>
        <p>Entities in DISME correspond to the concepts of the DEMO Fact Model, serving as the backbone of
the information structure. For the MHP, we parametrized several entities. The Citizen entity includes
attributes such as name, fiscal number, contact details, and status. The Hearing Oficer represents
municipal staf with attributes such as area of expertise, section, and hearing location. The Agenda
Block captures a block of availability for a hearing oficer, including start and end dates, weekdays,
and time duration, from which the Agenda Slot entity is automatically generated to represent specific
bookable times. The Hearing entity encapsulates the request, the assigned oficer, the scheduled slot,
the subject, and any observations. Finally, the Rescheduling entity records the details of a rescheduling
event, including the source (citizen or oficer), the previous and new agenda slots, and the means of
notification.</p>
        <p>These entities are connected in the Concepts and Relationships Diagram (CRD), ensuring that
dependencies (e.g., a Hearing entity requiring both a Citizen and a Hearing Oficer) are made more
explicit.</p>
      </sec>
      <sec id="sec-4-4">
        <title>4.4. Forms and User Interfaces</title>
        <p>Forms are mostly where end-users interact with the system. In DISME the ordering is important:
modellers first define processes, transactions, entities and their properties; then they create Action Rules
that express the behaviour for those transactions. Only when an Action Rule contains an action that
requires user input (for example, Create Instance or Update Instance actions) does the modeller
need to design a form.</p>
        <p>Form authoring is performed using DISME’s Form.io-based editor, which provides a WYSIWYG
environment for placing fields, panels, tabs and other layout elements. Field definitions derive from the
Fact Model properties that the Action Rule references, but the link between a form and a transaction is
established explicitly at the Action Rule level: a form becomes part of a task when the rule references it.
Validation and presentation logic can be split between the form editor (such as additional tooltips) and
the Action Rule (conditional checks, cross-field validation, and other options implemented via Blockly).</p>
        <p>This explicit, rule-driven form association ensures that the UI is only presented when behaviour
requires it, and that validations and business logic remain expressed in the Action Rules rather than
implicitly assumed by the parametrization.</p>
        <p>After defining each task’s action and business rules—which may themselves include the display of
forms for user input—we used DISME’s Form.io-based editor to create a set of customized forms. These
included forms for citizen registration and editing, with field validations for mandatory attributes, and
for hearing oficer registration and editing, capturing both personal and organizational details. We
also designed forms for agenda definition, where oficers specify availability periods, and for hearing
requests, where clerks can indicate the responsible oficer and other case-specific data. In addition,
hearings that require explicit oficer approval are supported through appointment forms with pending
authorisation. To complete the workflow, we developed forms for hearing completion reports, enabling
oficers to record outcomes, and for hearing rescheduling, allowing either the citizen or the oficer
involved to request and manage a change to a scheduled hearing.</p>
        <p>These forms were dynamically linked to the entities and transactions defined earlier, ensuring that
data integrity and business validations (expressed in the Action Rules) stayed consistent.</p>
      </sec>
      <sec id="sec-4-5">
        <title>4.5. Runtime Interpretation</title>
        <p>DISME runs everything at runtime — no compilation, no code generation. When an Action Rule points
to a form, the system shows it immediately in the runtime dashboard. Field-level validators handle
initial checks, while more elaborate business validations and conditional flows are evaluated by the
interpreter.</p>
        <p>From an execution-semantics perspective, each Action Rule is parsed into an internal execution tree
that the runtime engine evaluates step by step. The interpreter resolves context variables, evaluates
conditional branches, and triggers entity or form actions as defined by the rule. Unlike typical low-code
platforms that compile models into generated source code, DISME keeps the organizational model as the
single executable specification, ensuring that every model change is immediately reflected in the running
system and keeping implementation perfectly synchronized with the organizational specification, which
enables fast feedback loops and continuous alignment between design and operation.</p>
        <p>For the municipality case, this approach allowed clerks and oficers to test a working version of the
hearings system as soon as parametrization was done, accelerating the feedback cycle.</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>5. Action Rules: Defining System Behavior</title>
      <p>The core of the MHP in DISME is the set of Action Rules (ARs). These rules define what the system does
at each step of a transaction. They are created using a visual, Blockly-based editor, so the organization’s
business logic can be translated directly into something the system can run. This approach removes the
need for coding and makes the system behavior clear and changeable by domain experts. Below, we
walk through the key ARs that make the MHP work, showing how DISME’s extended AR syntax [17]
handles everything from simple entity creation to complex rescheduling.</p>
      <sec id="sec-5-1">
        <title>5.1. Creating and Editing Citizens and Hearing Oficers</title>
        <p>The foundation of the MHP involves managing the main entities: Citizens and Hearing Oficers. The
Create Citizen and Create Hearing Oficial ARs (Figure 1) are triggered when these transactions are
executed. They use the create instance action. The form fact blocks inside this action define the fields
that will appear in the user-facing form, with each field typed and optionally marked as mandatory.
Validation conditions enforce business constraints like minimum name length, proper email formatting,
or other entity-specific rules. At runtime, when the form is submitted, a new entity instance is created
in the system’s database.</p>
        <p>Editing existing entities is similar. The Edit Citizen and Edit Hearing Oficial rules use the update
instance action. The system presents a form pre-filled with the entity’s current data, lets the user make
changes, and saves them back into the system. These editing actions ensure that firstly the correct
entity is selected based on the process and transaction context, preserving data consistency.</p>
      </sec>
      <sec id="sec-5-2">
        <title>5.2. Hearing Oficers’ Agenda Block and Slot Creation</title>
        <p>Scheduling hearings requires oficers to define blocks of availability, from which individual slots are
generated automatically. The Create Hearing Oficer’s Agenda Block AR (Figure 2) handles this
in two stages. First, a create instance action captures the parameters of the Agenda Block, including
start and end dates, recurring weekdays, and the duration of each hearing. Second, the create schedule
slots action, an innovative extension in our AR grammar, automatically generates individual Agenda
Slot instances based on the block parameters. An additional feature, assign slot additional fact, allows
setting default values for each slot — such as State = free — along with other optional - non-essential for
the agenda slots creation - properties.</p>
      </sec>
      <sec id="sec-5-3">
        <title>5.3. Creating - and Scheduling - a Hearing</title>
        <p>The Create Hearing AR (Figure 3) is more complex, as it combines context variables, queries, conditional
lfows, and state updates across multiple entities. A set context variable block stores the selected Hearing
Oficer for reuse throughout the AR. A subsequent query populates the Agenda Slot form field with
only free slots for that oficer, provided that the oficer does not need to explicitly authorise these
appointments in advance. Finally, if a slot is selected, an update instance action changes its state from
free to busy, but only when the hearing has been directly scheduled — meaning no explicit oficer
approval was required and an Agenda Slot was actually chosen.</p>
        <p>The Hearing Appointment with Pending Authorisation rule (Figure 4) handles cases where
explicit approval is needed. The AR first selects a pending hearing, then updates the selected oficer’s
free agenda slot and sets the Hearing’s State to Scheduled. A second update instance action sets the
Agenda Slot’s state to busy. This shows how multiple dependent actions can be chained in a single AR
to reflect organizational rules. The Hearing Completion rule (not shown) updates the Hearing’s State
to Performed and allows the clerk to add final general and restricted observations, oficially finishing
the process.</p>
      </sec>
      <sec id="sec-5-4">
        <title>5.4. Rescheduling a Hearing</title>
        <p>The Reschedule Hearing AR (see Zenodo annex [18], Figures S1, S2 and S3) is the most complex in
the MHP, handling the full logic of moving an appointment. It begins by gathering context, storing
the source of the rescheduling request — whether from a citizen or an oficer — in a context variable
(Figure S1 in Zenodo annex [18]). Next, an if/then/else block guides the system along diferent paths
depending on the source. The system prompts the user to select the relevant hearing, using a query
ifltered by citizen or oficer to ensure that only valid appointments are shown (Figure S1 in Zenodo
annex [18]). Once the hearing is selected, a new Hearing Rescheduling instance is created to log the
details of the event, including the reason for the change, the previous slot, and the newly chosen slot.
Some of this data is taken from the context variables set previously, to avoid definition repetition, while
the rest is provided by the user (Figure S2 in Zenodo annex [18]). Finally, three update instance actions
manage the states: the original Agenda Slot is reset to free, the new Agenda Slot is set to busy, and the
Hearing is linked to the newly selected Agenda Slot (Figures S2 and S3 in Zenodo annex [18]).</p>
        <p>This AR illustrates how DISME can handle complex transactions involving multiple entities (Hearing,
Agenda Slot, Hearing Rescheduling), conditional logic, and coordinated state changes, all within a single
visual, directly executable model.</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>6. User Interface and Usability</title>
      <p>Besides running models, DISME also deals with a common problem in low-code platforms: making the
system usable for people who are not technical [19, 20]. To do this, it includes adaptive user interfaces
based on the GenderMag framework. The GenderMag framework provides a systematic method to
assess and design software for inclusivity by analyzing cognitive styles represented through personas.
These personas difer in motivation, information-processing style, and risk aversion, helping identify
where interfaces may inadvertently favor or hinder certain user approaches [21]. For instance, the
Abi persona is careful, detail-focused, and risk-averse, while the Tim persona is more exploratory and
goal-driven, with less need for guidance. In DISME, this framework informed the design of adaptive
interface variants tailored to diferent working styles by adjusting things like guidance, form layout, and
help text depending on these styles. Due to space limitations, the Zenodo annex [18] (Forms_Annex.pdf)
provides a detailed set of forms, comprising illustrative examples and persona-dependent variants.</p>
      <sec id="sec-6-1">
        <title>6.1. Adaptive User Interfaces</title>
        <p>
          Instead of ofering a one-size-fits-all solution, DISME supports the selection of diferent interface
variants. For hearings scheduling, agenda management, or rescheduling, one user might prefer a
wizard-like step-by-step guide, while another prefers a compact form with an overview. By linking
these options to GenderMag [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] personas, the platform supports diferent working styles in a way that
feels more natural and inclusive.
        </p>
      </sec>
      <sec id="sec-6-2">
        <title>6.2. Usability Evaluation</title>
        <p>We conducted a usability study with 23 municipal employees to evaluate how well the adaptive interfaces
supported realistic hearing scheduling tasks. The study compared two adaptive versions of DISME,
labelled Version A and Version B.</p>
        <p>Both versions achieved excellent usability, with mean System Usability Scale (SUS) scores above 85%,
confirming that participants found the system highly usable. Workload ratings on the NASA-TLX scale
averaged around 34%, indicating a low perceived efort during task execution. Task-success rates were
moderate, at roughly 60%, which is consistent with expectations for complex administrative processes
and shows that most participants could complete the main workflows independently. Although Version B
scored slightly higher, the diference was not statistically significant, suggesting both variants performed
consistently well..</p>
        <p>Employees who used an interface aligned with their preferred cognitive style reported lower perceived
cognitive workload, suggesting that tailoring the UI to individual thinking patterns can improve
eficiency and reduce frustration. In addition, qualitative feedback highlighted the clarity of the forms,
the logical flow of the tasks, and the simplicity of the overall user experience, demonstrating that the
underlying complexity of the DEMO model was efectively hidden from end-users. The full results of
this study are still being analyzed and will be submitted to a journal for publication.</p>
        <p>These results suggest that human-centered design makes a real diference in DISME. Adaptive
user interfaces are not just cosmetic; they help people work more eficiently and feel included. For
municipalities, this increases the chance that a low-code system, like DISME, will be accepted and used
in daily practice in public administration.</p>
      </sec>
    </sec>
    <sec id="sec-7">
      <title>7. Discussion, Conclusion and Future Work</title>
      <p>The case study shows that the Municipality Hearings Process can be captured and run in a DEMO-based
low-code platform. A few points stood out.</p>
      <p>We were able to model the entire process — registration, scheduling, cancellations, and rescheduling
— inside DISME without writing any code. Even though the process involves several functions and
complex logic and conditional steps, it could all be represented directly. This suggests that processes
with multiple actors and intricate coordination rules can work in a low-code/no-code setting if the
platform is built on a solid methodology like DEMO.</p>
      <p>Action Rules were really at the heart of the modelling of the hearings process. They handle validations,
conditional flows, slot generation, and updates across multiple entities. This shows that the DEMO
Action Model can be turned into something practically usable and expressive. Compared to typical
low-code workflow languages, Action Rules let one spell out organizational logic directly, without
needing technically complex and additional implementation details.</p>
      <p>The usability study confirms that adaptive interfaces help municipal staf, with diferent ways of
thinking, interact with the system. Many low-code platforms focus only on modeling eficiency, but
the user side is often ignored. Considering cognitive diversity in DISME helps connect the model to
everyday practice and makes the system more approachable for all users.</p>
      <p>There are still some limitations to keep in mind. While the Action Rule editor is powerful, new users
need training if they aren’t familiar with model-driven concepts. Scaling up to larger departments with
hundreds of oficers and thousands of citizens has not yet been tested. Additionally, the evaluation so
far has focused only on short-term usability, so it remains unknown how DISME will perform in daily,
long-term use.</p>
      <p>In this paper, we showed how the Dynamic Information System Modeller and Executor (DISME) can be
used to model and run a Municipality Hearings Process. Built on DEMO, DISME allows organizational
models to be executed directly, reducing the gap between design and implementation. The case study
covered the full parametrization of a citizen-facing process and highlighted how Action Rules serve as
executable business logic.</p>
      <p>Our contributions can be summarized in three main points. First, we demonstrated that a
DEMObased low-code/no-code platform can fully operationalize a real-world complex public administration
process. Second, we applied the extended DEMO Action Rules Specifications into an executable and
expressive form, enabling advanced behaviors such as automatic agenda slot creation and hearing
rescheduling. Third, we confirm that adaptive user interfaces can improve usability and inclusiveness
for municipal staf, helping a diverse range of users interact efectively with the system.</p>
      <p>Looking ahead, there are several directions for future work. One is to apply DISME in other domains,
such as healthcare, licensing, or education, to test how well it generalizes. Another is to extend the
Action Rule editor with semantic validation and recommendation features, potentially leveraging
artificial intelligence to suggest rules or detect anomalies. Finally, we plan to explore collaborative
modelling features, allowing multiple users to co-design and refine organizational models in real time.</p>
    </sec>
    <sec id="sec-8">
      <title>Declaration on Generative AI</title>
      <p>During the preparation of this work, the author(s) used ChatGPT and Grammarly for grammar and
spelling check, paraphrasing and rewording. After using these tools/services, author(s) reviewed and
edited the content as needed and take(s) full responsibility for the publication’s content.
[16] B. Gouveia, D. Aveiro, D. Pacheco, D. Pinto, D. Gouveia, Fact Model in DEMO - Urban Law Case
and Proposal of Representation Improvements, in: D. Aveiro, G. Guizzardi, R. Pergl, H. A. Proper
(Eds.), Advances in Enterprise Engineering XIV, Lecture Notes in Business Information Processing,
Springer International Publishing, Cham, 2021, pp. 173–190. doi:10.1007/978-3-030-74196-9_
10.
[17] D. Aveiro, V. Freitas, D. Pinto, V. Caires, D. Pacheco, Extending DEMO Action Rule
Specifications’ Syntax in a Low Code Platform Based Municipality Hearing System Implementation:, in:
Proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge
Engineering and Knowledge Management, SCITEPRESS - Science and Technology Publications,
Porto, Portugal, 2024, pp. 243–251. URL: https://www.scitepress.org/DigitalLibrary/Link.aspx?
doi=10.5220/0013068800003838. doi:10.5220/0013068800003838.
[18] V. Freitas, D. Aveiro, D. Pinto, Annex to: Bridging models and practice: Action rules in a demo-based
low-code platform, 2025. URL: https://doi.org/10.5281/zenodo.17591315. doi:10.5281/zenodo.
17591315.
[19] M. Bexiga, S. Garbatov, J. C. Seco, Closing the gap between designers and developers in a low code
ecosystem, in: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven
Engineering Languages and Systems: Companion Proceedings, MODELS ’20, Association for
Computing Machinery, New York, NY, USA, 2020, pp. 1–10. URL: https://dl.acm.org/doi/10.1145/
3417990.3420195. doi:10.1145/3417990.3420195.
[20] J. Pacheco, S. Garbatov, M. Goulão, Improving Collaboration Eficiency Between UX/UI Designers
and Developers in a Low-Code Platform, in: 2021 ACM/IEEE International Conference on Model
Driven Engineering Languages and Systems Companion (MODELS-C), 2021, pp. 138–147. URL:
https://ieeexplore.ieee.org/document/9643662. doi:10.1109/MODELS-C53483.2021.00025.
[21] E. Murphy-Hill, A. Elizondo, A. Murillo, M. Harbach, B. Vasilescu, D. Carlson, F. Dessloch,
Gendermag improves discoverability in the field, especially for women: An multi-year case study
of suggest edit, a code review feature, in: Proceedings of the IEEE/ACM 46th International
Conference on Software Engineering, 2024, pp. 1–12.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>M. R.</given-names>
            <surname>Krouwel</surname>
          </string-name>
          ,
          <article-title>On the design of enterprise ontology-driven software development</article-title>
          , Maastricht University, Maastricht,
          <year>2023</year>
          . doi:
          <volume>10</volume>
          .26481/dis.20231103mk.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>J. L. G.</given-names>
            <surname>Dietz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H. B. F.</given-names>
            <surname>Mulder</surname>
          </string-name>
          , The DEMO Methodology, in: J. L. G. Dietz,
          <string-name>
            <given-names>H. B. F.</given-names>
            <surname>Mulder</surname>
          </string-name>
          (Eds.), Enterprise Ontology:
          <article-title>A Human-Centric Approach to Understanding the Essence of Organisation</article-title>
          , Springer International Publishing, Cham,
          <year>2024</year>
          , pp.
          <fpage>267</fpage>
          -
          <lpage>306</lpage>
          . URL: https://doi.org/10.1007/ 978-3-
          <fpage>031</fpage>
          -53361-7. doi:
          <volume>10</volume>
          .1007/978- 3-
          <fpage>031</fpage>
          - 53361- 7_
          <fpage>12</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>V.</given-names>
            <surname>Freitas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Pinto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Caires</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Tadeu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Aveiro</surname>
          </string-name>
          ,
          <article-title>The DISME low-code platform - from simple diagram creation to system execution</article-title>
          , in: S. Guerreiro,
          <string-name>
            <given-names>C.</given-names>
            <surname>Grifo</surname>
          </string-name>
          , M. Jacob (Eds.),
          <source>Proceedings of the 22nd CIAO! Doctoral Consortium, and Enterprise Engineering Working Conference Forum</source>
          <year>2022</year>
          , volume
          <volume>3388</volume>
          <source>of CEUR Workshop Proceedings</source>
          , CEUR, November,
          <year>2022</year>
          . URL: https://ceur-ws.
          <source>org/</source>
          Vol-
          <volume>3388</volume>
          /paper4.pdf, iSSN:
          <fpage>1613</fpage>
          -
          <lpage>0073</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>D.</given-names>
            <surname>Aveiro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Freitas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Pinto</surname>
          </string-name>
          ,
          <article-title>Disme: A demo based model-driven low-code/no-code platform</article-title>
          ,
          <source>in: 27th International Conference on Business Informatics - CBI Paralell Tracks (workshops, Forum</source>
          , Tools Demo, etc.), LNBIP Series Springer International Publishing, Forthcoming,
          <year>2025</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>M.</given-names>
            <surname>Burnett</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Stumpf</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Macbeth</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Makri</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Beckwith</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Kwan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Peters</surname>
          </string-name>
          , W. Jernigan,
          <article-title>GenderMag: A Method for Evaluating Software's Gender Inclusiveness</article-title>
          ,
          <source>Interacting with Computers</source>
          <volume>28</volume>
          (
          <year>2016</year>
          )
          <fpage>760</fpage>
          -
          <lpage>787</lpage>
          . URL: https://doi.org/10.1093/iwc/iwv046. doi:
          <volume>10</volume>
          .1093/iwc/iwv046.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>M.</given-names>
            <surname>Krouwel</surname>
          </string-name>
          , M. Op 't Land, H. Proper,
          <article-title>From enterprise models to low-code applications: mapping demo to mendix; illustrated in the social housing domain</article-title>
          ,
          <source>Software and Systems Modeling</source>
          (
          <year>2024</year>
          )
          <fpage>1</fpage>
          -
          <lpage>28</lpage>
          . doi:
          <volume>10</volume>
          .1007/s10270- 024- 01156- 2.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>J. L. G.</given-names>
            <surname>Dietz</surname>
          </string-name>
          ,
          <source>DEMO Specification Language 4.7</source>
          .2 - Enterprise Engineering Institute,
          <year>2022</year>
          . URL: https://ee-institute.org/download/demo-specification-language/.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>D.</given-names>
            <surname>Aveiro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Freitas</surname>
          </string-name>
          ,
          <article-title>A new action meta-model and grammar for a demo based low-code platform rules processing engine</article-title>
          , in: Advances in Enterprise Engineering XVI, Springer Nature Switzerland, Cham,
          <year>2023</year>
          , pp.
          <fpage>33</fpage>
          -
          <lpage>52</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>A.</given-names>
            <surname>Perinforma</surname>
          </string-name>
          ,
          <source>The Essence of Organisation: An</source>
          Introduction to Enterprise Engineering, Sapio Enterprise Engineering,
          <year>2015</year>
          . URL: https://books.google.pt/books?id=XtyEAQAACAAJ.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>D.</given-names>
            <surname>Aveiro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Caires</surname>
          </string-name>
          ,
          <article-title>DEMO Model based Rapid REST API Management in a low code platform</article-title>
          ,
          <source>Proceedings of the 22nd CIAO! Doctoral Consortium, and Enterprise Engineering Working Conference Forum</source>
          <year>2022</year>
          co
          <article-title>-located with 12th Enterprise Engineering Working Conference (EEWC</article-title>
          <year>2022</year>
          )
          <volume>3388</volume>
          (
          <year>2022</year>
          ). URL: https://ceur-ws.
          <source>org/</source>
          Vol-
          <volume>3388</volume>
          /paper2.pdf.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>J. W.</given-names>
            <surname>Yoder</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Balaguer</surname>
          </string-name>
          , R. Johnson,
          <article-title>Architecture and design of adaptive object-models</article-title>
          ,
          <source>ACM SIGPLAN Notices</source>
          <volume>36</volume>
          (
          <year>2001</year>
          )
          <fpage>50</fpage>
          -
          <lpage>60</lpage>
          . URL: https://doi.org/10.1145/583960.583966. doi:
          <volume>10</volume>
          .1145/583960. 583966.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>J. W.</given-names>
            <surname>Yoder</surname>
          </string-name>
          , R. Johnson,
          <article-title>The adaptive object‑model architectural style</article-title>
          , in: J.
          <string-name>
            <surname>Bosch</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Gentleman</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          <string-name>
            <surname>Hofmeister</surname>
          </string-name>
          , J. Kuusela (Eds.),
          <source>Software Architecture: System Design, Development and Maintenance</source>
          , IFIP - The
          <source>International Federation for Information Processing</source>
          ,
          <string-name>
            <surname>Springer</surname>
            <given-names>US</given-names>
          </string-name>
          , Boston, MA, USA,
          <year>2002</year>
          , pp.
          <fpage>3</fpage>
          -
          <lpage>27</lpage>
          . URL: https://link.springer.com/chapter/10.1007/978-0-
          <fpage>387</fpage>
          -35607-
          <issue>5</issue>
          _1. doi:
          <volume>10</volume>
          .1007/978- 0-
          <fpage>387</fpage>
          - 35607-
          <issue>5</issue>
          _
          <fpage>1</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>S.</given-names>
            <surname>Käss</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Strahringer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Westner</surname>
          </string-name>
          ,
          <article-title>Drivers and inhibitors of low code development platform adoption</article-title>
          ,
          <source>in: 2022 IEEE 24th Conference on Business Informatics (CBI)</source>
          , volume
          <volume>01</volume>
          ,
          <year>2022</year>
          , pp.
          <fpage>196</fpage>
          -
          <lpage>205</lpage>
          . doi:
          <volume>10</volume>
          .1109/CBI54897.
          <year>2022</year>
          .
          <volume>00028</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>D.</given-names>
            <surname>Pinho</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Aguiar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Amaral</surname>
          </string-name>
          ,
          <article-title>What about the usability in low-code platforms? A systematic literature review</article-title>
          ,
          <source>Journal of Computer Languages</source>
          <volume>74</volume>
          (
          <year>2023</year>
          )
          <article-title>101185</article-title>
          . URL: https://www.sciencedirect. com/science/article/pii/S259011842200082X. doi:
          <volume>10</volume>
          .1016/j.cola.
          <year>2022</year>
          .
          <volume>101185</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>D.</given-names>
            <surname>Pinto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Aveiro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Pacheco</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Gouveia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Gouveia</surname>
          </string-name>
          ,
          <article-title>Validation of DEMO's Conciseness Quality and Proposal of Improvements to the Process Model</article-title>
          , in: D.
          <string-name>
            <surname>Aveiro</surname>
            , G. Guizzardi,
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Pergl</surname>
            ,
            <given-names>H. A.</given-names>
          </string-name>
          <string-name>
            <surname>Proper</surname>
          </string-name>
          (Eds.),
          <source>Advances in Enterprise Engineering XIV, Lecture Notes in Business Information Processing</source>
          , Springer International Publishing, Cham,
          <year>2021</year>
          , pp.
          <fpage>133</fpage>
          -
          <lpage>152</lpage>
          . doi:
          <volume>10</volume>
          .1007/978- 3-
          <fpage>030</fpage>
          - 74196-
          <issue>9</issue>
          _
          <fpage>8</fpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>