Utmaningen för systemspecifikation är hur man visuellt och exakt fångar in statiska, dynamiska och realtidssystemegenskaper på ett mycket strukturerat sätt. Timed Cornmunicating Object-Z (TCOZ) är en integrerad formell notation som bygger på Object-Z:s styrkor i modellering av komplexa datastrukturer, och på Timed CSP:s styrkor i modellering av interaktioner i realtid. I detta papper; Vi demonstrerar metoder för att använda XMUXSL som ett omvandlingsverktyg för att visualisera TCOZ modeller i olika UML diagram och att animera TCOZ specificationer med en multi-paradigm programmeringsspråk -Oz.
Ett tillvägagångssätt demonstreras med hjälp av XML som i själva verket är ett omvandlingsverktyg för att analysera visualisera tid Kommunicerande objekt Z (TCOZ) modeller i olika UML diagram animering specifikation med en multiparadigm programmeringsspråk som diskuteras i REF.
A XML/XSL approach to visualize and animate TCOZ
{'venue': 'Proceedings Eighth Asia-Pacific Software Engineering Conference', 'journal': 'Proceedings Eighth Asia-Pacific Software Engineering Conference', 'mag_field_of_study': ['Computer Science']}