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 proceedingConference contribution

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 languageEnglish
Title of host publicationIndustrial Informatics (INDIN), IEEE International Conference on
Pages207 - 212
ISBN (Electronic)978-1-4799-4905-2
DOIs
Publication statusPublished - 2014
EventIndustrial Informatics (INDIN), 2014 12th IEEE International Conference on -
Duration: 1 Jan 2014 → …

Conference

ConferenceIndustrial Informatics (INDIN), 2014 12th IEEE International Conference on
Period1/01/14 → …

Fingerprint Dive into the research topics of 'Requirements specification for controller design - From use cases to IOPT net models'. Together they form a unique fingerprint.

  • Cite this

    Barros, J. P., Brito, I. S. S., & Gomes, L. F. D. S. (2014). Requirements specification for controller design - From use cases to IOPT net models. In Industrial Informatics (INDIN), IEEE International Conference on (pp. 207 - 212) https://doi.org/10.1109/INDIN.2014.6945509