ﺍﺭﺍﺋﻪ ﺭﻭﺷﻲ ﺑﺮﺍﻱ پﻴگﻴﺮﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ

ﺍﺭﺍﺋﻪ ﺭﻭﺷﻲ ﺑﺮﺍﻱ پﻴگﻴﺮﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﺩﺭ ﻧﺮﻡﺍﻓﺰﺍﺭﻫﺎﻳﻲ ﺑﺎ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺍﺭﺍﺋﻪ ﺩﻫﻨﺪﻩ : ﻓﺮﻧﻮﺵ گﻠﺸﻦ ﺍﺳﺘﺎﺩ ﺭﺍﻫﻨﻤﺎ: ﺩکﺘﺮ ﻋﺒﺪﺍﻟﻠﻪ ﺯﺍﺩﻩ ﺑﻬﻤﻦ 78 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻓﻬﺮﺳﺖ ﻣﻄﺎﻟﺐ ﺗﻌﺮﻳﻒ ﻣﺴﺌﻠﻪ ﻧگﺎﻫﻲ ﺑﺮ ﺗﺤﻘﻴﻘﺎﺕ ﻣﺮﺗﺒﻂ ﺭﺍﻫکﺎﺭ پﻴﺸﻨﻬﺎﺩﻱ ﻣﻮﺭﺩ ﻣﻄﺎﻟﻌﺎﺗﻲ ﻧﺘﻴﺠﻪگﻴﺮﻱ ﻣﺮﺍﺟﻊ 2 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺗﻌﺮﻳﻒ ﻣﺴﺌﻠﻪ

ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﻳک ﺭﻭﻳکﺮﺩ ﻣﻌﻤﺎﺭگﻮﻧﻪ ﺑﺮﺍﻱ ﺗﻮﻟﻴﺪ ﺳﻴﺴﺘﻢﻫﺎ ﻳﺎ ﻧﺮﻡﺍﻓﺰﺍﺭﻫﺎﻳﻲ ﺍﺳﺖ کﻪ ﺍﺯ ﺳﺮﻭﻳﺲﻫﺎﻱ ﻣﺨﺘﻠﻒ ﺗﺸکﻴﻞ ﺷﺪﻩ ﻳﺎ ﺍﺳﺘﻔﺎﺩﻩ ﻣﻲﺑﺮﻧﺪ. 4 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

پﻮﻳﺎﻳﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ Service B Service A Service C Service D Service I Core Service E Service H Service G آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab Service F 5

کﻴﻔﻴﺖ ﺩﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺳﺎﺧﺘﺎﺭ ﺗﺮکﻴﺒﻲ ﺗﻮﺯﻳﻊﺷﺪگﻲ ﻧﺎﻫﻤگﻮﻧﻲ پﻮﻳﺎﻳﻲ 6 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺗﻌﺮﻳﻒ ﻣﺴﺌﻠﻪ ﻫﺪﻑ ﺍﺻﻠﻲ پﺮﻭژﻪ، ﺍﺭﺍﺋﻪ ﺭﻭﺵ ﻳﺎ ﺗکﻨﻴکﻲ ﺧﻮﺩکﺎﺭ ﺍﺳﺖ کﻪ ﺑﺎ ﺍﺳﺘﻔﺎﺩﻩ ﺍﺯ آﻦ ﺑﺘﻮﺍﻥ ﻫﻢﺯﻣﺎﻥ ﺑﺎ ﺍﺟﺮﺍﻱ ﻧﺮﻡﺍﻓﺰﺍﺭ ﺳﺮﻭﻳﺲگﺮﺍ، ﺑﺮآﻮﺭﺩﻱ ﺍﺯ ﻭﺿﻌﻴﺖ ﻋﻤﻮﻣﻲ کﻴﻔﻴﺖ ﺳﻴﺴﺘﻢ ﺩﺭ ﺩﺳﺖ ﺩﺍﺷﺖ. ﺭﻭﺵ ﺧﻮﺩکﺎﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ 7 کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﺯﻣﺎﻥ ﺍﺟﺮﺍ آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻧگﺎﻫﻲ ﺑﺮ ﺗﺤﻘﻴﻘﺎﺕ ﻣﺮﺗﺒﻂ

