B-tropos : agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification

V. Bryl, P. Mello, M. Montali, P. Torroni, N. Zannone

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    12 Citaten (Scopus)
    2 Downloads (Pure)

    Samenvatting

    The work presented in this paper stands at the intersection of three diverse research areas: agent-oriented early requirements engineering, business process requirements elicitation and specification, and computational logic-based specification and verification. The analysis of business requirements and the specification of business processes are fundamental steps in the development of information systems. The first part of this paper presents B -Tropos as a way to combine business goals and requirements with the business process model. B -Tropos enhances a well-known agent-oriented early requirements engineering framework with declarative business process-oriented constructs, inspired by the DecSerFlow and ConDec languages. In the second part of the paper, we show a mapping of B -Tropos onto S CIFF, a computational logic-based framework for properties and conformance verification.
    Originele taal-2Engels
    TitelComputational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers)
    RedacteurenF. Sadri, K. Satoh
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's157-176
    ISBN van geprinte versie978-3-540-88832-1
    DOI's
    StatusGepubliceerd - 2008

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume5056
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'B-tropos : agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit