اب ي ياهراز فا مرن رد يفيک ياه يگژيو تارييغت يريگيپ يارب يشور هئارا ارگ سيورس يرامعم

نشلگ شونرف : هدنهد هئارا هداز اللهدبع رت کد 87 : نمهب امنهار داتسا دنمشوه ي اه متسيس هاگشيامز ا www.ceit.aut.ac.ir/islab

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

بلاطم تسرهف هلئسم ف ي رعت



طبترم تاقيقحت رب يهاگن



ي داهنش ي پ راکهار



ي تاعلاطم دروم



ي ر ي گ هج ي تن



عجارم

 2

هلئسم فيرعت

ارگ سيورس يرامعم

ليکشت فلتخم ياه سيورس زا هک تسا ي ياهرازفا مرن اي اه متسيس ديلوت يارب هنوگرامعم درکيور کي .

دنرب يم هدافتسا اي هدش

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

4

Service A

ارگ سيورس يرامعم ي يايوپ

Service B Service C Service I Service D Core Service H

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

Service G Service F Service E 5

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

ارگ سيورس ي رامعم رد تيفيک

يبيکرت راتخاس  يگدش عيزوت  ينوگمهان  ي يايوپ  6

هلئسم فيرعت

اب نامز مه ناو تب ن ا زا هدافتسا اب هک تسا راکدوخ يکينکت اي شور هئارا ،هژورپ يلصا فده .

تشاد تسد رد متسيس تيفيک يمومع تيعضو زا يدرو ارب ،ارگ سيورس رازفا مرن يارجا ي مومع ت في کي  ارجا نامز  راکدوخ شور  ا رگ سيورس يرامعم 

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

7

طبترم تاقيقحت رب يهاگن

QoS

طبترم تاقيقحت ي دنب هتسد

ارجا نامز ارگ سيورس ي رامعم تيفيک ديلوت نامز SLA ي مومع

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

9

GTS

طبترم تاقيقحت ي دنب هتسد

ي زاس لدم ارگ سيورس ي رامعم UML تيفيک ارگ سيورس ي رامعم UML Profile Feature Modeling رازفا مرن ي سدنهم FURP+ Boehm McCall …

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

10

QoS

طبترم تاقيقحت ي دنب هتسد

ارجا نامز يفيک ياه يگژيو ي ريگيپ ارگ سيورس ي رامعم ديلوت نامز SLA ي مومع

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

11

طبترم تاقيقحت ي دنب هتسد

يرامعم ي زاس لدم يرامعم يوگلا ي جنسرابتعا سيورس ي يانعم فيصوت سيورس باختنا يزاسراکدوخ ارگ سيورس ي رامعم فارگ يسيدرگد متسيس ي درکراک ي اه هبنج ي زاس لدم يدوهش ياه نابز لدماتم ايوپ يرامعم ي زاس لدم ديلوت دني ارف رد تارييغت تيريدم رازفا مرن يسدنهم

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

12

هباشم تاقيقحت

متسيس يسيدرگد فآرگ آرجآ نامز يفيک ياه يگژيو تيفيک يمومع QoS SLA ياه يگژيو يدرکراک

x x

يرامعم آرگ سيورس

x x x x x x x x x x x x x x

قيقحت

Modeling and validation of service oriented architectures: Application vs. style.

Towards automatic selection of web services using graph transformation rules Service selection based on non-functional properties Dynamic change management by distributed graph transformation: Towards configurable distributed systems A methodology for online monitoring non functional specification of web services

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

13

يداهنشيپ راکهار

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

يداهنشيپ راکهار

فارگ يسيدرگد متسيس رد ارگ سيورس يرامعم يزاس لدم  اتسيا ياه هبنج يزاس لدم  ايوپ ياه هبنج يزاس لدم  فارگ يسيدرگد متسيس رد تيفيک يزاس لدم  ارگ سيورس يرامعم يمومع تيفيک شجنس شور هئارا  يفيک ياه يگژيو تارييغت يزاس لدم  15

فارگ ي س ي درگد متس ي س فيراعت و ينابم

فارگ  کي E زا e لاي ره هک يوحن هب تسا E ياه لاي زا يا هعومجم و V ياه سار زا يا هعومجم لماش فارگ کي .

تشاد دهاوخ V هعومجم زا T(e) دصقم سار کي و S(e) ادبم سار

Typed Graphs



Instance Graphs



دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

16

فارگ ي س ي درگد متس ي س فيراعت و ينابم

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab



o

:

C



type

(

o

) 

C

راتخاس ظفح رظانت Structure-Preservation Mapping 17

فارگ ي س ي درگد متس ي س فيراعت و ينابم

تلا ي دبت و دعآوق

 هک يروط هب تسا R و L يا هنومن فارگ جوز لماش R فارگ يسيدرگد هدعاق کي

L

 .

دشاب هدش فيرعت

فآرگ يسيدرگد

G



p

 

H

هديمان ) اب هک H يدعب تلاح هب G يلبق تلاح زا فارگ يسيدرگد کي

o

:

L



R

( 

G



H

: هک يروط هب ،دريذپ يم تروص ،دوش يم

o

(

R

\

L

) 

H

\

G o

(

R

) 

o

(

L H

\ و

R

)

o

( و

L

) 

G

\ 

G H

  

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

18

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

فارگ يسيدرگد

19

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

فارگ ي س ي درگد متس ي س ارچ

لامرف  هد ي چ پي specification ي اه نابز هب زا ي ن مدع  ي رادومن و ي دوهش ت ي لباق و تلوهس  ت ي يف ک لئاسم ي زاس لدم ل ي سناتپ  هنوگ فارگ ي اهراتخاس ي ور رب ي ين ب ش ي پ و ل ي لحت ت ي لباق  يا وپ ي اه هبنج ي زاس لدم ت ي لباق  UML ي اه مارگا ي د اب راک ت ي لباق  ارگ س ي ورس يرامعم لئاسم لح رد قفوم ي تاق ي قحت قباوس  20

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

يداهنشيپ راکهار

فارگ يسيدرگد متسيس رد ارگ سيورس يرامعم يزاس لدم  اتسيا ياه هبنج يزاس لدم  ايوپ ياه هبنج يزاس لدم  فارگ يسيدرگد متسيس رد تيفيک يزاس لدم  ارگ سيورس يرامعم يمومع تيفيک شجنس شور هئارا  يفيک ياه يگژيو تارييغت يزاس لدم  21

ارگ سيورس يرامعم يزاس لدم

اتسيآ لدم

 .

اه Service و اه Component دننام يراتخاس رصانع  را ک هب اه يدنمزاين و اه سيورس فيصوت يارب هک ي ياه Service Specification .

دنور يم  .

تاطابترا ندرک لدم يارب اه ماغيپ 

ايوپ لدم

فارگ يسيدرگد متسيس دعاوق  

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

22

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

23

ايوپ شخب ارگ سيورس يرامعم يزاس لدم

.

فارگ يسيدرگد لدم بلاق رد هدش نايب sendConnectionRequest هدعاق

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

24

ايوپ شخب ارگ سيورس يرامعم يزاس لدم

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

ConnectToService هدعاق 25

ايوپ شخب ارگ سيورس يرامعم يزاس لدم

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

DisconnectFromService هدعاق 26

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

يداهنشيپ راکهار

فارگ يسيدرگد متسيس رد ارگ سيورس يرامعم يزاس لدم  اتسيا ياه هبنج يزاس لدم  ايوپ ياه هبنج يزاس لدم  فارگ يسيدرگد متسيس رد تيفيک يزاس لدم  ارگ سيورس يرامعم يمومع تيفيک شجنس شور هئارا  يفيک ياه يگژيو تارييغت يزاس لدم  27

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

UML Profile

اب تيفيک يزاس لدم

28

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

UML Profile

اب تيفيک يزاس لدم

29

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

UML Profile

ارچ

ي گداس و ي دوهش  هدافتسا شناد  ي رازفا مرن ي اه هژورپ تادنتسم د ي لوت رد ندوب لوادتم  ندوب دننام فارگ  فارگ ي س ي درگد متس ي س اب ق ي فلت ت ي لباق  هعسوت و ر يي غت تلوهس  ت ي يف ک ندومن لدم رد قفوم ي تاق ي قحت قباوس  30

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

اتسيا شخب فارگ يسيدرگد متسيس رد تيفيک يزاس لدم

31

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

يداهنشيپ راکهار

فارگ يسيدرگد متسيس رد ارگ سيورس يرامعم يزاس لدم  اتسيا ياه هبنج يزاس لدم  ايوپ ياه هبنج يزاس لدم  فارگ يسيدرگد متسيس رد تيفيک يزاس لدم  ارگ سيورس يرامعم يمومع تيفيک شجنس شور هئارا  يفيک ياه يگژيو تارييغت يزاس لدم  32

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

ارگ سيورس يرامعم يمومع تيفيک شجنس شور

33

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

ارگ سيورس يرامعم يمومع تيفيک شجنس شور

34

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

يفيک ياه يگژيو تارييغت يزاس لدم

35

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

يفيک ياه يگژيو تارييغت يزاس لدم

36

يداهنشيپ راکهار

.

مينک يم يزاس لدم فارگ يسيدرگد متسيس بلاق رد ار ارگ سيورس يرامعم عجرم لدم ينعي ،هلئسم ياضف ادتبا .

1 اه مارگايد سلاک بلاق رد اتسيا ياه هبنج لماش  يسيدرگد دعاوق بلاق رد ايوپ ياه شخب  ن ا زا عطق و سيورس هب لاصتا مهم هدعاق ود  .

مينک يم هئارا اي باختنا رظن دروم يفيک ياه يگژيو هعومجم يزاس لدم يارب يا UML Profile ،دعب هلحرم رد .

2 .

مينک يم هفاضا ارگ سيورس يرامعم ياتسيا لدم هب ار هدش لدم يفيک ياه يگژيو .

3 .

ميشاب هتشاد تارييغت ي زاس يمک و ازجا تيفيک يور زا لک تيفيک شجنس يارب يشور دياب ادتبا ،يفيک ياه يگژيو ريغتم ياه هبنج يزاس لدم يارب .

4 رب زين ار يفيک ياه يگژيو تارييغت ات ميهد يم رييغت يا هنوگ هب ار لدم رد حرطم هدعاق ود ،يفيک ياه يگژيو درو ارب يارب رظن دروم شور ساسا رب .

دننک ينابيتشپ هدش فيرعت عباوت ساسا 5.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

37

يتاعلاطم دروم

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

نيم ات هريجنز تيريدم هلئسم

39

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

نيم ات هريجنز تيريدم هلئسم يويرانس

40

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

41

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

42

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

43

يريگ هجيتن

هژورپ ياهدرواتسد

.

فارگ يسيدرگد متسيس لامرف لدم بلاق رد يفيک ياه يگژيو يزاس لدم شور هئارا  .

ارگ سيورس يرامعم رد يفيک ياه يگژيو فيرعت يارب هنومن UML Profile کي هئارا  .

ن ا يازجا تايفيک هب هجوت اب ارگ سيورس متسيس يمومع تيفيک درو ارب عباوت هئارا  .

ارگ سيورس يرامعم رد يفيک ياه يگژيو تارييغت يريگيپ يارب يشور هئارا  .

رگيد لئاسم لح رد هدش هئارا شور هتفاي هعسوت ياهدربراک هئارا  .

شور ود ن ي ا هب ي ف کي ي اه هبنج ندوزفا رظن زا Heckel و Baresi راک ليمکت 

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

45

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

هدش هئارا شور ياهدربراک

ارگ سيورس يرامعم رد تيفيک تيريدم  سيورس رگ باختنا هفلؤم زيهجت  سيورس باختنا يارب يريگ ميمصت و ينيب شيپ  برخم ي اه يدنب هرکيپ عوقو زا ي ريگولج و ينيب شيپ  46

هدش هئارا تلااقم

 F. Golshan, A. Abdollahzadeh, “Towards A New Approach for Tracing Quality Attributes in Service Oriented Architecture” Submitted in The eighth International Conference on Software Composition (SC 2009), Switzerland, 2009.

رد هد ش هتفر ي ذپ .

“ ارگ سيورس يرامعم رد تيفيک يريگ هزادنا “ ،هداز اللهدبع .

ا و نشلگ .

ف .

1388 ،نارهت ،نار ي ا رتو ي پماک نمجنا ي لم سنارفنک ن ي مهدراهچ 

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

47

هدني ا تاقيقحت و شرتسگ ياهروحم

.

هدش هئارا راکهار زا هدافتسا اب يرامعم تيعضو ينيب شيپ لدم هئارا  يرامع م تيفيک لرتنک لدم هئارا و تيفيک لرتنک ثحب رد حرطم ياه شور رياس اب راکهار ليمکت  .

ارگ سيورس .

ارگ سيورس يرامعم رد مهم يفيک ياه يگژيو زا لماک UML Profile کي هئارا  .

رتلااب تقد اب هبساحم يارب يمومع تيفيک شجنس عباوت دوبهب  .

سيورس رگ باختنا هفلؤم رد هدش هئارا شور يزاس هدايپ 

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

48

عجارم

اه همان نا ي اپ و اه بات ک عجارم

[1] Erl, Thomas. “Service-Oriented Architecture (SOA): Concepts, Technology, and Design”, Prentice Hall PTR, 2005.

[2] L. Bass, P. Clements, and R. Kazman. “Software Architecture in Practice”. Addison Wesley, Reading, Mass., 1998.

[3] O'Regan, Gerard. “Mathematical approaches to software quality”. Springer , 2006.

[4] H. Ehrig and G. Engels and H.-J. Kreowski and G. Rozenberg, editors.

“Handbook on Graph Grammars and Computing by Graph

Transformation”, volume 1, World Scientific, 1997.

[5] Abdul Carimo, Rossana. “Evaluation of UML Profile for Quality of Service from the User Perspective”, Master Thesis in Software Engineering, School of Engineering, Blekinge Institute of Technology, Sweden, August 2006.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

50

ارگ س ي ورس ي رامعم رد ت في کي عجارم

[1] L. O’Brien, L. Bass, P. Merson. “Quality attributes and service oriented architectures”, Technical report, Carnegie Mellon University, 2005.

[2] Macehiter Ward-Dutton, “The Challenges of SOA Quality Management”, 2006. Available: http://whitepapers.theregister.co.uk/paper/download/30/soa quality.pdf.

[3] Mindreef, “The Foundation of SOA Quality”, 2006. Available: http://www.mindreef.com/docs/mindreef_wp_soa_quality_0906.pdf

.

[4] H. Wada, J. Suzuki, K. Oba, “A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Architecture”, International Journal of Web Services Research, IGI

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

Global 2008.

51

تيفيک يزاس لدم عجارم

[1] H. Wada, J. Suzuki, K. Oba.: “Modeling non-functional aspects in service oriented architecture”. In: Proc. of the 2006 IEEE International Conference on Service Computing, Chicago, IL, September 2006.

[2] L. Baresi, R. Heckel, S. Thöne, D. Varró, “A UML-Profile for Service Oriented Architectures”, the 19th Annual ACM SIGPLAN OOPSLA, 2003.

[3] H. Wada, J. Suzuki, K. Oba, “A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Architecture”, International Journal of Web Services Research, IGI Global 2008.

[4] Abdul Carimo, Rossana. “Evaluation of UML Profile for Quality of Service from the User Perspective”, Master Thesis in Software Engineering, School of Engineering, Blekinge Institute of Technology, Sweden, August 2006.

[5] H. Wada, J. Suzuki, and K. Oba, “A Feature Modeling Support for Non Functional Constraints in Service Oriented Architecture”, In Proc. Of the 2007 IEEE International Conference on Service Computing, Salt Lake City, UT, July 2006.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

52

ارگ سيورس يرامعم يزاس لدم عجارم

[1] R. Heckel, M. Lohmann, and S. Thöne, “Towards a UML profile for service-oriented architectures”, In Proc. of Workshop on Model Driven Architecture: Foundations and Applications (MDAFA), CTIT Technical Report TR-CTIT-03-27. University of Twente, Enschede, The Netherlands, 2003.

[2] M. López-Sanz, S.J. Acuña, C.E. Cuesta1 and E. Marcos, “UML profile for the platform independent modeling of service-oriented architectures”, In: F. Loquendo, Editor, Lecture notes in computer science vol. 4758, pp. 304–307, Springer, Berlin 2007.

[3] L. Baresi, R. Heckel, S. Thöne, and D. Varró. “Style-based modeling and refinement of service-oriented architectures”. Software and Systems Modeling, June 2006.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

53

ارگ سيورس يرامعم يزاس لدم عجارم

[4] L. Baresi, R. Heckel, S. Thöne, and D. Varró. “An architectural style for service-oriented architectures”. Available: www.upb.de/cs/ag engels/ag_engl/People/Thoene/MRDSA /SOA-Metamodel.pdf, Sept. 2003.

[5] L. Baresi, R. Heckel, S. Thöne, and D. Varró. “Modeling and validation of service-oriented architectures: Application vs. style”. In Proc. ESEC/FSE 03 European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 68–77. ACM Press, 2003.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

54

فارگ يسيدرگد متسيس عجارم

[1] L. Baresi and R. Heckel, “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective”, Proceedings of the First International Conference on Graph Transformation, p.402 429, October 07-12, 2002.

[2] H. Ehrig and G. Engels and H.-J. Kreowski and G. Rozenberg, editors. “Handbook on Graph Grammars and Computing by Graph Transformation”, volume 1, World Scientific, 1997.

[3] L. Baresi and M. Pezz ´ e, “From Graph Transformation to Software Engineering and Back”, In Formal Methods in Software and System Modeling, Springer Berlin, Heidelberg Germany, 2005, pp. 24-37.

[4] M. Pezz ´ e, and L. Baresi, “Can Graph Grammars Make Formal Methods More Human?”, ICALP 2000 Workshop on Graph Transformation and Visual Modeling Techniques, 2000.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

55

فارگ يسيدرگد متسيس عجارم

[5] L. Baresi, R. Heckel, S. Thöne, and D. Varró. “Modeling and analysis of architectural styles based on graph transformation”. In Proc. 6th ICSE Workshop on Component-Based Software Engineering (CBSE6): Automated Reasoning and Prediction, 2003.

[6] G. Taentzer, M. Goedicke, and T. Meyer. “Dynamic change management by distributed graph transformation: Towards configurable distributed systems”. In Proceedings TAGT’98, volume 1764 of Lecture Notes in Computer Science, pages 179–193. Springer Verlag, 2000.

[7] M. Wermelinger and J. L. Fiadero. “A graph transformation approach to software architecture reconfiguration”. Science of Computer Programming, 44(2):133–155, 2002.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

56

يفيک ياه يگژيو يريگيپ عجارم

[1] J. Cleland-Huang, “Toward improved traceability of non-functional requirements”. Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering, California, USA, 2005.

[2] J. Cleland-Huang and D. Schmelzer. “Dynamically Tracing Non Functional Requirements through Design Pattern Invariants”. In Proceedings of the Second International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE’03), 2003.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

