Abstract-interaktion-baserad och stat-baserad modellering är två kompletterande metoder för beteendemodellering. Den förra fokuserar på globala interaktioner mellan systemkomponenter. Den senare koncentrerar sig på de interna tillstånden för enskilda komponenter. Båda metoderna har visat sig användbara i praktiken. Ett utmanande och viktigt forskningsmål är att kombinera modelleringskraften hos både effektivt och sedan använda kombinationen som grund för automatisk konstruktionssyntes. Vi presenterar en kombination av interaktionsbaserad och statsbaserad modellering, nämligen Live Sequence Charts och Z, för systemspecifikation. Vi föreslår sedan ett sätt att generera distribuerad design från kombinationerna. Vår strategi hanterar system med intensiva interaktiva beteenden samt komplexa tillståndsstrukturer.
Författarna till REF kombinerar LSC-notationen med Z och föreslår en syntesmetod för att generera distribuerade finita tillståndskonstruktioner från de kombinerade specifikationerna.
Design synthesis from interaction and state-based specifications
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}