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 proceedingConference contributionAcademicpeer-review

    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 languageEnglish
    Title of host publication6th ICSE Workshop on Component-Based Software Engineering
    Subtitle of host publicationAutomated Reasoning and Prediction
    EditorsIvica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau
    Pages43-48
    Number of pages6
    Publication statusPublished - May 2003
    Event6th ICSE Workshop on Component-Based Software Engineering, CBSE 2003 - Portland, United States
    Duration: 3 May 20034 May 2003
    Conference number: 6

    Workshop

    Workshop6th ICSE Workshop on Component-Based Software Engineering, CBSE 2003
    Abbreviated titleCBSE
    CountryUnited States
    CityPortland
    Period3/05/034/05/03

    Keywords

    • IR-63482
    • EWI-7123

    Fingerprint Dive into the research topics of 'Verifying the correctness of component-based applications that support business processes'. Together they form a unique fingerprint.

    Cite this