Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/4374
Título: | Requirements Specification for Controller Design-from Use Cases to IOPT Net Models |
Autor: | Barros, João Paulo Brito, Isabel Sofia Gomes, Luis |
Palavras-chave: | Case description Controller designs Controller specifications Design phase Input and outputs Nonautonomous Requirements specifications Support requirements |
Data: | 2014 |
Editora: | IEEE |
Citação: | [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. |
Resumo: | 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. |
Descrição: | 12th IEEE International Conference on Industrial Informatics, INDIN , Porto Alegre: Jul 27-30, 2014 |
Arbitragem científica: | yes |
URI: | http://hdl.handle.net/20.500.12207/4374 |
ISBN: | 978-147994905-2 |
Aparece nas coleções: | D-ENG - Comunicações com peer review |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
requirements.pdf | 1.33 MB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.