Catálogo de publicaciones - libros
Software Engineering 2: Specification of Systems and Languages
Dines Bjørner
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No detectada | 2006 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-3-540-21150-1
ISBN electrónico
978-3-540-33193-3
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
Información sobre derechos de publicación
© Springer-Verlag Berlin Heidelberg 2006
Cobertura temática
Tabla de contenidos
Modularisation
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part V - Further Specification Techniques | Pp. 243-283
Automata and Machines
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part V - Further Specification Techniques | Pp. 285-312
Petri Nets
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VI - Concurrency and Temporality | Pp. 315-373
Message and Live Sequence Charts
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VI - Concurrency and Temporality | Pp. 375-474
Statecharts
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VI - Concurrency and Temporality | Pp. 475-516
Quantitative Models of Time
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VI - Concurrency and Temporality | Pp. 517-569
SAL: Simple Applicative Language
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VII - Interpreter and Compiler Definitions | Pp. 573-658
SIL: Simple Imperative Language
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VII - Interpreter and Compiler Definitions | Pp. 659-670
SMIL: Simple Modular, Imperative Language
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VII - Interpreter and Compiler Definitions | Pp. 671-680
SPIL: Simple Parallel, Imperative Language
Dines Bjørner
The focus of this chapter is dynamic workflow updates. WF provides the ability to make dynamic changes to the structure of a workflow instance. Structural changes might include adding or removing activities based on updated business requirements. When updates are applied to a workflow instance, they only affect that one instance. All other instances of the same workflow, current and future, use the original workflow definition.
Part VII - Interpreter and Compiler Definitions | Pp. 681-706