Difference between pages "Tasklist for EventB meta model development" and "Template:L event"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Colin
 
imported>Mathieu
m (New page: <noinclude> ==Usage== Template use to typeset an event name in an event-b listing. ==Example== {{l_machine|AntiCollide}} {{l_refines|Safety}} {{l_sees|Network}} {{l_component|Acyclic}} {{...)
 
Line 1: Line 1:
{| cellpadding="5" cellspacing="0" border="1"
+
<noinclude>
!What
+
==Usage==
!Who
+
Template use to typeset an event name in an event-b listing.
!When
+
==Example==
|-
+
 
|Input for deliverable on wiki
+
{{l_machine|AntiCollide}}
|C, F
+
{{l_refines|Safety}}
|Friday, 12th Dec
+
{{l_sees|Network}}
|-
+
{{l_component|Acyclic}}
|Basic documentation on wiki-WIP
+
{{l_variables|v1}}
|A, C, F
+
{{l_variable|v2}}
|January 2009
+
{{l_invariants}}
|-
+
{{l_invariant|inv1|v2 ∈ BOOL}}
|Text tools (partitially)
+
{{l_theorems}}
|F
+
{{l_theorem|inv1|v2 ∈ BOOL}}
|January 2009
+
{{l_events}}
|-
+
{{l_event|control|extended|ordinary}}
|Presentation for tooling meeting
+
{{l_parameters}}
|A
+
{{l_param|a}}
|January (end) 2009
+
{{l_param|x|y|z}}
|-
+
{{l_guards}}
|Investigate EMF Compare
+
{{l_guard|grd1|x ⊆ next}}
|A
+
{{l_witnesses}}
|March 2009
+
{{l_witness|y|y=v}}
|-
+
{{l_actions}}
|Implement persistence API
+
{{l_action|act1|pro :∈ BOOL}}
|C,F
+
{{l_end_event}}
|May 2009
+
{{l_end}}
|-
+
 
|Finalize EMF model
+
[[Category:Listing templates]]
|C, F
+
==Template==
|June 2009
+
</noinclude><!--
|-
+
--><div class="typeset-l_event" >{{{1}}}&nbsp;≙</div>{{comment|{{{2|not extended}}} and {{3|no convergence}}}}
|Detailed documentation
 
|C, F
 
|June 2009
 
|-
 
|Text editor released
 
|F
 
|June 2009
 
|-
 
|Project diagram
 
|C
 
|July 2009
 
|-
 
|Reimplement UML-B (feasibility)
 
|C
 
|July-Sept 2009
 
|-
 
|Migrate pattern editor
 
|A
 
|Sept 2009
 
|}
 
[[Category:Organization]]
 

Revision as of 13:42, 26 February 2009

Usage

Template use to typeset an event name in an event-b listing.

Example

MACHINE

AntiCollide

REFINES

Safety

SEES

Network

Acyclic

VARIABLES

v1

v2

INVARIANTS

inv1 :
v2 ∈ BOOL

THEOREMS

inv1 :
v2 ∈ BOOL

EVENTS

control ≙
Template:Comment

ANY

a

x

WHERE

grd1 :
x ⊆ next

WITH

y :
{{{2}}}

THEN

act1 :
pro :∈ BOOL

END

END

Template

{{{1}}} ≙

Template:Comment