57

يفيک ياه يگژيو يريگيپ عجارم

[3] J. Cleland-Huang, R. Settimi, O. BenKhadra, E.Berezhanskaya, S. Christina, “Goal-Centric Traceability for Managing Non-Functional Requirements”, International Conference on Software Engineering, St. Louis, USA, May 2005. pp. 362-371.

[4] F. Raimondi, J. Skene, W. Emmerich, and B. Wo ´ zna.: “A methodology for online monitoring non-functional specification of web-services”. In D. K. C. Attiogb ´ e, editor, Proceedings of the First International Workshop on Property Verification for Software Components and Services (PROVECS’07), number 567 in ETH Technical Report, pages 50–59. COLOSS Team - University of Nantes (2007)

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

58

هباشم تاقيقحت عجارم

[1] L. Baresi, R. Heckel, S. Thöne, and D. Varró. “Modeling and validation of service-oriented architectures: Application vs. style”. In Proc. ESEC/FSE 03 European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 68–77. ACM Press, 2003.

[2] J. H. Hausmann, R. Heckel, and M. Lohmann. “Towards automatic selection of web services using graph transformation rules”. In R. Tolksdorf and R. Eckstein, editors, Berliner XML Tage. XML Clearinghouse, 2003.

[3] G. Taentzer, M. Goedicke, and T. Meyer. “Dynamic change management by distributed graph transformation: Towards configurable distributed systems”. In Proceedings TAGT’98, volume 1764 of Lecture Notes in Computer Science, pages 179–193. Springer Verlag, 2000.

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

59

هباشم تاقيقحت عجارم

[4] S. Reiff-Marganiec, H. Yu, and M. Tilly.: “Service selection based on non-functional properties”. In NFPSLASOC 2007, LNCS. Springer, (2007) [5] F. Raimondi, J. Skene, W. Emmerich, and B. Wo ´ zna.: “A methodology for online monitoring non-functional specification of web-services”. In D. K. C. Attiogb ´ e, editor, Proceedings of the First International Workshop on Property Verification for Software Components and Services (PROVECS’07), number 567 in ETH Technical Report, pages 50–59. COLOSS Team - University of Nantes (2007)

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

60

دنمشوه ي اه متسيس هاگشيامز آ www.ceit.aut.ac.ir/islab

امش هجوت زا رکشت اب

61