Abstract
This chapter presents a novel graphical formalism dedicated to the modeling of input signals interpretation. Graphical modeling formalisms have a significant contribution in the development of systems because they are easy to interpret by humans. However, when the models become very large, they are difficult to interpret, losing one of its most important characteristics. Several approaches have been proposed to deal with this problem. Two of the most relevant are hierarchical structuring and partitioning in smaller, interconnected models. The presented formalism allows to model the acquisition of information through signals from the environment and interpret this information by defining associated events and conditions. A graphical syntax is defined, which allows an easier analysis by humans. This approach allows the separation of this part of the model into an independent model with features allowing its easily linking with the execution model. The formalism has specific characteristics for the modeling of signals’ interpretation, allowing a more compact and intuitive modeling of the execution model. A simple example is used illustrating the formalism usage.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
F.W. Kistermann, The invention and development of the hollerith punched card: in commemoration of the 130th anniversary of the birth of Herman Hollerith and for the 100th anniversary of large scale data processing. Ann. Hist. Comput. 13(3), 245–259 (1991)
MDA, The Architecture of Choice for a Changing World (2018). Available http://www.omg.org/mda/ (Online)
D. Harel, Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)
E. Börger, R.F. Stärk, Abstract State Machines: A Method for High-level System Design and Analysis, vol. 14 (Springer, Berlin, 2003)
K. Jensen, High-level petri nets, in Applications and Theory of Petri Nets (Springer, 1983), pp. 166–180
W. Reisig, H. Berlin, Distributed Algorithms: Modeling and Analysis with Petri Nets (W. Reisig Institut fur Informatik Humboldt-Universitat, 1998) pp. 38–43
R. Zurawski, Z. MengChu, Petri nets and industrial applications: a tutorial. Ind. Electron. IEEE Trans. 41(6), 567–583 (1994)
L. Gomes, J.P. Barros, A. Costa, R. Nunes, The input-output place-transition petri net class and associated tools, in 2007 5th IEEE International Conference on Industrial Informatics, vol. 1 (2007), pp. 509–514
J. Desel, W. Reisig, Place/transition petri nets, in Lectures on Petri Nets I: Basic Models, vol. 1491, ed. by W. Reisig, G. Rozenberg (Springer, Berlin, 1998), pp. 122–173
R. David, H. Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems (Prentice Hall, 1992)
L. Gomes, J.P. Barros, Structuring and composability issues in petri nets modeling. IEEE Trans. Ind. Inform. 1(2), 112–123 (2005)
J.-P. P. Barros, L. Gomes, Net model composition and modification by net operations: a pragmatic approach, in 2004 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN ’04 (2004), pp. 309–314
A. Costa, L. Gomes, Petri net partitioning using net splitting operation, in 7th IEEE International Conference on Industrial Informatics, 2009. INDIN 2009 (2009), pp. 204–209
D. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (Addison Wesley Publishing Company Incorporated, 2013)
C. Zang, Y. Fan, Complex event processing in enterprise information systems based on RFID. Enterp. Inf. Syst., 1(1), 3–23 (2007)
R. Bruns, J. Dunkel, Event-Driven Architecture (Springer, London, 2010)
Y. Yan, Y. Yang, D. Meng, G. Liu, W. Tong, A.G. Hauptmann, N. Sebe, Event oriented dictionary learning for complex event detection. Image Process. IEEE Trans. 24(6), 1867–1878 (2015)
D.C. Luckham, B. Frasca, Complex event processing in distributed systems, vol. 28. Computer System Laboratory, Technical Report, CSL-TR-98-754 (Stanford University, Stanford, 1998)
H. Taylor, A. Yochem, L. Phillips, F. Martinez, Event-Driven Architecture: How SOA Enables the Real-Time Enterprise (Pearson Education, 2009)
S. Overbeek, B. Klievink, M. Janssen, A flexible, event-driven, service-oriented architecture for orchestrating service delivery. Intell. Syst. IEEE 24(5), 31–41 (2009)
D.C. Luckham, Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Orderings of Events (Computer Systems Laboratory, Stanford University, 1996)
D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, W. Mann, Specification and analysis of system architecture using Rapide. Softw. Eng. IEEE Trans. 21(4), 336–354 (1995)
D.C. Luckham, J. Vera, An event-based architecture definition language. Softw. Eng. IEEE Trans. 21(9), 717–734 (1995)
R. Campos-Rebelo, A. Costa, L. Gomes, Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets, vol. 300 (2014)
R. Campos-Rebelo, A. Costa, L. Gomes, Event life time in detection of sequences of events, in Proceedings of the IEEE International Conference on Industrial Technology (2015), pp. 3144–3149
Acknowledgements
This work was partially financed by Portuguese Agency FCT Fundação para a Ciência e Tecnologia, in the framework of project UID/EEA/00066/2013.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Campos-Rebelo, R., Costa, A., Gomes, L. (2020). Graphical Formalism for Signal Interpretation Modeling. In: Kovács, L., Haidegger, T., Szakál, A. (eds) Recent Advances in Intelligent Engineering. Topics in Intelligent Engineering and Informatics, vol 14. Springer, Cham. https://doi.org/10.1007/978-3-030-14350-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-14350-3_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-14349-7
Online ISBN: 978-3-030-14350-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)