Visual Modeling of Distributed Object Systems by Graph Transformation

《Visual Modeling of Distributed Object Systems by Graph Transformation》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、UR:http://www.elsevier.nl/lo ate/ent s/volume55.htmlpp.1{VisualodelingofDistributedbje tSystemsbyGraphTransformation1GabrieleTaentzerUniversityofaderborn,gabiupb.deAbstra tAvisualmodelingte hniquefordistributedobje tsystemsbasedongraphtrans-formationispresented.
tin

2、ludesthegraphi aldes riptionofthenetworkanditsdynami re ongurationaswellasthe omponentinterfa esandlo alobje tsys-temsandtheirbehavior.Typi alissuesindistributedsystemslikeremoteobje tintera tion,obje tmigrationandrepli ation, ommuni ationandsyn hronizationareexpressible

3、inthiste hnique.Thenotationis losetoU.
textendstheUnotationwhereneeded.Usinggraphtransformationasunderlyingformalframework,distributedbehaviorisdesignedinawaythat onsisten yofthenet-work,aswellasofallobje tanddatastru turesinvolved,isensured.1
ntrodu tionDistributedsy

4、stemsdemandanumberofrequirementsonspe i ationte h-niqueswhi hhavetobetakenintoa ountinadditiontothedevelopmentofnon-distributedsoftware.Allo ationofobje tsandtaskstonetworknodes,obje trepli ationandmigration,remoteintera tions,multiplethreadsof on-trolaswellasdynami net

5、worktopologiesareimportantissuesindistributedsystems.Someofthesedistributionissues,su hasobje tallo ation,areal-readyhandledby ommonmodelingte hniquesforobje t-orientedsystems,su hasU[20℄,butotherslikesystemre onguration annotbedesignedsuÆ ientlywiththete hniquesavaila

6、ble.Furthermore,thereareanumberofformalspe i ationte hniques,su hastemporallogi s[17℄,pro essalgebras[14℄,etrinets[15℄,anda torsystems[1℄,tomodelthe on urrentbehav-iorofdistributedsystems.Thestru turalaspe tsofdistributedsystemsarehardlyta kledbytheseapproa hes.oreover

7、,dynami re ongurationofadistributedsystemaswellasdistributeddatahandling annotbeaddresseddire tlybymostofthete hniques.Consideringallthete hniquesmentioned,a torsystemsarethatte hniquemeetingmostofthefeaturesrequired.But1ntheleaveof:Te hni alUniversityofBerlin,e-mail:ga

8、bi s.tu-berlin.de2001ublishedbyElsevierS ien eB.V.alsothiste hniquedoesnotsupportthehandlingof