VDM Heynen, A: Automaten im Kontext - Anwendungsverhalten per De

Durch die wachsende Integration des Internets in unseren Alltag werden Anwendungen häufig nicht nur auf einem speziellen Ausgabegerät benutzt, sondern müssen variabel genug sein, um den Umständen entsprechend das verlangte Verhalten bereitzustellen. So hat z.B. ein Benutzer am heimischen PC andere Ziele und Erwartungen beim Kauf eines Bahntickets als ein Benutzer, der sich dieses in Eile mit seinem Handy lösen möchte, obwohl beide im Grunde die selbe Anwendung benutzen. Ziel dieser Arbeit ist es, aufgaben- und zustandsbasierte Modellierungsansätze zu kombinieren und kleinstmögliche Muster zu bilden, um Anwendungseigenschaften zu beschreiben. Erst aus der Kombination dieser Muster ergibt sich das konkrete Anwendungsverhalten, wodurch dieses optimal auf die jeweiligen Umstände zugeschnitten werden kann.