ارائه روش ي براي پيگيري تغييرات ويژگي هاي کيفي در نرم افزارهايي با معماري سرويس گرا ارائه دهنده : فرنوش گلشن استاد راهنما : دکتر عبدهللا زاده بهمن.
Download ReportTranscript ارائه روش ي براي پيگيري تغييرات ويژگي هاي کيفي در نرم افزارهايي با معماري سرويس گرا ارائه دهنده : فرنوش گلشن استاد راهنما : دکتر عبدهللا زاده بهمن.
اب ي ياهراز فا مرن رد يفيک ياه يگژيو تارييغت يريگيپ يارب يشور هئارا ارگ سيورس يرامعم
نشلگ شونرف : هدنهد هئارا هداز اللهدبع رت کد 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