chreq Code
Brought to you by:
amahfouz
Menu
▾
▴
Tree [r3] / History
| File | Date | Author | Commit |
|---|---|---|---|
| src | 2010-06-12 | amahfouz | [r1] Initial checkin. |
| .classpath | 2010-06-12 | amahfouz | [r1] Initial checkin. |
| .project | 2010-06-16 | amahfouz | [r3] Added readme.doc |
| readme.doc | 2010-06-16 | amahfouz | [r3] Added readme.doc |
| readme.txt | 2010-06-13 | amahfouz | [r2] Added readme.txt. |
Read Me
╨╧рб▒с > ■ ? A ■ > ье┴ А Ё┐ ╥ bjbjы╚ы╚ 4 Йв Йв ╥ ╖ 0
0
s s s s s З З З З г З `& ┐ ╒ ╒ ╒ ╒ ░ ░ ░ ▀% с% с% с% с% с% с% $ ~( в + ^ & s ░ ░ ░ ░ ░ & s s ╒ ╒ █ & N N N ░ ─ s ╒ s ╒ ▀% N ░ ▀% N N V $ ╠ ?% ╒ Ph¤
╦ З t О ▀$ ╦% 0& 0 `& ы$ T ~+ L ~+ ?% ~+ s ?% М ░ ░ N ░ ░ ░ ░ ░ & & N ░ ░ ░ `& ░ ░ ░ ░ ~+ ░ ░ ░ ░ ░ ░ ░ ░ ░ 0
9 : CHoreography REQuirements (CHREQ )
Ayman Mahfouz
2008-2010
----------------------------------------------------
* Introduction :
---------------------
CHREQ is a tool for deriving inter-enterprise messaging protocol specification from requirements models. This is a minimal documentation of CHREQ that summarizes the basic things to be known in order to run the tool.
Requirements models follow the Tropos notation ( HYPERLINK "http://www.troposproject.org" http://www.troposproject.org). Requirements models are described in a textual format which is documented below. The generated messaging specification is specified in an Abstraction Choreography Description Language (ACDL), which is also documented below.
* Requirements Models Grammar :
-----------------------------------------------
Model ( ActorLocalModel+ DependencyDecl+
ActorLocalModel ( ActorDecl ActivityDecl+ RefinementDecl* PrecedenceDecl*
ActorDecl ( Actor <Name>;
ActivityDecl ( Activity <Name> [CREATION <Condition>] [FULFILLMENT <Condition>] [MANY];
RefinementDecl ( Refinement <Name> AND|(OR <Condition>) CHILDREN <Name>+;
PrecedenceDecl ( Precedence <Name> <Name>;
DependencyDecl ( Dependency <Name> FROM <Name> TO <Name> [PHYSICAL] [NOTIFICATION] [MANY] [DISMISSIBLE <Condition>] [FULFILLMENT <Post-Condition>];
Name and Condition are unique identifiers composed from alphanumeric characters but cannot contain white spaces.
* Abstraction Choreography Description Language (ACDL) :
-------------------------------------------------------------------------------
ACDL draws its constructs for describing a messaging protocol from WS-CDL. ACDL grammar:
Choreography ( Activity
Activity ( Message | Sequence | Parallel | Iteration | Conditional | Wait
Message ( Actor1 Send Message Name To Actor 2
Sequence ( Sequence Activity *
Parallel ( Parallel Activity *
Iteration ( While Condition Do Activity
Conditional ( If Condition Activity Else Activity
Wait ( Wait Until Condition
* Compiling and Running :
------------------------------------
Eclipse project files are included with the tool so that you can compile and run in Eclipse.
The main java class is com.chreq.Main. When run, it provides a very primitive Swing UI.
Press the button to choose a file containing a description of the requirements model.
The output of the tool goes to standards output, i.e. it goes to the Eclipse console window when running in Eclipse.
* Feedback :
---------------
All questions and comment should be sent to amahfouz@gmail.com
" # ; o p Ч в г ═ ╬ ъ ы ╬
╧
╨
' ( [ \ г д └ ┴ f g С Т
l y z Н О н п ╣ ║ ═ ╓ ╫ ╪ ▌ ▐ ▀ №°№Ї№Ё№ьфьф█фь№ьЁ╘Ё╘Ё╘Ё╘Ё╘Ё╘Ё╘ЁьЁ╨┴п┴пг┴г┴г┴п┴УБ┴ "h└n hф[? 6БCJ H*OJ QJ ^J hф[? hф[? 6БCJ OJ QJ ^J hф[? CJ OJ QJ ^J " j рЁhO7Ш hф[? CJ OJ QJ ^J hO7Ш hф[? CJ OJ QJ ^J hф[? j рЁhЫfЕ h_╞ h+ae 0J j h+ae Uh+ae hЫfЕ hRzd hQ2? h╬hА 1 # 1 ; p Б Ч q r ╧
╨
Ё
! K Ш │ W В
ї ї ї ы ї ї с ї ї ї ╙ ╔ ╙ ║ ╙ ╙ ╙ ╙ ╙ ╙ ї Д dЁ д @& ^Д gdRzd dЁ д gdЫfЕ
Д dЁ д ^Д gdЫfЕ dЁ д gd+ae dЁ д gdRzd dЁ д gd╬hА
И
Й
┬
k l Д ╬ № : c Ц │ ┤ ╧ Ї R к u ї ї ї ы ы ы р ╓ ╓ ╓ ╓ ╓ ╓ ╓ ы ы ╠ ┐ ┐ ┐ ┐
& F dЁ д gd╬hА dЁ д gd QЦ dЁ д< gdф[? dЁ д< @& gdRzd dЁ д gdЫfЕ dЁ д gd╬hА ▀ у ф Ё ё є Ї ∙ √ $ % & . 9 D E F K U V X o p q s З Л Ы яр╨ряр└орЬрярЬрярРЬРГРяГРЬРsРcР hф[? hф[? 5БCJ OJ QJ ^J h2[г hф[? 5БCJ OJ QJ ^J hф[? 5БCJ OJ QJ ^J hф[? CJ OJ QJ ^J " j рЁhO7Ш hф[? CJ OJ QJ ^J "h└n hф[? 6БCJ H*OJ QJ ^J hф[? hф[? 6БCJ OJ QJ ^J hO7Ш hф[? 6БCJ OJ QJ ^J hO7Ш hф[? CJ OJ QJ ^J hO7Ш hф[? 5БCJ OJ QJ ^J Ы Ь Э з ▓ │ ┤ Ї t u v x Т У ╥ ют╥т├┐╗╖╗╖│плп╗ h╝nq hRzd h+ae h╬hА h QЦ hф[? hO7Ш hф[? CJ OJ QJ ^J hф[? hф[? 5БCJ OJ QJ ^J hф[? CJ OJ QJ ^J " j рЁhф[? hф[? CJ OJ QJ ^J u v Г У ╥ ї ч ч ч
Д dЁ д ^Д gdRzd dЁ д gd+ae 2 1Рh:pRzd ░╨/ ░р=!░╨"░╨#Р╨$Р╨%░ ░╨░╨ Р╨ j Ш 6 6 6 6 6 6 6 6 6 v v v v v v v v v 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 и 6 6 6 6 6 6 6 6 6 6 ╕ 6 6 6 6 6 6 6 6 6 6 6 6 h H 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 ░ 6 2 └ ╨ р Ё 0 @ P ` p А Р └ ╨ р Ё 2 ( ╪ ш 0 @ P ` p А Р └ ╨ р Ё 0 @ P ` p А Р └ ╨ р Ё 0 @ P ` p А Р └ ╨ р Ё 0 @ P ` p А Р └ ╨ р Ё 0 @ P ` p А Р └ ╨ р Ё 0 @ P ` p А Р 8 X ° V ~ OJ PJ QJ _HmH nH sH tH J `ё J f+│ N o r m a l d д╚ CJ _HaJ mH sH tH | | 0№ H e a d i n g 2 $
& F dh дЁ д< @&a$0 56CJ OJ PJ QJ \]^J aJ mH sH tH v v 0№ H e a d i n g 3 $
& F dh дЁ д< @&a$* 5CJ OJ PJ QJ \^J aJ mH sH tH v v 0№ H e a d i n g 4 $
& F dh дЁ д< @&a$* 5CJ OJ PJ QJ \^J aJ mH sH tH z z 0№ H e a d i n g 5
& F dh дЁ д< @&a$ 0 56CJ OJ PJ QJ \]^J aJ mH sH tH l l 0№ H e a d i n g 6
& F dh дЁ д< @&a$ " 5OJ PJ QJ \^J mH sH tH n n 0№ H e a d i n g 7
& F dh дЁ д< @&a$ $ CJ OJ PJ QJ ^J aJ mH sH tH t t 0№ H e a d i n g 8
& F dh дЁ д< @&a$ * 6CJ OJ PJ QJ ]^J aJ mH sH tH f f 0№ H e a d i n g 9
& F dh дЁ д< @&a$ OJ PJ QJ ^J mH sH tH D A`Є б D
D e f a u l t P a r a g r a p h F o n t R i є │ R 0 T a b l e N o r m a l Ў 4╓
l 4╓ aЎ ( k Ї ┴ (
0 N o L i s t d ■в ё d 0№ H e a d i n g 2 C h a r 0 5Б6БCJ OJ PJ QJ \Б]Б^J aJ mH sH tH ^ ■в ^ 0№ H e a d i n g 3 C h a r * 5БCJ OJ PJ QJ \Б^J aJ mH sH tH ^ ■в ^ 0№ H e a d i n g 4 C h a r * 5БCJ OJ PJ QJ \Б^J aJ mH sH tH d ■в !d 0№ H e a d i n g 5 C h a r 0 5Б6БCJ OJ PJ QJ \Б]Б^J aJ mH sH tH V ■в 1V 0№ H e a d i n g 6 C h a r " 5БOJ PJ QJ \Б^J mH sH tH X ■в AX 0№ H e a d i n g 7 C h a r $ CJ OJ PJ QJ ^J aJ mH sH tH ^ ■в Q^ 0№ H e a d i n g 8 C h a r * 6БCJ OJ PJ QJ ]Б^J aJ mH sH tH P ■в aP 0№ H e a d i n g 9 C h a r OJ PJ QJ ^J mH sH tH D │@ rD ╬hА L i s t P a r a g r a p h
Д╨^Д╨m$ 6 U@в Б6 +ae 0 H y p e r l i n k >*B*ph H Y ТH
Rzd 0 D o c u m e n t M a p CJ OJ QJ ^J aJ N ■/в бN Rzd 0 D o c u m e n t M a p C h a r CJ OJ QJ ^J aJ PK ! ВК╝· [Content_Types].xmlмС╦j├0EўЕ■Г╨╢╪r║(е╪╬вIw},╥ф▒-jПД4 ╔▀wь╕P║-t#b╬Щ{UоПуаУєTщU^hЕd}уилЇ√ю)╗╫*1PГ'мЇ У^╫╫Wхю0)ЩжTщЮ9<УlП#д▄$yi} Бх;└~@Зц╢(юМї─HЬё─╨u∙* D╫аzГ╚/0К╟░аЁ√∙ $АШ Xл╟3aZв╥┬р,░D0j~ш3▀╢╬bуэ~i>Г╪═3┐\`ї?ъ/ч[╪м╢Gщт\─!¤-█Rk.Уs■╘╗Р..Ч╖┤aц┐н? PK ! е╓зч└ 6 _rels/.relsДП╧j├0 ЗяЕ╜Г╤}Q╥├%v/еРC/г} с(h"█ы█O╟
╗Ддяўй=■оЛ∙сФч Ък├тC?╦hсv=┐В╔Едз%[xpЖг{█╡_╝P╤г<═1еH╢0ХИ┘O╝RоBd╤╔╥JE█4b$зСq_╫ ШЮр6L╙їR╫7`оПи╔ │├0╠ЮO┴п,хEn7ФLiфbби/уS╜Риeк╘ ╨╡╕∙╓¤ PK ! kyЦГ К theme/theme/themeManager.xml ╠M
├ @с}бwР┘7c╗(Eb▓╦о╗Ў CЬA╟а╥Я█╫хуГ7╬▀╒ЫK
Y,Ь
Кe═.И╖Ё|,зи┌H ┼,lс╟цщx╔┤Н▀I╚sQ}#╒РЕн╡▌ ╓╡+╒!я,▌^╣$j=ЛGWш╙ў)тEы+&
8¤ PK ! Ц╡нтЦ P theme/theme/theme1.xmlьYOo█6┐╪w toc'vuК╪▒Ы-M─nЗ iЙЦ╪Pв@╥I}┌уА├║aЗ╪mЗa[Б╪е√4┘:l ╨п░GRТ┼X^Т6╪Кн>$∙у√ йл╫ю╟ !)O┌^¤r═C$ёy@У░э▌ Ў/нyH*ЬШёД┤╜)С▐╡Нў▀╗К╫UDbВ`}"╫q█ЛФJ╫ЧЦд├X^ц)I`n╠EМ╝Кp)°ш╞li╣V[]К1M<Фр╚▐ПйO╨PУЇ6rт=пЙТz└gbаIgЕ┴uНРS┘e b╓ЎАO└ПЖф╛Є├R┴D█лЩЯ╖┤qu пgЛШZ░╢┤оo~┘║lAp░lxКpT0нўн+[}`j ╫ыї║╜zA╧ ░яГжVЦ2═Fн▐╔iЦ@ЎqЮv╖╓м5\|Й■╩Ь╠нNз╙le▓Xвd s°╡┌jcs┘┴Р┼7чЁН╬f╖╗ър
╚тWчЁ¤+н╒ЖЛ7аИ╤ф`н ┌яg╘ ╚Ш│эJ°└╫j|ЖВh(вK│єD-К╡▀ув
dX╤йiJ╞╪З(ютx$(╓ Ё:┴е;ф╦╣!═ I_╨T╡╜S 1гўъ∙ўпЮ?E╟Ю ?°щ°с├у?ZB╬кmЬДхU/┐¤ь╧╟ г?Ю~єЄ╤╒xY╞ ·├'┐№№y5╥g&╬Л/Я№Ўь╔Лп>¤¤╗GЁMБGe°Р╞DвЫфэє3Vq%'#q╛├╙ЄК═$Ф8┴ЪK¤ЮК Ї═)fЩw 9:─╡р хг
x}r╧xЙЙвЬwв╪юr╬:\TZaGє*Щy8I┬jцbR╞эc|X┼╗Л╟┐╜I
u3KGёnD 1ўNIB╥s№АР
эюRъ╪uЧ·ВK>Vш.E L+M2д#'ЪfЛ╢i ~ЩVщ ■vl│{u8л╥zЛ ║H╚
╠*Д цШё:Ю( WС тШХ
~лиJ╚┴T°e\O*ЁtHG╜АHY╡цЦ }KN▀┴P▒*▌╛╦ж▒ЛК T╤╝Б9/#╖°A7┬qZЕ ╨$*c?РвэqU▀хnЖшwЁN║√%О╗Oп╖iшИ4 =3┌ЧPкЭ
╙фя╩1гPПm \\9Ж°ты╟Сї╢тM╪Ук2a√D∙]Д;Yt╗\Їэп╣[xТьє∙Нч]╔}Wr╜ |╔]Ф╧g-┤│┌
eWў
╢)6-r╝░C S╞j╩╚
iЪd √D╨ЗA╜╬ЬIqbJ#x╠ъ║Г 6kРръ#квAДSh░ыЮ&╩Мt(Q╩% ь╠p%mНЗ&]┘caS l=РXэЄ└пшс№\PР1╗MhЯ9гMрм╠VоdDAэ╫aV╫BЭЩ[▌ИfJЭ├нP|8п ╓ДA█V^Еє╣f
╠Hаэnў▐▄-╞ щ"сАd>╥z╧√иnЬФ╟К╣ А╪йЁС>фЭb╡╖Ц&√▄╬тд2╗╞v╣ў▐─Ky╧╝дєЎD:▓дЬЬ,AGmп╒\nz╚╟i█├Щ у╝.u╧ЗYC╛6ьOMfУх3o╢r┼▄$и├5Е╡√Ь┬N HЕT[XF64╠T,╤Ьм№╦M0ыE)`#¤5дXYГ`°╫д ;║о%у1ёU┘┘еm;√ЪХR>QD врН╪Dьcp┐U╨'ао&LE╨/pПжнmж▄тЬ%]∙Ў╩рь8fiД│rлS4╧d 7y\╚`▐JтБnХ▓х╬пКI∙ Rе ╞ 3UЇ~7+БЎА╫╕#ЭпmП qиBiD¤╛А╞┴╘И╕ЛЕi*╕L6 9╘ m╬Y&нс└зЎiИЕ¤HEВР=(K&·N!V╧Ў.KТeДLDХ─Хй{D ъ╕кўvEъжЪde└рN╞Я√Юe╨(╘MN9▀ЬRь╜6■щ╬╟&3(х╓a╙╨фЎ/Dм╪Uэz│<▀{╦КшЙYЫ╒╚│ШХ╢ВVЦЎп)┬9╖Z[▒ц4^nц┬Бч5Ж┴в!Jс╛щ?░ Qс3√eBoиC╛╡┴ЗM ┬в·Тm<Р.РvpНУ ┤┴дIY╙fнУ╢Z╛Y_pз[Ё=al-┘Y№}Nc═Щ╦╬╔┼Л4vfa╟╓vlбй┴│'SЖ╞∙A╞8╞|╥*uтг{рш-╕▀Я0%M0┴7%Ббї Ш<Аф╖ ═╥Н┐ PK !
╤РЯ╢ ' theme/theme/_rels/themeManager.xml.relsДПM
┬0ДўВwoo╙║С&▌И╨н╘Дф5
6?$Qьэ
о,.Зa╛Щi╗ЧЭ╔c2▐1hк:щХqЪ┴m╕ьО@RNЙ┘;d░`ВОo7эgСK(M&$R(.1Шr'JУЬ╨КT∙Ао8гПVф"гжA╚╗╨Hўu}аёЫ|┼$╜b{╒ ЦPЪ │¤8Йg/ ]■QAs┘Е(в╞╠р#ЫкL╩[║║─▀ PK- ! ВК╝· [Content_Types].xmlPK- ! е╓зч└ 6 + _rels/.relsPK- ! kyЦГ К theme/theme/themeManager.xmlPK- ! Ц╡нтЦ P ╤ theme/theme/theme1.xmlPK- !
╤РЯ╢ ' Ы theme/theme/_rels/themeManager.xml.relsPK ] Ц
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<a:clrMap xmlns:a="http://schemas.openxmlformats.org/drawingml/2006/main" bg1="lt1" tx1="dk1" bg2="lt2" tx2="dk2" accent1="accent1" accent2="accent2" accent3="accent3" accent4="accent4" accent5="accent5" accent6="accent6" hlink="hlink" folHlink="folHlink"/> ╥ ▀ Ы ╥
u ╥
в ═ ъ ╥ X А Ё8 Ё @ ё ААА ў ЁТ Ё Ё0 Ё( Ё
Ё ЁB
Ё S Ё ┐ ╦ ? Ё
С Ч ) 8 ; I K Z ] f h t w Е И Ц Ш б │ ┐ W e В Р i w ╘ " r А ц я 8 I ] t 3 5 ╛ ┴ ё є в з ─ ╬ x В ╘ 3 3 3 3 3 3 3 3 3 3 3 ; o p p в ы Ї Ї v У ╘ ТЇ-J╨ю~ sLЕEо:s у)OьZX+ Д Д ^Д `Д o( C h a p t e r Д Д ^Д `Д o( . Д Д ^Д `Д o( . . Д Д ^Д `Д o( Д Д ^Д `Д o( Д Д ^Д `Д o( Д Д ^Д `Д o( Д Д ^Д `Д o( Д Д ^Д `Д o( ╪ Д╨ДШ■^Д╨`ДШ■OJ PJ QJ ^J o( nЁ А ДаДШ■^Да`ДШ■OJ QJ ^J o( Зh ИH o А ДpДШ■^Дp`ДШ■OJ QJ o( Зh ИH зЁ А Д@ ДШ■^Д@ `ДШ■OJ QJ o( Зh ИH ╖Ё А ДДШ■^Д`ДШ■OJ QJ ^J o( Зh ИH o А ДрДШ■^Др`ДШ■OJ QJ o( Зh ИH зЁ А Д░ДШ■^Д░`ДШ■OJ QJ o( Зh ИH ╖Ё А ДАДШ■^ДА`ДШ■OJ QJ ^J o( Зh ИH o А ДPДШ■^ДP`ДШ■OJ QJ o( Зh ИH зЁ Д╨ДШ■^Д╨`ДШ■o( . А
ДаДШ■^Да`ДШ■Зh ИH . В
ДpДL ^Дp`ДL Зh ИH . А
Д@ ДШ■^Д@ `ДШ■Зh ИH . А
ДДШ■^Д`ДШ■Зh ИH . В
ДрДL ^Др`ДL Зh ИH . А
Д░ДШ■^Д░`ДШ■Зh ИH . А
ДАДШ■^ДА`ДШ■Зh ИH . В
ДPДL ^ДP`ДL Зh ИH .
ТЇ- ТЇ- ТЇ- ТЇ- ТЇ- ТЇ- ТЇ- ТЇ- у)O sLЕE АJт4 х Рn )$% LD- К>7 Q2? ф[? #W Rzd +ae ╝nq
w hw ь\y █J{ ╬hА ╝<Д ЫfЕ `И Н }3Ф QЦ %Ч уЮ f+│ E═ O&╓ [.ц ZЎ 0№ ╥ ╘ @А A ╥ А @ U n k n o w n G Р я* рAx └ T i m e s N e w R o m a n 5 Р А S y m b o l 3.Р * рCx └ A r i a l ;Р А W i n g d i n g s ;.Р * рCx └ H e l v e t i c a 7.Р я а{ @ Я C a l i b r i 5.Р * с[` └) T a h o m a ?=Р * рCx └ C o u r i e r N e w A Р я аы B Я C a m b r i a M a t h " qИ Ё╨ h !dц╞E}цF ╦ w [ Р w [ б$ Ё ╨╨n ┤ БВ20 d ═ ═ 2Гq Ё №¤ HX Ё $P ф ╬hА 2 ! x x а
A y m a n M a h f o u z
A y m a n M a h f o u z ■ рЕЯЄ∙OhлС +'│┘0 h И Р Ь и └ ╠ р °
$ 0
< H P X ` ф Ayman Mahfouz Normal.dotm Ayman Mahfouz 5 Microsoft Office Word @ В╪[ @ ▐*ШЗ
╦@ ~т
╦ w [ ■ ╒═╒Ь.УЧ +,∙оD ╒═╒Ь.УЧ +,∙о, ш h p | Д М Ф Ь д м ┤
╝ ╔ ф ═ Title ╝ 8 @ _PID_HLINKS ф A t Y h t t p : / / w w w . t r o p o s p r o j e c t . o r g / Ф
■ ■ ! " # $ % & ' ( ) * + , - ■ / 0 1 2 3 4 5 ■ 7 8 9 : ; < = ■ ¤ @ ■ ■ ■ R o o t E n t r y └ F З
╦B А D a t a
1 T a b l e Ц+ W o r d D o c u m e n t 4 S u m m a r y I n f o r m a t i o n ( . D o c u m e n t S u m m a r y I n f o r m a t i o n 8 6 C o m p O b j y ■ ■
└ F' Microsoft Office Word 97-2003 Document
MSWordDoc Word.Document.8 Ї9▓q
