Specificarea problemelor clasice de concurenţă utilizând Object-Z

Abstract

Concurenţa, fiind o proprietate critică de sistem, trebuie luată în considerare încă de la etapele iniţiale de elaborare – arhitecturare. Descrierea proprietăţilor arhitecturale se fac prin intermediul limbajelor de specificare. Din multitudinea limbajelor, datorită avantajelor specifice, anume cele formale au un potenţial ridicat de utilizare în dezvoltarea sistemelor moderne ce sunt inerent concurente. În această lucrare se va examina posibilităţile limbajului Object-Z de specificare a sistemelor concurente analizând două probleme clasice de concurenţă.