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

Share/Save/Bookmark

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.

[img]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:
Link to this item:http://purl.utwente.nl/publications/63482
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page