article

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems

Authors:

Leonardo Amorim,

Meuse Nogueira,

Raimundo Barreto,

Eduardo TavaresAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 31, Issue 3

Pages 1 - 25

https://doi.org/10.1145/1127878.1127880

Published: 01 May 2006 Publication History

Abstract

This paper presents a methodology for mapping the Live Sequence Chart (LSC) language to an equivalent Coloured Petri Net (CPN) model as an approach for analysis and verification of embedded systems' properties. LSC is a language for system specification, allowing one to specify what should happen for all execution of the system as well as the modeling of anti-scenarios. However, analysis and verification of systems' properties are not possible. In order to allow diagnosis of inconsistent specifications, besides simulation, verification and analysis should be considered. Therefore the proposition of a CPN model for LSC allows verification and analysis of systems described in LSC, hence, contributing for increasing designers' confidence on the system development process and reducing risks that may lead to project failure.

References

[1]

Extensible Markup Language. http://www.xml.org.

[2]

JDOM API. http://www.jdom.org.

[3]

Luciano Baresi and Mauro Pezzè. Improving uml with petri nets. Electr. Notes Theor. Comput. Sci., 44(4), 2001.

[4]

Y. Bontemps and P. Heymans. Turning high-level live sequence charts into automata. International Conference on Software Engineering, 2002.

[5]

CCITT. Ccitt recommendation z.120: Message sequence chart (msc). Geneva, 1992.

[6]

W. Damm and D. Harel. Lscs: Breathing life into message sequence charts. Formal Methods in System Design 19, pages 45--80, 2001.

Digital Library

[7]

Department of Computer Science of University of Aarhus, http://wiki.daimi.au.dk/cpntools/cpntools.wiki. CPN Tools.

[8]

J. Rumbaugh G. Booch and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.

Digital Library

[9]

D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231--274, The Weizmann Institute of Science, Israel, 1984.

Digital Library

[10]

D. Harel and E. Gery. Executable object modeling with statecharts. Computer, pages 31--42, 1997.

Digital Library

[11]

D. Harel and R. Marelly. Come, Lets Play: Scenario-Based Programming Using LSCs and Play-Engine. Springer-Verlag, 2003.

Digital Library

[12]

J. Campos J. Merseguer and E. Mena. Performance evaluation for the design of agent-based systems: A petri net approach. 1998.

[13]

I. Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach. ACM Press/Addison-Wesley, 1992.

Digital Library

[14]

K. Jensen. An introduction to the practical use of coloured petri nets. Lecture Notes on Petri Nets II: Applications, 1492:237--292, 1993.

Digital Library

[15]

K. Jensen. An introduction to the theoretical aspects of coloured petri nets. Lecture Notes in Computer Science; A Decade of Concurrency, 803:230--272, June 1993.

Digital Library

[16]

M. N. Oliveira Junior. Desenvolvimento de Um Prottipo para a Medida No Invasiva da Saturao Arterial de Oxignio em Humanos -- Oxmetro de Pulso. MSc Thesis, UFPE, August, 1998.

[17]

T. Murata. Petri nets: Properties, analysis and applications. Lecture Notes in Computer Science; A Decade of Concurrency, 77(4):541--580, April 1989.

[18]

Object Management Group, http://www.omg.org. Documentation of the Unified Modeling Language.

[19]

R. Lins P. Maciel and P. Cunha. Introduo s Redes de Petri e Aplicaes. X Escola de Computao Campinas-SP, 1996.

[20]

Sun Microsystems, http://java.sun.com. Java Technology.

Cited By

Andrade EAlves MMatos RSilva BMaciel P(2013)OpenMADSProceedings of the 32nd International Conference on Computer Safety, Reliability, and Security - Volume 815310.1007/978-3-642-40793-2_25(277-284)Online publication date: 24-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40793-2_25
Chochliouros ISpiliopoulou ASfakianakis EMitsopoulou NAlonistioti NStamatelatos MChatzimisios P(2012)A paradigm for the development of Self-Growing energy-aware networks2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC)10.1109/IWCMC.2012.6314282(654-659)Online publication date: Aug-2012
https://doi.org/10.1109/IWCMC.2012.6314282
Harel DKantor A(2012)Multi-modal scenarios revisitedTheoretical Computer Science10.1016/j.tcs.2011.12.030429(118-127)Online publication date: 1-Apr-2012
https://dl.acm.org/doi/10.1016/j.tcs.2011.12.030
Show More Cited By

