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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Campos, J., Merseguer, J.: On the integration of UML and Petri nets in software development. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 19–36. Springer, Heidelberg (2006)
Eichner, C., Fleischhack, H., Meyer, R., Schrimpf, U., Stehno, C.: Compositional semantics for UML 2.0 sequence diagrams using Petri nets. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 133–148. Springer, Heidelberg (2005)
Fernandes, J.M., Tjell, S., Jørgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured Petri net. In: 6th Int. Workshop on Scenarios and State Machines (SCESM 2007), at ICSE 2007. IEEE CS Press, Los Alamitos (2007)
Gomes, L., Barros, J.P.: Structuring and composability issues in petri nets modeling. IEEE Trans. Industrial Informatics 1(2), 112–123 (2005)
Hu, Z., Shatz, S.M.: Mapping UML diagrams to a Petri net notation for system simulation. In: Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2004), pp. 213–219 (2004)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems. Int J. on Software Tools for Technology Transfer 9(3-4), 213–254 (2007)
Kleinjohann, B., Tacken, J., Tahedl, C.: Towards a complete design method for embedded systems using predicate/transition-nets. In: Int. Conf. on Hardware Description Languages and Their Applications (CHDL 1997), pp. 4–23. Chapman & Hall, Boca Raton (1997)
Machado, R.J., Fernandes, J.M.: Heterogeneous information systems integration: organizations and tools. In: Oivo, M., Komi-Sirviö, S. (eds.) PROFES 2002. LNCS, vol. 2559, pp. 629–643. Springer, Heidelberg (2002)
Machado, R.J., Fernandes, J.M.: Integration of embedded software with corporate information systems. In: 1st IFIP Int. Embedded Systems Symposium (IESS 2005), pp. 169–178. Springer, Heidelberg (2005)
Machado, R.J., Fernandes, J.M., Rodrigues, H., Monteiro, P.: A demonstration case on the transformation of software architectures for mobile applications. In: 5th IFIP TC10 Working Conf. on Distributed and Parallel Embedded Systems (DIPES 2006), pp. 235–244. Springer, Boston (2006)
Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Requirements validation: execution of UML models with CPN Tools. International Journal on Software Tools for Technology Transfer 9(3-4), 353–369 (2007)
Pettit, R.G., Gomaa, H.: Modeling behavioral design patterns of concurrent objects. In: 28th Int. Conf. on Software Engineering (ICSE 2006), pp. 202–211. ACM Press, New York (2006)
Ribeiro, O., Fernandes, J.M.: Some Rules to Transform Sequence Diagrams into Coloured Petri Nets. In: Jensen, K. (ed.) 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2006), pp. 237–256 (2006)
Saldhana, J., Shatz, S.M.: UML diagrams to object Petri net models: an approach for modeling and analysis. In: Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2000), pp. 103–110 (2000)
Semenov, A., Koelmans, A.M., Lloyd, L., Yakovlev, A.: Designing an asynchronous processor using Petri nets. IEEE Micro 17(2), 54–64 (1997)
Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice Petri nets. In: 36th annual ACM/IEEE Design Automation Conf. (DAC 1999), pp. 805–810. ACM, New York (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 IFIP
About this paper
Cite this paper
Machado, R.J., Fernandes, J.M., Barros, J.P., Gomes, L. (2010). Scenario-Based Modeling in Industrial Information Systems. In: Hinchey, M., et al. Distributed, Parallel and Biologically Inspired Systems. DIPES BICC 2010 2010. IFIP Advances in Information and Communication Technology, vol 329. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15234-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-15234-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15233-7
Online ISBN: 978-3-642-15234-4
eBook Packages: Computer ScienceComputer Science (R0)