We describe the concept of AutoFocus, a tool for the speci-cation of distributed systems. AutoFocus is based on the formal development method Focus and uses graphical description formalisms embedded into its semantical framework, thus ooering well-accepted notations while retaining the ability for exact consistency checks of a system under development. The… (More)
State-of-the-art software development increasingly relies on describing the system (or software) graphically, abstracting from an actual implementation platform, and supporting to generate an executable system out of the model. Similarly, in electrical engineering often graphically represented models are used to describe the controlled system including its… (More)
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-deened dependencies between the models… (More)
Zusammenfassung Dieses Papier stellt eine methodische Vorgehensweise f ur die Modellierung dynami-scher und mobiler verteilter Systeme in Focus vor. Focus ist eine formale Methodik zur Entwicklung und Speziikation verteilter, reaktiver Systeme. Wir geben Leitf aden und Speziikationsschemata f ur dynamische, mobile Systeme an, gefolgt von der Be-schreibung… (More)
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty y ears a wide variety o f description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-deened dependencies between the… (More)
die Zusammenarbeit im Team sowie eine Einführung in Projektmanagement mit-zugeben.
1 About this Book The RPC-Memory speciication problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. The idea was to use it as a basis for comparing various approaches to formal speciica-tion, reenement, and veriication. Various preliminary solutions were presented and discussed during a workshop… (More)