A method and apparatus are provided for controlling the execution of a software program. According to one embodiment, control flow information including multiple states associated with a software program is made accessible. Each of the states includes information indicative of desired control flow of the software program and information indicative of desired behavior of the software program. A determination is made if a current status of the software program has a predetermined relationship with an expected state of execution of the software program. Based upon the result of the determination and the information indicative of desired behavior, the software program is caused to perform an action and caused to transition from the current state to a next state. According to another embodiment, specification of a control flow architecture associated with a software program is simplified to the provision of certain control flow information that is accessible to a control flow engine. The control flow information need only include information indicative of desired control flow of the software program and information indicative of desired behavior of the software program.

Eine Methode und ein Apparat werden für das Steuern der Durchführung eines Software-Programms zur Verfügung gestellt. Entsprechend einer Verkörperung werden Steuerflußinformationen einschließlich die mehrfachen Zustände, die mit einem Software-Programm verbunden sind, zugänglich gebildet. Jeder der Zustände schließt die Informationen ein, die von gewünschtem Steuerfluß des Software-Programms hinweisend sind und die Informationen, die von gewünschtem Verhalten des Software-Programms hinweisend sind. Eine Ermittlung wird gebildet, wenn ein gegenwärtiger Status des Software-Programms ein vorbestimmtes Verhältnis zu einem erwarteten Zustand der Durchführung des Software-Programms hat. Gegründet nach dem Resultat der Ermittlung und der Informationen, die von gewünschtem Verhalten hinweisend sind, wird das Software-Programm veranlassen, um eine Tätigkeit durchzuführen und verursacht zum Übergang von der gegenwärtigen Lage zu einem folgenden Zustand. Entsprechend einer anderen Verkörperung wird Spezifikation einer Steuerflußarchitektur, die mit einem Software-Programm verbunden ist, zur Bestimmung bestimmter Steuerflußinformationen vereinfacht, die zu einer Steuerflußmaschine zugänglich ist-. Das Steuerfluss-Informationsbedarf schließt nur die Informationen ein, die von gewünschtem Steuerfluß des Software-Programms hinweisend sind und die Informationen, die von gewünschtem Verhalten des Software-Programms hinweisend sind.