Catálogo de publicaciones - libros

Compartir en
redes sociales

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

Información sobre derechos de publicación

© Springer-Verlag Berlin Heidelberg 2006

Cobertura temática

computacion

Ciencias de la computación e información

lengua-y-literatura

Lenguas y literatura

Tabla de contenidos

doi: 10.1007/978-3-540-33193-3

Software Engineering 2

Pp. No disponible

doi: 10.1007/978-3-540-33193-3_1

Introduction

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 I - Opening | Pp. 3-29

doi: 10.1007/978-3-540-33193-3_2

Hierarchies and Compositions

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 II - Specification Facets | Pp. 35-53

doi: 10.1007/978-3-540-33193-3_3

Denotations and Computations

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 II - Specification Facets | Pp. 55-92

doi: 10.1007/978-3-540-33193-3_4

Configurations: Contexts and States

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 II - Specification Facets | Pp. 93-117

doi: 10.1007/978-3-540-33193-3_5

Time, Space and Space/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 III - A Crucial Domain and Computing Facet | Pp. 121-141

doi: 10.1007/978-3-540-33193-3_6

Pragmatics

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 IV - Linguistics | Pp. 145-150

doi: 10.1007/978-3-540-33193-3_7

Semantics

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 IV - Linguistics | Pp. 151-172

doi: 10.1007/978-3-540-33193-3_8

Syntax

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 IV - Linguistics | Pp. 173-212

doi: 10.1007/978-3-540-33193-3_9

Semiotics

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 IV - Linguistics | Pp. 213-239