Menu

Tree [r3] /
 History

HTTPS access


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
sssss    ЗЗЗЗгЗ`&┐╒╒╒╒░░░▀%с%с%с%с%с%с%$~(в +^&s░░░░░&ss╒╒█&NNN░─s╒s╒▀%N░▀%NNV$╠?%╒    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
"#;opЧ	в	г	═	╬	ъ	ы	╬
╧
╨
'([\гд└┴fgСТ

lyzНОнп╣║═╓╫╪▌▐▀№°№Ї№Ё№ьфьф█фь№ьЁ╘Ё╘Ё╘Ё╘Ё╘Ё╘Ё╘ЁьЁ╨┴п┴пг┴г┴г┴п┴УБ┴"h└nhф[?6БCJH*OJQJ^Jhф[?hф[?6БCJOJQJ^Jhф[?CJOJQJ^J"	jрЁhO7Шhф[?CJOJQJ^JhO7Шhф[?CJOJQJ^Jhф[?	jрЁhЫfЕh_╞h+ae0Jjh+aeUh+aehЫfЕhRzdhQ2?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А
И
Й
┬
klД╬№:cЦ│┤╧ЇRкuїїїыыыр╓╓╓╓╓╓╓ыы╠┐┐┐┐

&F	dЁдgd╬hА	dЁдgdQЦ	dЁд<gdф[?dЁд<@&gdRzd	dЁдgdЫfЕ	dЁдgd╬hА▀уфЁёєЇ∙√$%&.9DEFKUVXopqsЗЛЫяр╨ряр└орЬрярЬрярРЬРГРяГРЬРsРcРhф[?hф[?5БCJOJQJ^Jh2[гhф[?5БCJOJQJ^Jhф[?5БCJOJQJ^Jhф[?CJOJQJ^J"	jрЁhO7Шhф[?CJOJQJ^J"h└nhф[?6БCJH*OJQJ^Jhф[?hф[?6БCJOJQJ^JhO7Шhф[?6БCJOJQJ^JhO7Шhф[?CJOJQJ^JhO7Шhф[?5БCJOJQJ^JЫЬЭз▓│┤ЇtuvxТУ╥ют╥т├┐╗╖╗╖│плп╗h╝nqhRzdh+aeh╬hАhQЦhф[?hO7Шhф[?CJOJQJ^Jhф[?hф[?5БCJOJQJ^Jhф[?CJOJQJ^J"	jрЁhф[?hф[?CJOJQJ^JuvГУ╥їччч
ДdЁд^ДgdRzd	dЁдgd+ae21Рh:pRzd░╨/ ░р=!░╨"░╨#Р╨$Р╨%░░╨░╨Р╨jШ666666666vvvvvvvvv6666666666666666666666666666666и6666666666╕666666666666hH66666666666666666666666666666666666666666666666666666666666666666░62└╨рЁ 0@P`pАР└╨рЁ2(╪ш 0@P`pАР└╨рЁ 0@P`pАР└╨рЁ 0@P`pАР└╨рЁ 0@P`pАР└╨рЁ 0@P`pАР└╨рЁ 0@P`pАР8X°V~ OJPJQJ_HmH	nH	sH	tH	J`ё Jf+│Normaldд╚CJ_HaJmH	sH	tH	||0№	Heading 2 $
&FdhдЁд<@&a$056CJOJPJQJ\]^JaJmH	sH	tH	vv0№	Heading 3 $
&FdhдЁд<@&a$*5CJOJPJQJ\^JaJmH	sH	tH	vv0№	Heading 4 $
&FdhдЁд<@&a$*5CJOJPJQJ\^JaJmH	sH	tH	zz0№	Heading 5
&FdhдЁд<@&a$056CJOJPJQJ\]^JaJmH	sH	tH	ll0№	Heading 6
&FdhдЁд<@&a$"5OJPJQJ\^JmH	sH	tH	nn0№	Heading 7
&FdhдЁд<@&a$$CJOJPJQJ^JaJmH	sH	tH	tt0№	Heading 8
&FdhдЁд<@&a$*6CJOJPJQJ]^JaJmH	sH	tH	f	f0№	Heading 9	
&FdhдЁд<@&a$OJPJQJ^JmH	sH	tH	DA`Є бD
Default Paragraph FontRiє │R0Table NormalЎ4╓
l4╓aЎ(k Ї ┴(
0No Listd■вёd0№Heading 2 Char05Б6БCJOJPJQJ\Б]Б^JaJmH	sH	tH	^■в^0№Heading 3 Char*5БCJOJPJQJ\Б^JaJmH	sH	tH	^■в^0№Heading 4 Char*5БCJOJPJQJ\Б^JaJmH	sH	tH	d■в!d0№Heading 5 Char05Б6БCJOJPJQJ\Б]Б^JaJmH	sH	tH	V■в1V0№Heading 6 Char"5БOJPJQJ\Б^JmH	sH	tH	X■вAX0№Heading 7 Char$CJOJPJQJ^JaJmH	sH	tH	^■вQ^0№Heading 8 Char*6БCJOJPJQJ]Б^JaJmH	sH	tH	P■вaP	0№Heading 9 CharOJPJQJ^JmH	sH	tH	D│@rD╬hА List Paragraph
Д╨^Д╨m$6U@вБ6+ae0	Hyperlink>*B*ph HYТH
Rzd0Document MapCJOJQJ^JaJN■/вбNRzd0Document Map CharCJOJQJ^JaJPK!ВК╝·[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!Ц╡нтЦPtheme/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┘eb╓ЎАO└ПЖф╛Є├R┴D█лЩЯ╖┤qu	пgЛШZ░╢┤оo~┘║lAp░lxКpT0нўн+[}`j╫ыї║╜zA╧░яГжVЦ2═Fн▐╔iЦ@ЎqЮv╖╓м5\|Й■╩Ь╠нNз╙le▓Xвds°╡┌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Щw9:─╡рхг
x}r╧xЙЙвЬwв╪юr╬:\TZaGє*Щy8I┬jцbR╞эc|X┼╗Л╟┐╜I
u3KGёnD1ўNIB╥s№АР
эюRъ╪uЧ·ВK>Vш.EL+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╝░CS╞j╩╚
iЪd	√D╨ЗA╜╬ЬIqbJ#x╠ъ║Г6kРръ#квAДSh░ыЮ&╩Мt(Q╩%ь╠p%mНЗ&]┘caSl=Р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Е╡√Ь┬NHЕT[XF64╠T,╤Ьм№╦M0ыE)`#¤5дXYГ`°╫д;║о%у1ёU┘┘еm;√ЪХR>QDврН╪Dьcp┐U╨'ао&LE╨/pПжнmж▄тЬ%]∙Ў╩рь8fiД│rлS4╧d7y\╚`▐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;IKZ]fhtwЕИЦШб│┐WeВРiw╘	"rАця8I]t35╛┴ёєвз─╬x	В	╘	33333333333;oppвыЇЇv	У	╘	ТЇ-J╨ю~ 	sLЕEо:s         у)OьZX+         	ДД^Д`Дo(Chapter   ДД^Д`Дo(.  ДД^Д`Дo(.. ДД^Д`Дo( ДД^Д`Дo( ДД^Д`Дo( ДД^Д`Дo( ДД^Д`Дo( ДД^Д`Дo(╪Д╨ДШ■^Д╨`ДШ■OJPJQJ^Jo(nЁАДаДШ■^Да`ДШ■OJQJ^Jo(ЗhИHoАДpДШ■^Дp`ДШ■OJQJo(ЗhИHзЁАД@ДШ■^Д@`ДШ■OJQJo(ЗhИH╖ЁАДДШ■^Д`ДШ■OJQJ^Jo(ЗhИHoАДрДШ■^Др`ДШ■OJQJo(ЗhИHзЁАД░ДШ■^Д░`ДШ■OJQJo(ЗhИH╖ЁАДАДШ■^ДА`ДШ■OJQJ^Jo(ЗhИHoАДPДШ■^ДP`ДШ■OJQJo(З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.
ТЇ-ТЇ-ТЇ-ТЇ-ТЇ-ТЇ-ТЇ-ТЇ-у)OsLЕE                                            АJт4																	хРn)$%LD-К>7Q2?ф[?#WRzd+ae╝nq
whwь\y█J{╬hА╝<ДЫfЕ`ИН}3ФQЦ%ЧуЮf+│E═O&╓[.цZЎ0№╥	╘	 @АA╥	А@  Unknown            	GРя*рAx└	 Times New Roman5РАSymbol3.Р *рCx└	 Arial;РАWingdings;.Р *рCx└	 Helvetica7.Ряа{ @ЯCalibri5.Р *с[`└) Tahoma?=Р	 *рCx└	 Courier NewAРяаы BЯCambria Math"qИЁ╨h!dц╞E}цF╦w[Рw[б$Ё╨╨n┤БВ20d═	═	2ГqЁ№¤HX	Ё $Pф                     ╬hА2!xxа  
Ayman Mahfouz
Ayman Mahfouz■ рЕЯЄ∙OhлС+'│┘0hИРЬи└╠р	°
$0
<HPX`фAyman MahfouzNormal.dotmAyman Mahfouz5Microsoft Office Word@В╪[@▐*ШЗ
╦@~т	
╦w[■ ╒═╒Ь.УЧ+,∙оD╒═╒Ь.УЧ+,∙о,шhp|ДМФЬдм┤
╝╔ф═	Title╝ 8@_PID_HLINKSфAtYhttp://www.troposproject.org/Ф	

■   ■    !"#$%&'()*+,-■   /012345■   789:;<=■   ¤   @■   ■   ■                                                                                                                                                                                                                                                       Root Entry        	└FЗ	
╦BАData
            1Table    Ц+WordDocument    4SummaryInformation(            .DocumentSummaryInformation8        6CompObj            y            ■                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           ■ 
    	└F'Microsoft Office Word 97-2003 Document
MSWordDocWord.Document.8Ї9▓q
MongoDB Logo MongoDB