Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems.
Sílvio Bacalá JúniorStéphane JuliaPublished in: J. Comput. Methods Sci. Eng. (2005)
Keyphrases
- real time systems
- petri net
- object oriented software
- sequence diagrams
- regression testing
- object oriented
- software architecture
- software development
- distributed systems
- data flow
- design patterns
- embedded real time systems
- petri net model
- software systems
- software engineering
- real time
- embedded systems
- software maintenance
- metamodel
- colored petri nets
- test cases
- conceptual modeling
- fuzzy petri net
- ims ld
- service composition
- process model
- test suite
- software quality
- software testing
- architectural model
- stochastic petri net
- description language
- query language
- databases
- service oriented
- model checking
- reactive systems
- cooperative
- machine learning