Baserat på en kategorisk semantik som har utvecklats nyligen studerar vi komposition och re nement som horisontella och vertikala struktureringstekniker för typade graftransformationssystem. Sammansättning av graftransformationssystem w.r.t. gemensamma delsystem visas vara kompatibla med semantiken, dvs. semantiken i det sammansatta systemet erhålls som sammansättningen av semantiken i komponentsystemen. Dessutom bevaras strukturen i ett sammansatt graftransformationssystem under ett re nement steg i den meningen att kompatibla re nements av komponenterna framkallar en re nement av sammansättningen. Koncepten och resultaten illustreras av en urvalsutveckling av ett litet informationssystem med hjälp av modelleringsmetoder för relation mellan enheter.
Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. REF bygger på ett syntaktiskt samband mellan två graftransformationssystem.
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
{'venue': 'Mathematical Structures in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}