Maude-help mailing list

["Bettaz, Mohamed" <bettamoh AT fit.cvut.cz>]

Hello,

I am quite new user of Maude.

I am trying a very simple example.

Here is the example:

The execution gives the  error "bad token".

Could you please advise?

Thank you.

Best regards,

Mohamed Bettaz

Faculty of Information Technology

Czech Technical University in Prague

Czech Republic

WhatsApp: +420 736 285 790

Below is the example:

fmod BPMN-SIGNATURE is

sorts Event Gateway Activity Concept .

subsorts Event Gateway Activity < Concept .

op __ : Concept Concept -> Concept [assoc comm id: null] .

op null : -> Concept .

op undefined : -> Concept .

op a1: -> Activity  .

op a2: -> Activity  .

op a3: -> Activity  .

op a4: -> Activity  .

op s : -> Event  .

op e : -> Event  .

op p1 : -> Gateway .

op p2 : -> Gateway  .

endfm

mod BPMN is

including BPMN-SIGNATURE .

rl [s-a1] : s => a1 .

rl [a1-p1] : a1 => p1 .

rl [c1-a2-a3] : p1 => a2 a3 .

rl [a2-a3-p2] : a2 a3 => p2 .

rl [p2-a4] : p2 => a4 .

rl [a4-e] : a4 => e .

endm

The execution:

 Maude 3.2

             Copyright 1997-2022 SRI International

                   Mon Jun  9 08:36:02 2025

Maude> load bpmn_signature.maude

Maude> load bpmn.maude

Warning: "bpmn.maude", line 3 (mod BPMN): bad token a1.

Warning: "bpmn.maude", line 3 (mod BPMN): no parse for statement

rl [s-a1] : s => a1 .

Warning: "bpmn.maude", line 4 (mod BPMN): bad token a1.

Warning: "bpmn.maude", line 4 (mod BPMN): no parse for statement

rl [a1-p1] : a1 => p1 .

Warning: "bpmn.maude", line 5 (mod BPMN): bad token a2.

Warning: "bpmn.maude", line 5 (mod BPMN): no parse for statement

rl [c1-a2-a3] : p1 => a2 a3 .

Warning: "bpmn.maude", line 6 (mod BPMN): bad token a2.

Warning: "bpmn.maude", line 6 (mod BPMN): no parse for statement

rl [a2-a3-p2] : a2 a3 => p2 .

Warning: "bpmn.maude", line 7 (mod BPMN): bad token a4.

Warning: "bpmn.maude", line 7 (mod BPMN): no parse for statement

rl [p2-a4] : p2 => a4 .

Warning: "bpmn.maude", line 8 (mod BPMN): bad token a4.

Warning: "bpmn.maude", line 8 (mod BPMN): no parse for statement

rl [a4-e] : a4 => e .

Maude>