Verifying the correctness of component-based applications that support business processes

R.M. Dijkman; João Andrade Almeida; Dick Quartel

Verifying the correctness of component-based applications that support business processes

R.M. Dijkman, João Andrade Almeida, Dick Quartel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Abstract

Developing applications that properly support the enterprise is a difficult task. Failing to perform this task results in applications that are not accepted by the end-users and that frustrate daily conduct of business. In this paper we introduce a formal yet practical method that helps to design componentbased applications that properly support the enterprise. The method can be used to verify whether the behavior of an application conforms to the behavior of the enterprise, where the behavior of the enterprise is specified in the form of business processes. The method helps to avoid applications being designed that support the enterprise in an incorrect manner.

Original language	English
Title of host publication	6th ICSE Workshop on Component-Based Software Engineering
Subtitle of host publication	Automated Reasoning and Prediction
Editors	Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau
Pages	43-48
Number of pages	6
Publication status	Published - May 2003
Event	6th ICSE Workshop on Component-Based Software Engineering, CBSE 2003 - Portland, United States Duration: 3 May 2003 → 4 May 2003 Conference number: 6

Workshop

Workshop	6th ICSE Workshop on Component-Based Software Engineering, CBSE 2003
Abbreviated title	CBSE
Country/Territory	United States
City	Portland
Period	3/05/03 → 4/05/03

Keywords

IR-63482
EWI-7123

Cite this

@inproceedings{7218ad42167d43d58df48cf488fd461f,

title = "Verifying the correctness of component-based applications that support business processes",

abstract = "Developing applications that properly support the enterprise is a difficult task. Failing to perform this task results in applications that are not accepted by the end-users and that frustrate daily conduct of business. In this paper we introduce a formal yet practical method that helps to design componentbased applications that properly support the enterprise. The method can be used to verify whether the behavior of an application conforms to the behavior of the enterprise, where the behavior of the enterprise is specified in the form of business processes. The method helps to avoid applications being designed that support the enterprise in an incorrect manner.",

keywords = "IR-63482, EWI-7123",

author = "R.M. Dijkman and {Andrade Almeida}, Jo{\~a}o and Dick Quartel",

year = "2003",

month = may,

language = "English",

pages = "43--48",

editor = "Ivica Crnkovic and Heinz Schmidt and Judith Stafford and Kurt Wallnau",

booktitle = "6th ICSE Workshop on Component-Based Software Engineering",

note = "6th ICSE Workshop on Component-Based Software Engineering, CBSE 2003, CBSE ; Conference date: 03-05-2003 Through 04-05-2003",

}

Dijkman, RM, Andrade Almeida, J & Quartel, D 2003, Verifying the correctness of component-based applications that support business processes. in I Crnkovic, H Schmidt, J Stafford & K Wallnau (eds), 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. pp. 43-48, 6th ICSE Workshop on Component-Based Software Engineering, CBSE 2003, Portland, Oregon, United States, 3/05/03.

Verifying the correctness of component-based applications that support business processes. / Dijkman, R.M.; Andrade Almeida, João; Quartel, Dick.
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. ed. / Ivica Crnkovic; Heinz Schmidt; Judith Stafford; Kurt Wallnau. 2003. p. 43-48.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Verifying the correctness of component-based applications that support business processes

AU - Dijkman, R.M.

AU - Andrade Almeida, João

AU - Quartel, Dick

N1 - Conference code: 6

PY - 2003/5

Y1 - 2003/5

N2 - Developing applications that properly support the enterprise is a difficult task. Failing to perform this task results in applications that are not accepted by the end-users and that frustrate daily conduct of business. In this paper we introduce a formal yet practical method that helps to design componentbased applications that properly support the enterprise. The method can be used to verify whether the behavior of an application conforms to the behavior of the enterprise, where the behavior of the enterprise is specified in the form of business processes. The method helps to avoid applications being designed that support the enterprise in an incorrect manner.

AB - Developing applications that properly support the enterprise is a difficult task. Failing to perform this task results in applications that are not accepted by the end-users and that frustrate daily conduct of business. In this paper we introduce a formal yet practical method that helps to design componentbased applications that properly support the enterprise. The method can be used to verify whether the behavior of an application conforms to the behavior of the enterprise, where the behavior of the enterprise is specified in the form of business processes. The method helps to avoid applications being designed that support the enterprise in an incorrect manner.

KW - IR-63482

KW - EWI-7123

M3 - Conference contribution

SP - 43

EP - 48

BT - 6th ICSE Workshop on Component-Based Software Engineering

A2 - Crnkovic, Ivica

A2 - Schmidt, Heinz

A2 - Stafford, Judith

A2 - Wallnau, Kurt

T2 - 6th ICSE Workshop on Component-Based Software Engineering, CBSE 2003

Y2 - 3 May 2003 through 4 May 2003

ER -

Verifying the correctness of component-based applications that support business processes

Abstract

Workshop

Keywords

Fingerprint

Cite this