Formalisation and verification of interoperation requirements on collaborative processes

Mallek, Sihem; Daclin, Nicolas; Chapurlat, Vincent

doi:10.3182/20110828-6-it-1002.01796

Cited by 2 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In fact, SBVR "defines the vocabulary and rules for documenting the semantics vocabularies, business facts and business rules for the interchange of business vocabularies and business rules among organizations and between software tools". SBVR is based on natural language allowing to write requirements easier rather than with a more formal language -such as temporal logic as presented in [18].…”

Section: Interoperability Requirements Writingmentioning

confidence: 99%

Requirements Formalization for Systems Engineering: An Approach for Interoperability Analysis in Collaborative Process Model

Mallek¹,

Daclin²,

Chapurlat³

et al. 2013

Enterprise Interoperability

View full text Add to dashboard Cite

In the field of requirement's engineering, writing requirements is a fundamental stage. Indeed, requirements must be (1) written correctly by the user, (2) relevant to the studied domain and (3), verifiable. In this research work, the studied domain is related to the verification of interoperability requirements on a collaborative process model by formal verification techniques. In this case, it is necessary to offer to a user the mean to write its own interoperability requirements easily, correctly and human readable in order to be re-writing into properties and to allow their verification. Precisely, this communication presents the mapping between interoperability requirements expressed in SBVR into properties expressed in TCTL.

show abstract

Section: Interoperability Requirements Writingmentioning

confidence: 99%

Requirements Formalization for Systems Engineering: An Approach for Interoperability Analysis in Collaborative Process Model

Mallek¹,

Daclin²,

Chapurlat³

et al. 2013

Enterprise Interoperability

View full text Add to dashboard Cite

show abstract

“…In this way, these works define height modes (directional, self, pure, contextual, time variant, constrained upper bound collaborative and confrontational) and their associated metrics. Finally, works proposed in [20] uses and offers an approach based and supported by formal verification techniques to verify interoperability requirements -according to the main characteristics of interoperability -in a public or private collaborative process. Precisely, the goal is to verify that a given collaborative process satisfies (or not) a set of properties related to interoperability in terms of compatibility, interoperation, autonomy and reversibility and according to a predefined interoperability requirements repository.…”

Section: Interoperabilitymentioning

confidence: 99%

Embedding Interoperability in System of Systems: Definition and Characterization of Fundamental Requirements

Daclin

2012

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

Abstract. The main objective of this communication is to discuss the engineering of a System of Systems (SoS), including interoperability concept. More precisely, the here presented research focuses on the fundamental requirements to consider in a System of Systems Engineering (SoSE) project and that have to be maintain during the entire life cycle of a SoS. First, the concept of interoperability, according to its definition and its characteristics, is presented. Then, the concept of SoS is presented in the same manner. This leads to introduce and present the possible links between System of Systems and interoperability. These links are (1) clarified and defined, (2) re-expressed to meet requirements' definition and (3) not related to a given SoS in order to be generic.

show abstract

Formalisation and verification of interoperation requirements on collaborative processes

Cited by 2 publications

References 9 publications

Requirements Formalization for Systems Engineering: An Approach for Interoperability Analysis in Collaborative Process Model

Requirements Formalization for Systems Engineering: An Approach for Interoperability Analysis in Collaborative Process Model

Embedding Interoperability in System of Systems: Definition and Characterization of Fundamental Requirements

Contact Info

Product

Resources

About