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

Dijkman, Remco M. and Andrade Almeida, João Paolo and Quartel, Dick A.C. (2003) Verifying the correctness of component-based applications that support business processes. In: Sixth ICSE Workshop on Component-Based Software Engineering, CBSE 2003, 3-4 May 2003, Portland, OR, USA.

PDF
Restricted to UT campus only: Request a copy
96Kb

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.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Architecture and Services of Network Applications (ASNA)
Link to this item:	http://purl.utwente.nl/publications/63482
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page