Title | ||
---|---|---|
Writing and verifying interoperability requirements: Application to collaborative processes. |
Abstract | ||
---|---|---|
•The paper presents an interoperability requirements engineering process for interoperability requirements verification.•The verification is applied on collaborative processes.•A repository for interoperability requirements is proposed to manage interoperability requirements.•A Domain Specific Language is developed to allow stakeholders to write their own interoperability requirements.•The verification is performed thanks to formal technique such as model checking. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1016/j.compind.2016.04.001 | Computers in Industry |
Keywords | Field | DocType |
Interoperability requirements,Repository for interoperability requirements,Requirements verification,Domain Specific Language | Systems engineering,Computer science,Interoperability,Requirements analysis,Requirements elicitation,Requirements management,Semantic interoperability,System requirements specification,Language interoperability,Non-functional testing | Journal |
Volume | ISSN | Citations |
82 | 0166-3615 | 3 |
PageRank | References | Authors |
0.44 | 12 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicolas Daclin | 1 | 102 | 11.54 |
Sihem Mallek-Daclin | 2 | 3 | 0.44 |
Vincent Chapurlat | 3 | 71 | 13.14 |
Bruno Vallespir | 4 | 115 | 20.01 |