Скачать презентацию ﺍﺭﺍﺋﻪ ﺭﻭﺷﻲ ﺑﺮﺍﻱ پﻴگﻴﺮﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ Скачать презентацию ﺍﺭﺍﺋﻪ ﺭﻭﺷﻲ ﺑﺮﺍﻱ پﻴگﻴﺮﻱ ﺗﻐﻴﻴﺮﺍﺕ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ

a3fed9e8111c295dfe43506f2dac1998.ppt

  • Количество слайдов: 61

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 34 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ 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 ﻣﻘﺎﻻﺕ ﺍﺭﺍﺋﻪﺷﺪﻩ 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 ﻣﺮﺍﺟﻊ - کﺘﺎﺏﻫﺎ ﻭ پﺎﻳﺎﻥﻧﺎﻣﻪﻫﺎ [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 ﻣﺮﺍﺟﻊ - کﻴﻔﻴﺖ ﺩﺭ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ [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 ﻣﺮﺍﺟﻊ - ﻣﺪﻝﺳﺎﺯﻱ کﻴﻔﻴﺖ [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 ﻣﺮﺍﺟﻊ - ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ [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. ﻣﺮﺍﺟﻊ - ﻣﺪﻝﺳﺎﺯﻱ ﻣﻌﻤﺎﺭﻱ ﺳﺮﻭﻳﺲگﺮﺍ [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 ﻣﺮﺍﺟﻊ - ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ [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 ﻣﺮﺍﺟﻊ - ﺳﻴﺴﺘﻢ ﺩگﺮﺩﻳﺴﻲ گﺮﺍﻑ [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 ﻣﺮﺍﺟﻊ - پﻴگﻴﺮﻱ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ [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, ﻣﺮﺍﺟﻊ - پﻴگﻴﺮﻱ ﻭﻳژگﻲﻫﺎﻱ کﻴﻔﻲ [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ó. ﻣﺮﺍﺟﻊ - ﺗﺤﻘﻴﻘﺎﺕ ﻣﺸﺎﺑﻪ [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 ﻣﺮﺍﺟﻊ - ﺗﺤﻘﻴﻘﺎﺕ ﻣﺸﺎﺑﻪ [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. ﺑﺎ ﺗﺸکﺮ ﺍﺯ ﺗﻮﺟﻪ ﺷﻤﺎ 16 آﺰﻣﺎﻳﺸگﺎﻩ ﺳﻴﺴﺘﻢﻫﺎﻱ ﻫﻮﺷﻤﻨﺪ www. ceit. aut. ac. ir/islab