ﺩﺳﺘﻪﺑﻨﺪﻱ ﺗﺤﻘﻴﻘﺎﺕ ﻣﺮﺗﺒﻂ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ کﻴﻔﻴﺖ ﺯﻣﺎﻥ ﺗﻮﻟﻴﺪ ﻋﻤﻮﻣﻲ 9 ﺯﻣﺎﻥ ﺍﺟﺮﺍ SLA Qo. S آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺩﺳﺘﻪﺑﻨﺪﻱ ﺗﺤﻘﻴﻘﺎﺕ ﻣﺮﺗﺒﻂ ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﻣﻬﻨﺪﺳﻲ ﻧﺮﻡﺍﻓﺰﺍﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ UML GTS + FURP Feature Modeling UML Profile Boehm Mc. Call … 01 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺩﺳﺘﻪﺑﻨﺪﻱ ﺗﺤﻘﻴﻘﺎﺕ ﻣﺮﺗﺒﻂ پﻴگﻴﺮﻱ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺯﻣﺎﻥ ﺗﻮﻟﻴﺪ ﻋﻤﻮﻣﻲ 11 ﺯﻣﺎﻥ ﺍﺟﺮﺍ SLA Qo. S آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺩﺳﺘﻪﺑﻨﺪﻱ ﺗﺤﻘﻴﻘﺎﺕ ﻣﺮﺗﺒﻂ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﻣﻬﻨﺪﺳﻲ ﻧﺮﻡﺍﻓﺰﺍﺭ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ کﺎﺭکﺮﺩﻱ ﻣﺘﺎﻣﺪﻝ ﺯﺑﺎﻥﻫﺎﻱ ﺷﻬﻮﺩﻱ ﺍﻋﺘﺒﺎﺭﺳﻨﺠﻲ ﺍﻟگﻮﻱ ﻣﻌﻤﺎﺭﻱ ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ پﻮﻳﺎ ﺗﻮﺻﻴﻒ ﻣﻌﻨﺎﻳﻲ ﺳﺮﻭﻳﺲ ﻣﺪﻳﺮﻳﺖ ﺗﻐﻴﻴﺮﺍﺕ ﺩﺭ ﻓﺮآﻴﻨﺪ ﺗﻮﻟﻴﺪ 21 ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺧﻮﺩکﺎﺭﺳﺎﺯﻱ ﺍﻧﺘﺨﺎﺏ ﺳﺮﻭﻳﺲ آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺗﺤﻘﻴﻘﺎﺕ ﻣﺸﺎﺑﻪ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﺯﻣﺎﻥ ﺍﺟﺮﺍ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ x x x x آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺗﺤﻘﻴﻖ Qo. S SLA x x ﻭﻳژگﻲﻫﺎﻱ کﺎﺭکﺮﺩﻱ x Modeling and validation of serviceoriented architectures: Application vs. style. x Towards automatic selection of web services using graph transformation rules x Dynamic change management by distributed graph transformation: Towards configurable distributed systems x x Service selection based on non-functional properties x A methodology for online monitoring nonfunctional specification of webservices 13

ﺭﺍﻫکﺎﺭ پﻴﺸﻨﻬﺎﺩﻱ

ﺭﺍﻫکﺎﺭ پﻴﺸﻨﻬﺎﺩﻱ ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ ﺍﻳﺴﺘﺎ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ پﻮﻳﺎ ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺍﺭﺍﺋﻪ ﺭﻭﺵ ﺳﻨﺠﺶ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﻣﺪﻝﺳﺎﺯﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ 51 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺒﺎﻧﻲ ﻭ ﺗﻌﺎﺭﻳﻒ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻳک گﺮﺍﻑ ﺷﺎﻣﻞ ﻣﺠﻤﻮﻋﻪﺍﻱ ﺍﺯ ﺭﺍﺱﻫﺎﻱ V ﻭ ﻣﺠﻤﻮﻋﻪﺍﻱ ﺍﺯ ﻳﺎﻝﻫﺎﻱ E ﺍﺳﺖ ﺑﻪ ﻧﺤﻮﻱکﻪ ﻫﺮ ﻳﺎﻝ e ﺍﺯ E ﻳک ﺭﺍﺱ ﻣﺒﺪﺍ (S(e ﻭ ﻳک ﺭﺍﺱ ﻣﻘﺼﺪ (T(e ﺍﺯ ﻣﺠﻤﻮﻋﻪ V ﺧﻮﺍﻫﺪ ﺩﺍﺷﺖ. Typed Graphs Instance Graphs 61 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺒﺎﻧﻲ ﻭ ﺗﻌﺎﺭﻳﻒ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺗﻨﺎﻇﺮ ﺣﻔﻆ ﺳﺎﺧﺘﺎﺭ Preservation Mapping- Structure 71 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺒﺎﻧﻲ ﻭ ﺗﻌﺎﺭﻳﻒ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻗﻮﺍﻋﺪ ﻭ ﺗﺒﺪﻳﻼﺕ ﺷﺎﻣﻞ ﺯﻭﺝ گﺮﺍﻑ ﻧﻤﻮﻧﻪﺍﻱ L ﻭ R ﺍﺳﺖ ﻳک ﻗﺎﻋﺪﻩ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺑﻪﻃﻮﺭﻱکﻪ ﺗﻌﺮﻳﻒﺷﺪﻩ ﺑﺎﺷﺪ. ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻳک ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺍﺯ ﺣﺎﻟﺖ ﻗﺒﻠﻲ G ﺑﻪ ﺣﺎﻟﺖ ﺑﻌﺪﻱ H کﻪ ﺑﺎ ﻧﻤﺎﻳﺶ ﻣﻲﻳﺎﺑﺪ، ﺑﺎ ﻳک ﻫﻤﻮﻣﻮﺭﻓﻴﺰﻡ ﺑﻪ ﺷکﻞ کﻪ ﺭﺧﺪﺍﺩ ) (Occurrence ﻧﺎﻣﻴﺪﻩ ﻣﻲﺷﻮﺩ، ﺻﻮﺭﺕ ﻣﻲپﺬﻳﺮﺩ، ﺑﻪﻃﻮﺭﻱکﻪ: 81 ﻭ ﻭ آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ 91 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

چﺮﺍ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻓﺮﻣﺎﻝ ﻋﺪﻡ ﻧﻴﺎﺯ ﺑﻪ ﺯﺑﺎﻥﻫﺎﻱ specification پﻴچﻴﺪﻩ ﺳﻬﻮﻟﺖ ﻭ ﻗﺎﺑﻠﻴﺖ ﺷﻬﻮﺩﻱ ﻭ ﻧﻤﻮﺩﺍﺭﻱ پﺘﺎﻧﺴﻴﻞ ﻣﺪﻝﺳﺎﺯﻱ ﻣﺴﺎﺋﻞ کﻴﻔﻴﺖ ﻗﺎﺑﻠﻴﺖ ﺗﺤﻠﻴﻞ ﻭ پﻴﺶﺑﻴﻨﻲ ﺑﺮ ﺭﻭﻱ ﺳﺎﺧﺘﺎﺭﻫﺎﻱ گﺮﺍﻑگﻮﻧﻪ ﻗﺎﺑﻠﻴﺖ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ پﻮﻳﺎ ﻗﺎﺑﻠﻴﺖ کﺎﺭ ﺑﺎ ﺩﻳﺎگﺮﺍﻡﻫﺎﻱ UML ﺳﻮﺍﺑﻖ ﺗﺤﻘﻴﻘﺎﺗﻲ ﻣﻮﻓﻖ ﺩﺭ ﺣﻞ ﻣﺴﺎﺋﻞ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ 02 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺭﺍﻫکﺎﺭ پﻴﺸﻨﻬﺎﺩﻱ ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ ﺍﻳﺴﺘﺎ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ پﻮﻳﺎ ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺍﺭﺍﺋﻪ ﺭﻭﺵ ﺳﻨﺠﺶ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﻣﺪﻝﺳﺎﺯﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ 12 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﻣﺪﻝ ﺍﻳﺴﺘﺎ ﻋﻨﺎﺻﺮ ﺳﺎﺧﺘﺎﺭﻱ ﻣﺎﻧﻨﺪ Component ﻫﺎ ﻭ Service ﻫﺎ. Service Specification ﻫﺎﻳﻲ کﻪ ﺑﺮﺍﻱ ﺗﻮﺻﻴﻒ ﺳﺮﻭﻳﺲﻫﺎ ﻭ ﻧﻴﺎﺯﻣﻨﺪﻱﻫﺎ ﺑﻪکﺎﺭ ﻣﻲﺭﻭﻧﺪ. ﻣﺪﻝ پﻮﻳﺎ 22 پﻴﻐﺎﻡﻫﺎ ﺑﺮﺍﻱ ﻣﺪﻝ کﺮﺩﻥ ﺍﺭﺗﺒﺎﻃﺎﺕ. ﻗﻮﺍﻋﺪ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

32 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ - ﺑﺨﺶ پﻮﻳﺎ ﻗﺎﻋﺪﻩ send. Connection. Request ﺑﻴﺎﻥ ﺷﺪﻩ ﺩﺭ ﻗﺎﻟﺐ ﻣﺪﻝ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ. 42 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ - ﺑﺨﺶ پﻮﻳﺎ ﻗﺎﻋﺪﻩ Connect. To. Service 52 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ - ﺑﺨﺶ پﻮﻳﺎ ﻗﺎﻋﺪﻩ Disconnect. From. Service 62 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺭﺍﻫکﺎﺭ پﻴﺸﻨﻬﺎﺩﻱ ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ ﺍﻳﺴﺘﺎ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ پﻮﻳﺎ ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺍﺭﺍﺋﻪ ﺭﻭﺵ ﺳﻨﺠﺶ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﻣﺪﻝﺳﺎﺯﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ 72 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﺑﺎ 82 UML Profile آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﺑﺎ 92 UML Profile آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

چﺮﺍ UML Profile ﺷﻬﻮﺩﻱ ﻭ ﺳﺎﺩگﻲ ﺩﺍﻧﺶ ﺍﺳﺘﻔﺎﺩﻩ ﻣﺘﺪﺍﻭﻝ ﺑﻮﺩﻥ ﺩﺭ ﺗﻮﻟﻴﺪ ﻣﺴﺘﻨﺪﺍﺕ پﺮﻭژﻪﻫﺎﻱ ﻧﺮﻡﺍﻓﺰﺍﺭﻱ گﺮﺍﻑﻣﺎﻧﻨﺪ ﺑﻮﺩﻥ ﻗﺎﺑﻠﻴﺖ ﺗﻠﻔﻴﻖ ﺑﺎ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺳﻬﻮﻟﺖ ﺗﻐﻴﻴﺮ ﻭ ﺗﻮﺳﻌﻪ ﺳﻮﺍﺑﻖ ﺗﺤﻘﻴﻘﺎﺗﻲ ﻣﻮﻓﻖ ﺩﺭ ﻣﺪﻝﻧﻤﻮﺩﻥ کﻴﻔﻴﺖ 03 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ - ﺑﺨﺶ ﺍﻳﺴﺘﺎ 13 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺭﺍﻫکﺎﺭ پﻴﺸﻨﻬﺎﺩﻱ ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ ﺍﻳﺴﺘﺎ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ پﻮﻳﺎ ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ ﺩﺭ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﺍﺭﺍﺋﻪ ﺭﻭﺵ ﺳﻨﺠﺶ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﻣﺪﻝﺳﺎﺯﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ 23 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺭﻭﺵ ﺳﻨﺠﺶ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ 33 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺭﻭﺵ ﺳﻨﺠﺶ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ 43 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ 53 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺪﻝﺳﺎﺯﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ 63 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺭﺍﻫکﺎﺭ پﻴﺸﻨﻬﺎﺩﻱ 1. ﺍﺑﺘﺪﺍ ﻓﻀﺎﻱ ﻣﺴﺌﻠﻪ، ﻳﻌﻨﻲ ﻣﺪﻝ ﻣﺮﺟﻊ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺭﺍ ﺩﺭ ﻗﺎﻟﺐ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ ﻣﺪﻝﺳﺎﺯﻱ ﻣﻲکﻨﻴﻢ. ﺷﺎﻣﻞ ﺟﻨﺒﻪﻫﺎﻱ ﺍﻳﺴﺘﺎ ﺩﺭ ﻗﺎﻟﺐ کﻼﺱ ﺩﻳﺎگﺮﺍﻡﻫﺎ ﺑﺨﺶﻫﺎﻱ پﻮﻳﺎ ﺩﺭ ﻗﺎﻟﺐ ﻗﻮﺍﻋﺪ ﺩگﺮﺩﻳﺴﻲ ﺩﻭ ﻗﺎﻋﺪﻩ ﻣﻬﻢ ﺍﺗﺼﺎﻝ ﺑﻪ ﺳﺮﻭﻳﺲ ﻭ ﻗﻄﻊ ﺍﺯ آﻦ 2. ﺩﺭ ﻣﺮﺣﻠﻪ ﺑﻌﺪ، UML Profile ﺍﻱ ﺑﺮﺍﻱ ﻣﺪﻝﺳﺎﺯﻱ ﻣﺠﻤﻮﻋﻪ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﻣﻮﺭﺩ ﻧﻈﺮ ﺍﻧﺘﺨﺎﺏ ﻳﺎ ﺍﺭﺍﺋﻪ ﻣﻲکﻨﻴﻢ. 3. ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﻣﺪﻝﺷﺪﻩ ﺭﺍ ﺑﻪ ﻣﺪﻝ ﺍﻳﺴﺘﺎﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺍﺿﺎﻓﻪ ﻣﻲکﻨﻴﻢ. 4. ﺑﺮﺍﻱ ﻣﺪﻝﺳﺎﺯﻱ ﺟﻨﺒﻪﻫﺎﻱ ﻣﺘﻐﻴﺮ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ، ﺍﺑﺘﺪﺍ ﺑﺎﻳﺪ ﺭﻭﺷﻲ ﺑﺮﺍﻱ ﺳﻨﺠﺶ کﻴﻔﻴﺖ کﻞ ﺍﺯ ﺭﻭﻱ کﻴﻔﻴﺖ ﺍﺟﺰﺍ ﻭ کﻤﻲﺳﺎﺯﻱ ﺗﻐﻴﻴﺮﺍﺕ ﺩﺍﺷﺘﻪ ﺑﺎﺷﻴﻢ. 5. ﺑﺮ ﺍﺳﺎﺱ ﺭﻭﺵ ﻣﻮﺭﺩ ﻧﻈﺮ ﺑﺮﺍﻱ ﺑﺮآﻮﺭﺩ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ، ﺩﻭ ﻗﺎﻋﺪﻩ ﻣﻄﺮﺡ ﺩﺭ ﻣﺪﻝ ﺭﺍ ﺑﻪگﻮﻧﻪﺍﻱ ﺗﻐﻴﻴﺮ ﻣﻲﺩﻫﻴﻢ ﺗﺎ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﺭﺍ ﻧﻴﺰ ﺑﺮ ﺍﺳﺎﺱ ﺗﻮﺍﺑﻊ ﺗﻌﺮﻳﻒﺷﺪﻩ پﺸﺘﻴﺒﺎﻧﻲ کﻨﻨﺪ. 73 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﻮﺭﺩ ﻣﻄﺎﻟﻌﺎﺗﻲ

ﻣﺴﺌﻠﻪ ﻣﺪﻳﺮﻳﺖ ﺯﻧﺠﻴﺮﻩ ﺗﺄﻤﻴﻦ 93 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﺳﻨﺎﺭﻳﻮﻱ ﻣﺴﺌﻠﻪ ﻣﺪﻳﺮﻳﺖ ﺯﻧﺠﻴﺮﻩ ﺗﺄﻤﻴﻦ 04 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

14 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

24 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

34 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻧﺘﻴﺠﻪگﻴﺮﻱ

ﺩﺳﺘﺎﻭﺭﺩﻫﺎﻱ پﺮﻭژﻪ ﺍﺭﺍﺋﻪ ﺭﻭﺵ ﻣﺪﻝﺳﺎﺯﻱ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﺩﺭ ﻗﺎﻟﺐ ﻣﺪﻝ ﻓﺮﻣﺎﻝ ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ. ﺍﺭﺍﺋﻪ ﻳک UML Profile ﻧﻤﻮﻧﻪ ﺑﺮﺍﻱ ﺗﻌﺮﻳﻒ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﺩﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ. ﺍﺭﺍﺋﻪ ﺗﻮﺍﺑﻊ ﺑﺮآﻮﺭﺩ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﺳﻴﺴﺘﻢ ﺳﺮﻭﻳﺲگﺮﺍ ﺑﺎ ﺗﻮﺟﻪ ﺑﻪ کﻴﻔﻴﺎﺕ ﺍﺟﺰﺍﻱ آﻦ. ﺍﺭﺍﺋﻪ ﺭﻭﺷﻲ ﺑﺮﺍﻱ پﻴگﻴﺮﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﺩﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ. ﺍﺭﺍﺋﻪ کﺎﺭﺑﺮﺩﻫﺎﻱ ﺗﻮﺳﻌﻪﻳﺎﻓﺘﻪ ﺭﻭﺵ ﺍﺭﺍﺋﻪﺷﺪﻩ ﺩﺭ ﺣﻞ ﻣﺴﺎﺋﻞ ﺩﻳگﺮ. ﺗکﻤﻴﻞ کﺎﺭ Baresi ﻭ Heckel ﺍﺯ ﻧﻈﺮ ﺍﻓﺰﻭﺩﻥ ﺟﻨﺒﻪﻫﺎﻱ کﻴﻔﻲ ﺑﻪ ﺍﻳﻦ ﺩﻭ ﺭﻭﺵ. 54 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

کﺎﺭﺑﺮﺩﻫﺎﻱ ﺭﻭﺵ ﺍﺭﺍﺋﻪﺷﺪﻩ ﻣﺪﻳﺮﻳﺖ کﻴﻔﻴﺖ ﺩﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ ﺗﺠﻬﻴﺰ ﻣﺆﻠﻔﻪ ﺍﻧﺘﺨﺎﺏگﺮ ﺳﺮﻭﻳﺲ پﻴﺶﺑﻴﻨﻲ ﻭ ﺗﺼﻤﻴﻢگﻴﺮﻱ ﺑﺮﺍﻱ ﺍﻧﺘﺨﺎﺏ ﺳﺮﻭﻳﺲ پﻴﺶﺑﻴﻨﻲ ﻭ ﺟﻠﻮگﻴﺮﻱ ﺍﺯ ﻭﻗﻮﻉ پﻴکﺮﻩﺑﻨﺪﻱﻫﺎﻱ ﻣﺨﺮﺏ 64 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﻘﺎﻻﺕ ﺍﺭﺍﺋﻪﺷﺪﻩ 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 کﺎﻣﻞ ﺍﺯ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ ﻣﻬﻢ ﺩﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ. ﺑﻬﺒﻮﺩ ﺗﻮﺍﺑﻊ ﺳﻨﺠﺶ کﻴﻔﻴﺖ ﻋﻤﻮﻣﻲ ﺑﺮﺍﻱ ﻣﺤﺎﺳﺒﻪ ﺑﺎ ﺩﻗﺖ ﺑﺎﻻﺗﺮ. پﻴﺎﺩﻩﺳﺎﺯﻱ ﺭﻭﺵ ﺍﺭﺍﺋﻪ ﺷﺪﻩ ﺩﺭ ﻣﺆﻠﻔﻪ ﺍﻧﺘﺨﺎﺏگﺮ ﺳﺮﻭﻳﺲ. 84 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab

ﻣﺮﺍﺟﻊ

ﻣﺮﺍﺟﻊ - کﺘﺎﺏﻫﺎ ﻭ پﺎﻳﺎﻥﻧﺎﻣﻪﻫﺎ [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/soaquality. 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 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 19 th 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. Cuesta 1 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/agengels/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. 402429, 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. 6 th ICSE Workshop on Component-Based Software Engineering (CBSE 6): 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 3 rd 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. Ben. Khadra, 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. XMLClearinghouse, 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

ﺑﺎ ﺗﺸکﺮ ﺍﺯ ﺗﻮﺟﻪ ﺷﻤﺎ 16 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab