# 2. Computational Control Model

**ComBoox** adopts the "**state machine model**" to simulate and control the share transactions and corporate governance activities, specifically:

<details>

<summary><strong>2.1. States</strong></summary>

Information contents of the book-entry registers at each moment are deemed as different **states**, which will be stored in the smart contracts of **Registers** (such as **Register of Shares, Register of Members** and **Meeting Minutes** etc.).

</details>

<details>

<summary><strong>2.2. Transition Process</strong></summary>

Share transactions, corporate governance behaviors and other relevant legal actions are considered as the **transition process** between different **states** of the book-entry **Registers**, and which will be defined and controlled by the smart contracts of **Bookkeepers** with respect to the subject’s identity, action process, terms and conditions, and legal consequences thereof.

![](/files/t8GEOE8KEZ8ms0o8iWgc)

</details>

<details>

<summary><strong>2.3. Conditions and Process</strong></summary>

The corporate governance rules (such as voting rules, nomination rules and other rules stipulated in the bylaws or other similar company constitutional documents), as well as the shareholders' special rights (such as First Refusal, Tag-Along and Drag Along,  Anti-Dilution, Put Option and Call Option etc.) are deemed as the **rules, conditions and procedures** to be followed in the **transition process** between the different **states**, and which will be defined by the smart contract of **Shareholders Agreement** with respect to the values of **attributes, duration** or **determination thresholds** for the said rules or rights.  In runtime, **Shareholders Agreement** will timely answer the queries sent from **Bookkeepers** so as to provide parameters to automatically control the execution process of the legal behaviors concerned.

</details>

<details>

<summary><strong>2.4. Write Operation Scripts</strong></summary>

**Investment Agreement** can be deemed as a special script or batch file consisting of a series of write operation commands to cause the states transition of **Register of Shares**. And, the transaction factors defined in **Investment Agreement** as attributes of object **Deal** (such as subject equity, parties concerned, quantities and price etc.) can be deemed as input parameters (or specific trigger events) of the said write operations concerned, which will be executed by the relevant **Bookkeepers** automatically.

</details>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://comboox.gitbook.io/whitepaper-en/system-overview/2.-computational-control-model.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
