Många distribuerade applikationer kan förstås i termer av komponenter som interagerar i en öppen miljö som Internet. Öppna miljöer kan förändras på oförutsägbara sätt, eftersom andra applikationer kan komma, utvecklas eller försvinna. För att validera komponenter i sådana miljöer kan det vara användbart att bygga en simuleringsmiljö som speglar detta högst oförutsägbara beteende. I detta dokument, validering av komponenter med avseende på beteendemässiga gränssnitt beaktas. Beteendegränssnitt anger semantiska krav på det observerbara beteendet hos komponenter, uttryckt i en antagande-garanti stil. I vårt tillvägagångssätt är en omskrivningslogikmodell transparent utökad med historien om all observerbar kommunikation, och metanivåstrategier används för att styra simuleringen av miljöbeteende. Överspecifikation av miljön undviks genom att tillåta godtyckligt miljöbeteende inom gränserna för antagandet om observerbart beteende, medan komponenten valideras med avseende på garantin för beteendegränssnittet.
Validering av komponentgränssnitt som specificeras i omskrivningslogiken är också föremål för REF.
Validating Behavioral Component Interfaces in Rewriting Logic
{'venue': 'ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 159, MAY 2006, 187–204, PROCEEDINGS OF THE IPM INTERNATIONAL WORKSHOP ON FOUNDATIONS OF SOFTWARE ENGINEERING (FSEN', 'journal': None, 'mag_field_of_study': ['Computer Science']}