Abstrakt. UML-RT är en förlängning av UML för modellering av inbyggda reaktiva och realtidsprogram. Dess särskilda fokus ligger på systembeskrivningar på den arkitektoniska nivån, dvs. den övergripande systemstrukturen. I detta dokument föreslår vi att använda UML-RT strukturdiagram tillsammans med den formella metoden CSP-OZ kombinerar CSP och Object-Z. Medan CSP-OZ används för att ange själva systemkomponenterna (med CSP-OZ-klasser), ger UML-RT-diagram arkitekturbeskrivningen. Den vanliga arkitekturen när det gäller CSP-operatörernas parallella sammansättning, namnbyte och döljande ersätts således av en grafisk beskrivning. För att bevara den formella semantiken av CSP-OZ specifications utvecklar vi en översättning från UML-RT strukturdiagram till CSP. Förutom att uppnå en mer lättillgänglig, grafisk arkitekturmodellering för CSP-OZ, ger vi därmed också en semantik till UML-RT strukturdiagram.
Fischer m.fl. I REF föreslås konvertering av UML-RT strukturdiagram till CSP process algebra.
A CSP View on UML-RT Structure Diagrams
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}