This chapter describes a project accomplished by Niels T. Sørensen, Bang & Olufsen A/S, Struer, Denmark, in cooperation with Søren Christensen and Jens B. Jørgensen, Aarhus University, Denmark. The chapter is based upon the material presented in . The project was conducted in 1995–96.
KeywordsPage Model Message Sequence Chart Substitution Transition Executable Model Lock Manager
Unable to display preview. Download preview PDF.