he analysis of business requirements and the specification of business processes are fundamental for the development of information system. The focus of this paper is on the combination of these two phases, that is, on linking the business goals and requirements to the business process model. To this end, we propose to extend the Tropos framework, which is used to model system and business requirements, with declarative business process-oriented constructs, inspired by DecSerFlow and ConDec languages. We also show how the proposed framework can be mapped into SCIFF, a computational logic-based framework, for properties and conformance verification.

Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach / V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone. - ELETTRONICO. - (2007). (Intervento presentato al convegno Quarto Convegno Italiano di Logica Computazionale tenutosi a Messina nel 20-21 Giugno 2007).

Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach

MELLO, PAOLA;MONTALI, MARCO;TORRONI, PAOLO;
2007

Abstract

he analysis of business requirements and the specification of business processes are fundamental for the development of information system. The focus of this paper is on the combination of these two phases, that is, on linking the business goals and requirements to the business process model. To this end, we propose to extend the Tropos framework, which is used to model system and business requirements, with declarative business process-oriented constructs, inspired by DecSerFlow and ConDec languages. We also show how the proposed framework can be mapped into SCIFF, a computational logic-based framework, for properties and conformance verification.
2007
Atti del Quarto Convegno Italiano di Logica Computazionale
Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach / V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone. - ELETTRONICO. - (2007). (Intervento presentato al convegno Quarto Convegno Italiano di Logica Computazionale tenutosi a Messina nel 20-21 Giugno 2007).
V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/45891
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact