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

acessibilidade

http://hdl.handle.net/123456789/641
wcag
Title: Scenario-based modeling in industrial information systems
Authors: Machado, Ricardo
Fernandes, Joao
Barros, Joao Paulo
Keywords: Petri nets
Integration
Issue Date: Sep-2010
Publisher: Springer-Verlag
Citation: [IEEE style] R. J. Machado, J. M. Fernandes, J. P. Barros, and L. Gomes, "Scenario-Based Modeling in Industrial Information Systems," Distributed, Parallel and Biologically Inspired Systems, vol. 329, pp. 19-30, 2010.
Abstract: This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is modeled in two steps that gradually introduce detail and formality. This manuscript addresses the first step, where text-based descriptions, in the form of structured rules, are used to specify how the system is or should be regulated. Those rules can be used to create behavioral snapshots, which are collections of scenario-based descriptions that represent different instances of the system behavior. Snapshots are specified in an intuitive and graphical notation that considers the elements from the problem domain and permit designers to discuss and validate the externally observable behavior, together with the domain experts. In the second step (not fully covered in this manuscript), the system behavior is formalized with an executable model. This formal model, which in our approach is specified using the Colored Petri Net (CP-nets) language, allows the system internal behavior to be animated, simulated, and optimized. The insights gained by experimenting with the formal model can be subsequently used for reengineering the existing system.
Description: Conference 21st IFIP World Computer Congress (WCC)Book Series:IFIP Advances in Information and Communication Technology
Peer reviewed: yes
URI: https://repositorio.ipbeja.pt/handle/123456789/641
ISBN: 978-3-642-15233-7
Appears in Collections:D-ENG - Comunicações com peer review

Files in This Item:
There are no files associated with this item.


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

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