AS_CSP_CASL.hs revision 2b4130336e941b7d01c78a6da55449a4c6eca609
ccb84c1cb43fb0ed70c5bf2d364e671820473ed5Francisc Nicolae BungiuModule : $Header$
734257b9ea9fcaa18d4e3627f54f5295a99aa1f7Felix Gabriel ManceCopyright : (c) Daniel Pratsch and Uni Bremen 2002-2003
ccb84c1cb43fb0ed70c5bf2d364e671820473ed5Francisc Nicolae BungiuLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
ccb84c1cb43fb0ed70c5bf2d364e671820473ed5Francisc Nicolae BungiuMaintainer : hets@tzi.de
ccb84c1cb43fb0ed70c5bf2d364e671820473ed5Francisc Nicolae BungiuStability : provisional
ccb84c1cb43fb0ed70c5bf2d364e671820473ed5Francisc Nicolae BungiuPortability : portable
ccb84c1cb43fb0ed70c5bf2d364e671820473ed5Francisc Nicolae Bungiuabstract syntax of CSP-CASL
ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1Felix Gabriel Mance----------------------------------------------------------------------------
5180a08007989fd364622fc9bc01f82141643f7bFelix Gabriel Mance-- Specifications
ccb84c1cb43fb0ed70c5bf2d364e671820473ed5Francisc Nicolae Bungiu----------------------------------------------------------------------------
12078a24d49ba36b83cda9d07c8e8a480c493fe8Felix Gabriel Mancedata C3PO = Named_c3po NAMED_CSP_CASL_C_SPEC
734257b9ea9fcaa18d4e3627f54f5295a99aa1f7Felix Gabriel Mance | C3po CSP_CASL_C_SPEC
c038fcf2030a6cfac7a261dee48a9eb29edb78eaFelix Gabriel Mance deriving (Show,Eq)
0be7a9c012366ada63d587898a15c551b499b76dFelix Gabriel Mancedata NAMED_CSP_CASL_C_SPEC = Named_csp_casl_spec SPEC_NAME CSP_CASL_C_SPEC
3b15ba1ffa9a23ca14f3882d1390abddfc494009Felix Gabriel Mance deriving (Show,Eq)
0be7a9c012366ada63d587898a15c551b499b76dFelix Gabriel Mancetype SPEC_NAME = SIMPLE_ID
e5dc5119231bdeb5c604f7709e0fa197fd2c4829Felix Gabriel Mancedata CSP_CASL_C_SPEC = Csp_casl_c_spec DATA_DEFN CHANNEL_DECL PROCESS_DEFN
0be7a9c012366ada63d587898a15c551b499b76dFelix Gabriel Mance deriving (Show,Eq)
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mancedata Basic_CSP_CASL_C_SPEC = Basic_csp_casl_c_spec CHANNEL_DECL PROCESS_DEFN
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mance deriving (Show,Eq)
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mance----------------------------------------------------------------------------
12078a24d49ba36b83cda9d07c8e8a480c493fe8Felix Gabriel Mance-- DATA, CHANNEL & PROCESS Def.
12078a24d49ba36b83cda9d07c8e8a480c493fe8Felix Gabriel Mance----------------------------------------------------------------------------
12078a24d49ba36b83cda9d07c8e8a480c493fe8Felix Gabriel Mancetype DATA_DEFN = BASIC_SPEC -- will become a structured spec later
12078a24d49ba36b83cda9d07c8e8a480c493fe8Felix Gabriel Mancedata CHANNEL_DECL = Channel_items [CHANNEL_ITEM]
12078a24d49ba36b83cda9d07c8e8a480c493fe8Felix Gabriel Mance deriving (Show,Eq)
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mancedata CHANNEL_ITEM = Channel_decl [CHANNEL_NAME] SORT
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mance deriving (Show,Eq)
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mancetype CHANNEL_NAME = SIMPLE_ID
3e0eb79b52a3078a12531efc3f66d0d94fd9938dFelix Gabriel Mancetype PROCESS_NAME = SIMPLE_ID
3e0eb79b52a3078a12531efc3f66d0d94fd9938dFelix Gabriel Mancedata PROCESS_DEFN = Basic PROCESS
3e0eb79b52a3078a12531efc3f66d0d94fd9938dFelix Gabriel Mance | Recursive [PROCESS_EQUATION] NAMED_PROCESS
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mance | Generic_recursive [PROCESS_EQUATION] GEN_NAMED_PROCESS
3e0eb79b52a3078a12531efc3f66d0d94fd9938dFelix Gabriel Mance deriving (Show,Eq)
9c3f6477a95da46a907326206673b4a5c2164164Felix Gabriel Mancedata NAMED_PROCESS = Named PROCESS_NAME
316ef492799cd45fea0f5c26932f49adddfda3f7Felix Gabriel Mance deriving (Show,Eq)
31a5ba51cd6d24e28a23abf64ce4043a45eabbefFelix Gabriel Mancedata GEN_NAMED_PROCESS = Generic_named PROCESS_NAME (TERM ())
30e9cf458094e5970bc06be667558961c2eccff4Felix Gabriel Mance deriving (Show,Eq)
316ef492799cd45fea0f5c26932f49adddfda3f7Felix Gabriel Mancedata GENERIC_EQUATION = Generic PROCESS_NAME VAR EVENT_SET
316ef492799cd45fea0f5c26932f49adddfda3f7Felix Gabriel Mance deriving (Show,Eq)
316ef492799cd45fea0f5c26932f49adddfda3f7Felix Gabriel Mancedata PROCESS_EQUATION = Equation NAMED_PROCESS PROCESS
31a5ba51cd6d24e28a23abf64ce4043a45eabbefFelix Gabriel Mance | Generic_equation GENERIC_EQUATION PROCESS
0be7a9c012366ada63d587898a15c551b499b76dFelix Gabriel Mance deriving (Show,Eq)
e5e3f128bbd44dd393e1038718038bd323f5e415Felix Gabriel Mancedata PROCESS = Named_process NAMED_PROCESS
e5e3f128bbd44dd393e1038718038bd323f5e415Felix Gabriel Mance | Generic_named_process GEN_NAMED_PROCESS
e5e3f128bbd44dd393e1038718038bd323f5e415Felix Gabriel Mance | Prefix EVENT PROCESS
e5e3f128bbd44dd393e1038718038bd323f5e415Felix Gabriel Mance | Multiple_prefix VAR EVENT_SET PROCESS
734257b9ea9fcaa18d4e3627f54f5295a99aa1f7Felix Gabriel Mance | Sequential [PROCESS]
31a5ba51cd6d24e28a23abf64ce4043a45eabbefFelix Gabriel Mance | External_choice [PROCESS]
3e0eb79b52a3078a12531efc3f66d0d94fd9938dFelix Gabriel Mance | Internal_choice [PROCESS]
e5ea4eeaeefd3521ae3475719e18c96cf91637d5Felix Gabriel Mance | Alphabet_parallel PROCESS EVENT_SET PROCESS
15d62726781e67fe6458fbcf0a8c46832a7bb8daFelix Gabriel Mance | General_parallel PROCESS EVENT_SET EVENT_SET PROCESS
15d62726781e67fe6458fbcf0a8c46832a7bb8daFelix Gabriel Mance | Synchronous_parallel [PROCESS]
e5e3f128bbd44dd393e1038718038bd323f5e415Felix Gabriel Mance | Interleaving_parallel [PROCESS]
dda7065c0c0f383558d7d4e8072969c8c41a8ed7Francisc Nicolae Bungiu | Hiding PROCESS EVENT_SET
15d62726781e67fe6458fbcf0a8c46832a7bb8daFelix Gabriel Mance | Csp_sort_renaming PROCESS SORT_RENAMING
e5ea4eeaeefd3521ae3475719e18c96cf91637d5Felix Gabriel Mance | Csp_channel_renaming PROCESS CHANNEL_RENAMING
e5ea4eeaeefd3521ae3475719e18c96cf91637d5Felix Gabriel Mance | Conditional_process (FORMULA ()) PROCESS
dda7065c0c0f383558d7d4e8072969c8c41a8ed7Francisc Nicolae Bungiu | Conditional_choice (FORMULA ()) PROCESS PROCESS
734257b9ea9fcaa18d4e3627f54f5295a99aa1f7Felix Gabriel Mance | Guarded_command (FORMULA ()) PROCESS
1f9274bb2aa44ea236327814dce99946be52e348Felix Gabriel Mance | Channel_parallel PROCESS CHANNEL_NAME CHANNEL_NAME PROCESS
c4076ff1721f8901a30e4b7aa004479ecb2631e0Felix Gabriel Mance deriving (Show,Eq)
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mancedata EVENT_SET = Event_set SORT
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance deriving (Show,Eq)
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mancedata SORT_RENAMING = Op_list [OP_NAME]
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance deriving (Show,Eq)
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mancedata CHANNEL_RENAMING = Channel_renaming CHANNEL_NAME CHANNEL_NAME
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance deriving (Show,Eq)
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mancedata EVENT = Term (TERM ())
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance | Send CHANNEL_NAME (TERM ())
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance | Receive CHANNEL_NAME VAR SORT
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance deriving (Show,Eq)
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance--data CSP_RENAMING = PRED_NAME
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance--data CSP_RENAMING = SORT_RENAMING
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance-- | CHANNEL_RENAMING
02c522d7af110fcad567e3db59f444185ad2c22eFelix Gabriel Mance-- deriving (Show,Eq)