Semantic verification of Behavior Conformance

R.M. Dijkman, Dick Quartel, Luis Ferreira Pires, Marten J. van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    20 Downloads (Pure)


    This paper introduces a formal yet practical method to verify whether the behavior design of a distributed application conforms to the behavior design of the enterprise in which the application is embedded. The method allows both enterprise architects and application architects to talk about designs in their own terms, and introduces a common set of terms as the linking pin between enterprise and application designs. The formal semantics of these common terms allows us to verify the conformance between an enterprise and its applications formally and automatically.
    Original languageUndefined
    Title of host publicationProceedings of the Eleventh OOPSLA Workshop on Behavioral Semantics - Serving the Customer
    EditorsH. Kilov, K. Baclawski
    Place of PublicationSeattle, WA, USA
    Number of pages12
    Publication statusPublished - Nov 2002
    EventOOPSLA workshop on Behavioral Semantics: 11th OOPSLA workshop on Behavioral Semantics - Seattle, WA, USA
    Duration: 4 Nov 20028 Nov 2002


    ConferenceOOPSLA workshop on Behavioral Semantics
    CitySeattle, WA, USA


    • METIS-207113
    • SCS-Services
    • EWI-8649
    • IR-66749

    Cite this