Requirements specification for controller design - From use cases to IOPT net models

João Paulo Barros; Isabel Sofia Sousa Brito; Luís Filipe dos Santos Gomes

doi:10.1109/INDIN.2014.6945509

Requirements specification for controller design - From use cases to IOPT net models

João Paulo Barros, Isabel Sofia Sousa Brito, Luís Filipe dos Santos Gomes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

Non-autonomous Petri nets offer a language especially adapted for controller specifications. They are typically used in the design phase often with no clear connection to the analysis phase, including requirements specification. This paper shows how use cases can be used to support requirements specification amenable to a direct transformation to IOPT nets, a class of non-autonomous Petri nets. To that end, we propose a set of semi-formal rules for use case descriptions, including use case relationships, which take advantage of the concepts available in IOPT nets, namely input and output signals and events and net addition, a net composition operation.

Original language	English
Title of host publication	Industrial Informatics (INDIN), IEEE International Conference on
Pages	207 - 212
ISBN (Electronic)	978-1-4799-4905-2
DOIs	https://doi.org/10.1109/INDIN.2014.6945509
Publication status	Published - 2014
Event	12th IEEE International Conference on Industrial Informatics, INDIN 2014 - Porto Alegre, Brazil Duration: 27 Jul 2014 → 30 Jul 2014

Conference

Conference	12th IEEE International Conference on Industrial Informatics, INDIN 2014
Country/Territory	Brazil
City	Porto Alegre
Period	27/07/14 → 30/07/14

Access to Document

10.1109/INDIN.2014.6945509

Cite this

@inproceedings{43859d76bc354f3597af6ce45611d765,

title = "Requirements specification for controller design - From use cases to IOPT net models",

abstract = "Non-autonomous Petri nets offer a language especially adapted for controller specifications. They are typically used in the design phase often with no clear connection to the analysis phase, including requirements specification. This paper shows how use cases can be used to support requirements specification amenable to a direct transformation to IOPT nets, a class of non-autonomous Petri nets. To that end, we propose a set of semi-formal rules for use case descriptions, including use case relationships, which take advantage of the concepts available in IOPT nets, namely input and output signals and events and net addition, a net composition operation.",

author = "Barros, {Jo{\~a}o Paulo} and Brito, {Isabel Sofia Sousa} and Gomes, {Lu{\'i}s Filipe dos Santos}",

note = "This work is financed by National Funds through Portuguese Agency FCT - Fundacao para a Ciencia e a Tecnologia in the framework of project PTDC/EEI-AUT/2641/2012.; 12th IEEE International Conference on Industrial Informatics, INDIN 2014 ; Conference date: 27-07-2014 Through 30-07-2014",

year = "2014",

doi = "10.1109/INDIN.2014.6945509",

language = "English",

pages = "207 -- 212",

booktitle = "Industrial Informatics (INDIN), IEEE International Conference on",

}

TY - GEN

T1 - Requirements specification for controller design - From use cases to IOPT net models

AU - Barros, João Paulo

AU - Brito, Isabel Sofia Sousa

AU - Gomes, Luís Filipe dos Santos

N1 - This work is financed by National Funds through Portuguese Agency FCT - Fundacao para a Ciencia e a Tecnologia in the framework of project PTDC/EEI-AUT/2641/2012.

PY - 2014

Y1 - 2014

N2 - Non-autonomous Petri nets offer a language especially adapted for controller specifications. They are typically used in the design phase often with no clear connection to the analysis phase, including requirements specification. This paper shows how use cases can be used to support requirements specification amenable to a direct transformation to IOPT nets, a class of non-autonomous Petri nets. To that end, we propose a set of semi-formal rules for use case descriptions, including use case relationships, which take advantage of the concepts available in IOPT nets, namely input and output signals and events and net addition, a net composition operation.

AB - Non-autonomous Petri nets offer a language especially adapted for controller specifications. They are typically used in the design phase often with no clear connection to the analysis phase, including requirements specification. This paper shows how use cases can be used to support requirements specification amenable to a direct transformation to IOPT nets, a class of non-autonomous Petri nets. To that end, we propose a set of semi-formal rules for use case descriptions, including use case relationships, which take advantage of the concepts available in IOPT nets, namely input and output signals and events and net addition, a net composition operation.

U2 - 10.1109/INDIN.2014.6945509

DO - 10.1109/INDIN.2014.6945509

M3 - Conference contribution

SP - 207

EP - 212

BT - Industrial Informatics (INDIN), IEEE International Conference on

T2 - 12th IEEE International Conference on Industrial Informatics, INDIN 2014

Y2 - 27 July 2014 through 30 July 2014

ER -

Requirements specification for controller design - From use cases to IOPT net models

Abstract

Conference

Access to Document

Fingerprint

Cite this