FT: FormalTalk ERP/1 Compiler

FormalTalk is the LEEX/YECC front-end to DSL of BPE, FORM and KVS programming -- the core libraries of ERP.UNO State Enterprise open-source stack.

FT is the FormalTalk ERP.UNO compiler that compiles BPE and FORM modules defined in FormalTalk language to BEAM byte-code that is accessible from Erlang and Elixir environments. The type system of FormalTalk in essense is an Erlang AST type system along with record set from ERP.UNO schema.

The main purpose of FormalTalk is to provide an ability to reconfiguration of processes and forms used in products: MIA:Документообіг, МІА:Зброя, МІА:Закупівлі, МІА:Провадження and others. This text format is also used as intermediary language for business designer.

$ mix deps.get
$ iex -S mix
> :ft.console []
FormalTalk: ERP.UNO Compiler © ДП «ІНФОТЕХ» 3.2.2

   Usage := :ft.console [ cmds ]
    args := <empty> | <word> args
    cmds := <empty> | command args
 command := parse | lex | read | fst | snd | load | file

 Sample: :ft.console ['snd','load','priv/erp.uno/form/input.form']

KVS module sample:

module person kvs
import location
import organization
record Person
begin id = seq 10 : term
    | cn = [] : [] + binary
    | name = [] : [] + binary
    | displayName = [] : [] + binary
    | location = [] : ERP.Loc
    | hours = 0 : integer
    | type = [] : term end

> :ft.console ['parse','file','priv/kvs/person.kvs' ]
{:ok,
 {:module, {:name, "person"}, {:kvs, 1},
  [
    {:import, {:name, "location"}},
    {:import, {:name, "organization"}},
    {:record, {:name, "Person"}, {:args, []},
     [
       decl: {:field, "id", ["seq", "10"], {:type, ["term"]}},
       decl: {:field, "cn", ["[]"], {:type, ["[]", "binary"]}},
       decl: {:field, "name", ["[]"], {:type, ["[]", "binary"]}},
       decl: {:field, "displayName", ["[]"], {:type, ["[]", "binary"]}},
       decl: {:field, "location", ["[]"], {:type, ["ERP.Loc"]}},
       decl: {:field, "hours", ["0"], {:type, ["integer"]}},
       decl: {:field, "type", ["[]"], {:type, ["term"]}}
     ]}
  ]}}

FORM module sample:

module inputForm form

event id begin ERP.inputOrder end

form new name doc:ERP.inputOrder options
begin pid = options.pid
    | user = options.user
    | regBind = orgPath user
    | pid = options.pid
    | corrOpt = options
    | corrOpt.postback = postback
    | corrOpt.required = true
    | coorOpt = dict
    | coorOpt.users = doc.coordination
    | document "inputOrder" name
    [ butOk title postback { postback :inputOrder doc.id pid }
    | butCancel "Скасувати" postback { :cancel postback :inputOrder doc.id pid }
    | butTemplate "Шаблон" postback { :templates :create :inputOrder } on postback=:create ]
    [ project comboLookup "Відхилено з коментарем"
    | urgent bool "Терміново" required
    | id string "Номер документа"
    | seq_id string "Унікальний номер"
    | to comboLookupVec "Первинний розгляд" CRM.Forms.Person regBind
    | nomenclature comboLookup "Номенклатура" CRM.Forms.DeedCat "/crm/deeds"
    | document_type string "Вид документа"
    | signed string "Підписав"
    | generic corr controlTask corrOpt
    | date calendar "Дата документа"
    | dueDate calendar "Термін виконання" min=:erlang.date() default=FormatDate.add_days(29)
    | note textarea "Примітка"
    | add_sheets number "К-ть аркушів додатків"
    | bizTask_initiator comboLookupVec CRM.Forms.Person "/acc"
    | modified_by comboLookupVec CRM.Forms.Person "/acc"
    | registered_by comboLookup "Реєстратор" required CRM.Forms.Person regBind default=user
    | generic topic controlTask corrOpt
    | generic coordination doc.coordination ] end

> :ft.console ['parse','file','priv/form/input.form' ]
{:ok,
 {:module, "inputForm", :form,
  [
    {:event, {:name, "id"}, [], [decl: {:call, ["ERP.inputOrder"]}]},
    {:form, {:name, "new"}, {:args, ["name", "doc:ERP.inputOrder", "options"]},
     [
       decl: {:assign, "pid", {:args, ["options.pid"]}},
       decl: {:assign, "user", {:args, ["options.user"]}},
       decl: {:assign, "regBind", {:args, ["orgPath", "user"]}},
       decl: {:assign, "pid", {:args, ["options.pid"]}},
       decl: {:assign, "corrOpt", {:args, ["options"]}},
       decl: {:assign, "corrOpt.postback", {:args, ["postback"]}},
       decl: {:assign, "corrOpt.required", {:args, ["true"]}},
       decl: {:assign, "coorOpt", {:args, ["dict"]}},
       decl: {:assign, "coorOpt.users", {:args, ["doc.coordination"]}},
       decl: {:document, "\"inputOrder\"", "name",
        {:buttons,
         [
           {:button, "butOk", "title",
            ["{", "postback", ":inputOrder", "doc.id", "pid", "}"]},
           {:button, "butCancel", "Скасувати",
            ["{", ":cancel", "postback", ":inputOrder", "doc.id", "pid", "}"]},
           {:button, "butTemplate", "Шаблон",
            ["{", ":templates", ":create", ":inputOrder", "}", "on",
             "postback=:create"]}
         ]},
        {:fields,
         [
           {:field, "project", "comboLookup",
            ["Відхилено з коментарем"]},
           {:field, "urgent", "bool", ["Терміново", "required"]},
           {:field, "id", "string", ["Номер документа"]},
           {:field, "seq_id", "string", ["Унікальний номер"]},
           {:field, "to", "comboLookupVec",
            ["Первинний розгляд", "CRM.Forms.Person", "regBind"]},
           {:field, "nomenclature", "comboLookup",
            ["Номенклатура", "CRM.Forms.DeedCat", "/crm/deeds"]},
           {:field, "document_type", "string", ["Вид документа"]},
           {:field, "signed", "string", ["Підписав"]},
           {:field, "generic", "corr", ["controlTask", "corrOpt"]},
           {:field, "date", "calendar", ["Дата документа"]},
           {:field, "dueDate", "calendar",
            ["Термін виконання", "min=:erlang.date()",
             "default=FormatDate.add_days(29)"]},
           {:field, "note", "textarea", ["Примітка"]},
           {:field, "add_sheets", "number",
            ["К-ть аркушів додатків"]},
           {:field, "bizTask_initiator", "comboLookupVec",
            ["CRM.Forms.Person", "/acc"]},
           {:field, "modified_by", "comboLookupVec",
            ["CRM.Forms.Person", "/acc"]},
           {:field, "registered_by", "comboLookup",
            ["Реєстратор", ...]},
           {:field, "generic", "topic", [...]},
           {:field, "generic", "coordination", ...}
         ]}}
     ]}
  ]}}

BPE module sample:

module input bpe

event action broadcastEvent begin result [ ] proc stop end
event action messageEvent process userStarted=system begin result [ ] proc stop end
event action messageEvent payload={next,*} begin output.bpe.action msg proc end
event action messageEvent name=DocumentStatistics payload=payload
begin call personal_stat proc.id executed payload | result [ ] proc stop end

event action messageEvent name=RemoveDocumentStatistics payload=payload
begin call remove_personal_stat proc.id executed payload | result [ ] proc stop end

event action messageEvent name=Implementation
begin doc = proc.docs.hd | doc.project = call projAction execute doc.project msg.payload []
    | proc.docs = [doc] | result [ next { proc.id } ] proc reply end

event action messageEvent name=Executed
begin result [ generate_history { executed proc.id msg.sender.id proc.docs.hd }
               spawn Elixir.History | next { proc.id } ] proc reply end

event action request to=Archive
begin newDoc = proc.docs.hd | newProc = proc | newProc.docs = [newDoc]
    | unindexUrgent proc newDoc | newState = call actionGen req proc newProc
    | result [ general req newState newDoc | stop ] newState reply proc.executors end

route routeTo
begin (Cr,R):R,[] | (R,gwND):O,R | (gwND,Det):D,[] | (*,InC):A,To
    | (gwC,I):A,To,toExecutors | (*,G):G,[];P,M | (*,A):A,[] end

{:event, {:name, "action"}, {:args, ["request", "to=gwRejected"]},
  [
    decl: {:assign, "newProc",{:args, ["call", "actionGen", "req", "proc", "proc"]}},
    decl: {:result,
      [
        cont: ["general", "req", "newPproc", "newDoc"],
        cont: ["next", "proc.id"]
      ], {:args, ["newProc", "reply", "proc.executors"]}}
  ]},
{:route, {:name, "routeTo"}, [],
  [
    decl: {:call, ["(Cr,R):R,[]"]},
    decl: {:call, ["(R,gwND):O,R"]},
    decl: {:call, ["(gwND,Det):D,[]"]},
    decl: {:call, ["(*,InC):A,To"]},
    decl: {:call, ["(gwC,I):A,To,toExecutors"]},
    decl: {:call, ["(*,G):G,[];P,M"]},
    decl: {:call, ["(*,A):A,[]"]}
  ]},

Mentions

• 2023-02-01 FormalTalk: Synrc ERP/1 Compiler
• 2023-03-06 Salesforce Apex vs Synrc FormalTalk

Credits

• Максим Сохацький