References

  1. SAE ARP4761 (1996): Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. SAE International, pp. 1–331.
  2. Juliana Bowles & Dulani Meedeniya (2010): Formal Transformation from Sequence Diagrams to Coloured Petri Nets. 2010 Asia Pacific Software Engineering Conference, pp. 216–225, doi:10.1109/APSEC.2010.33.
  3. Joakim Byg & Kenneth Yrke Jørgensen (2009): An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. Formal Methods and Software Engineering 5885(1), pp. 698–716, doi:10.1007/978-3-642-10373-5_36.
  4. Joakim Byg, Kenneth Yrke Jørgensen & JiríSrba (2009): TAPAAL: Editor, simulator and verifier of timed-arc Petri nets. In: Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, pp. 84–89, doi:10.1007/978-3-642-04761-9_7.
  5. Werner Damm, Andreas Baumgart, Eckard Böde, Matthias Büker, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand & Raphael Weber (2011): Architecture Modeling. Technical Report. OFFIS, Oldenburg.
  6. Christoph Eichner, Hans Fleischhack & Roland Meyer (2005): Compositional semantics for UML 2.0 sequence diagrams using Petri nets. In: In 12th Int. SDL Forum, volume 3530 of LNCS, pp. 133–148, doi:10.1007/11506843_9.
  7. HM Hanisch (1993): Analysis of place/transition nets with timed arcs and its application to batch process control. Application and Theory of Petri Nets 1993, pp. 282–299, doi:10.1007/3-540-56863-8_52.
  8. ISO (2009): ISO/DIS 26262-1 - Road vehicles "Functional safety" Part 1 Glossary. Technical Report.
  9. Xiaoshan Li, Zhiming Liu & He Jifeng (2004): A formal semantics of UML sequence diagram. In: Australian Software Engineering Conference Proceedings 292, pp. 168–177, doi:10.1109/ASWEC.2004.1290469.
  10. W. Linzhang, Y. Jiesong, Y. Xiaofeng, H. Jun, L. Xuandong & Z. Guoliang (2004): Generating test cases from UML activity diagram based on gray-box method. In: Software Engineering Conference, 2004. 11th Asia-Pacific 60233020, pp. 284–291, doi:10.1109/APSEC.2004.55.
  11. Zoltán Micskei & Hélène Waeselynck (2010): The many meanings of UML 2 Sequence Diagrams: a survey. Software & Systems Modeling 10(4), pp. 489–514, doi:10.1007/s10270-010-0157-9.
  12. OMG (2010): OMG Unified Modeling Language TM (OMG UML), Superstructure v2. 3 . 2010. Technical Report May.
  13. Sven Sieverding (2011): Sequenzdiagrammbasierte Test- und Analysemethoden von AUTOSAR-Softwarekomponenten ( SWCs ). Master thesis. Oldenburg.
  14. Dehla Sokenou (2006): Generating test sequences from UML sequence diagrams and state diagrams. Informatik 2006: Informatik für Menschen 2(94), pp. 236–240.
  15. JiríSrba (2005): Timed-arc Petri nets vs. networks of timed automata. In: Applications and Theory of Petri Nets, pp. 1273–1278, doi:10.1007/11494744_22.
  16. JiríSrba (2008): Comparing the expressiveness of timed automata and timed extensions of Petri nets. Formal Modeling and Analysis of Timed Systems, pp. 15–32, doi:10.1007/978-3-540-85778-5_3.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org