skip to main content
10.1145/1066677.1067022acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

Plan validation via petri nets in the real-time performers Java framework

Published: 13 March 2005 Publication History

Abstract

The Real-Time Performers (RTP) architecture is a framework to design distributed soft real-time systems based on timed plans. Timed plans - they define system workflow - contain actions to be executed by distributed components at specified times. An RTP system is controlled by a strategist that may modify plans to adapt system behavior to environment conditions. When a timed plan is changed it may be checked for coherency. This paper presents techniques used in RTP to check timed plans validity through Petri Nets (PNs). These techniques are based on the definition of mappings from RTP topology and plans to PNs. Once PNs are generated, structural and behavioural properties can be calculated and mapped back to the RTP system.

References

[1]
Petri nets world. http://www.daimi.au.dk/PetriNets.
[2]
Gianfranco Balbo, Jorg Desel, Kurt Jensen, Wolfgang Reisig, Grzegorz Rozenberg, and Manuel Silva, editors. Introductory Tutorial on Petri Nets, 2000.
[3]
Artur Lus Ribas Barbosa and Mrcio Emlio Cruz Vono Azevedo. JPetriNets. http://jpetrinet.sourceforge.net/, 2003.
[4]
Jamie Bloom, Clare Clark, Camilla Clifford, Alex Duncan, Haroun Khan, Manos Papantoniou, Tom Barnwell, Michael Camacho, Matthew Cook, Maxim Gready, Peter Kyme, and Michail Tsouchlaris. Platform Independent Petri Net Editor (pipe). sourceforge, 2003.
[5]
W. Cazzola, A. Savigni, A. Sosio, and F. Tisato. Architectural Reflection: Bridging the Gap Between a Running System and its Architectural Specification. In Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering and 6th Reengineering Forum, March 1998.
[6]
A.H. Eden and R. Kazman. Architecture, design, implementation. In Proceedings of the 25th IEEE International Conference on Software Engineering, pages 149--159, May 2003.
[7]
Daniela Micucci, Sergio Ruocco, Francesco Tisato, and Andrea Trentini. Time sensitive architectures: a reflective approach. International Symposium on Object Oriented Real-time distributed Computing (ISORC), 2004.
[8]
Daniela Micucci and Andrea Trentini. A connector-based approach for controlled data distribution in RTP architecture. In DDRTS'03 - ICDCS 2003. IEEE, 2003.
[9]
T. Murata. Petri Nets: Properties, Analysis and Applications, volume 77. Proceedings of the IEEE, April 1989.
[10]
Wolfgang Reisig. Petri nets: an introduction. Springer-Verlag New York, Inc., 1985.
[11]
Karsten Schmidt. LoLA a Low Level Petri net Analyzer. http://www.informatik.hu-berlin.de/
[12]
M. Shaw and D. Garlan. Software Architecture. Perspective on an Emerging Discipline. Prentice Hall, 1996.
[13]
Brian Cantwell Smith. Reflection and semantics in a procedural language. Technical Report 272, MIT Laboratory of Computer Science, 1982.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '05: Proceedings of the 2005 ACM symposium on Applied computing
March 2005
1814 pages
ISBN:1581139640
DOI:10.1145/1066677
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 March 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. planning
  2. soft real-time
  3. validation

Qualifiers

  • Article

Conference

SAC05
Sponsor:
SAC05: The 2005 ACM Symposium on Applied Computing
March 13 - 17, 2005
New Mexico, Santa Fe

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 193
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media