Skip navigation
Please use this identifier to cite or link to this item:

Title: Requirements Specification for Controller Design-from Use Cases to IOPT Net Models
Authors: Barros, João Paulo
Brito, Isabel Sofia
Gomes, Luis
Keywords: Case description
Controller designs
Controller specifications
Design phase
Input and outputs
Requirements specifications
Support requirements
Issue Date: 2014
Publisher: IEEE
Citation: [IEEE style] J. P. Barros, I. S. Brito, L. Gomes,” Requirements Specification for Controller Design-from Use Cases to IOPT Net Models,” in Proceedings IEEE International Conference on Industrial Informatics, INDIN, 2014, pp. 207-212.
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.
Description: 12th IEEE International Conference on Industrial Informatics, INDIN , Porto Alegre: Jul 27-30, 2014
Peer reviewed: yes
ISBN: 978-147994905-2
Appears in Collections:D-ENG - Comunicações com peer review

Files in This Item:
File Description SizeFormat 
requirements.pdf1.33 MBAdobe PDFView/Open

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.