Index Terms

Recommendations

Transformation from live sequence charts to colored Petri nets
SCSC '07: Proceedings of the 2007 Summer Computer Simulation Conference

A tool called LSC2CPN has been developed to reduce the gap between informal and formal methods of loosely coupled distributed software specification, verification, and validation. This tool reads the Live Sequence Chart (LSC) model as an input and ...
Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets
ITNG '08: Proceedings of the Fifth International Conference on Information Technology: New Generations

This paper presents an approach of automatic model checking in the requirement model of a software system known as Live Sequence Charts by transforming the behavior into Colored Petri Nets. The technique of combining Objects and Colored Petri Nets is ...
From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation Conference

Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 31, Issue 3

May 2006

171 pages

ISSN:0163-5948

DOI:10.1145/1127878

Issue’s Table of Contents

Copyright © 2006 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2006

Published in SIGSOFT Volume 31, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
464
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Andrade EAlves MMatos RSilva BMaciel P(2013)OpenMADSProceedings of the 32nd International Conference on Computer Safety, Reliability, and Security - Volume 815310.1007/978-3-642-40793-2_25(277-284)Online publication date: 24-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40793-2_25
Chochliouros ISpiliopoulou ASfakianakis EMitsopoulou NAlonistioti NStamatelatos MChatzimisios P(2012)A paradigm for the development of Self-Growing energy-aware networks2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC)10.1109/IWCMC.2012.6314282(654-659)Online publication date: Aug-2012
https://doi.org/10.1109/IWCMC.2012.6314282
Harel DKantor A(2012)Multi-modal scenarios revisitedTheoretical Computer Science10.1016/j.tcs.2011.12.030429(118-127)Online publication date: 1-Apr-2012
https://dl.acm.org/doi/10.1016/j.tcs.2011.12.030
Fahland DPrüfer R(2012)Data and abstraction for scenario-based modeling with petri netsProceedings of the 33rd international conference on Application and Theory of Petri Nets10.1007/978-3-642-31131-4_10(168-187)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-31131-4_10
Patzina LPatzina SPiper TSchürr A(2010)Monitor petri nets for security monitoringProceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems10.1145/1868433.1868438(1-6)Online publication date: 14-Sep-2010
https://dl.acm.org/doi/10.1145/1868433.1868438
Garcia ERodriguez LMorant FCorrecher AQuiles EBlasco R(2008)Fault diagnosis with Coloured Petri Nets using Latent Nestling Method2008 IEEE International Symposium on Industrial Electronics10.1109/ISIE.2008.4677094(986-991)Online publication date: Jun-2008
https://doi.org/10.1109/ISIE.2008.4677094
Garcia ERodriguez LMorant FCorrecher AQuiles E(2008)Latent Nestling Method: A new fault diagnosis methodology for complex systems2008 34th Annual Conference of IEEE Industrial Electronics10.1109/IECON.2008.4757961(253-258)Online publication date: Nov-2008
https://doi.org/10.1109/IECON.2008.4757961
Rodriguez LGarcia EMorant FCorrecher AQuiles E(2008)Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets2008 IEEE International Conference on Emerging Technologies and Factory Automation10.1109/ETFA.2008.4638486(767-773)Online publication date: Sep-2008
https://doi.org/10.1109/ETFA.2008.4638486
Tavares EMaciel PSilva BOliveira M(2008)Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relationsInformation Processing Letters10.1016/j.ipl.2008.03.020108:2(50-59)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1016/j.ipl.2008.03.020
Khadka BMikolajczak BWainer G(2007)Transformation from live sequence charts to colored Petri netsProceedings of the 2007 Summer Computer Simulation Conference10.5555/1357910.1358015(673-680)Online publication date: 16-Jul-2007
https://dl.acm.org/doi/10.5555/1357910.1358015
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents