STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Object-oriented software engineering
Object-oriented software engineering
Real-Time Systems
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Computer Networks and ISDN Systems
Experience with Formal Methods in Critical Systems
IEEE Software
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
LEMMA: A Language for Easy Medical Models Analysis
CBMS'97 Proceedings of the 10th conference on Computer based medical systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Design/CPN - A Computer Tool for Coloured Petri Nets
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Tutorial and Bibliographical Survey on Graph Grammars
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Formal verification of UML state diagrams: a petri net based approach
ACM SIGSOFT Software Engineering Notes
Methodology for the development of executable system architecture
Proceedings of the 8th International Conference on Frontiers of Information Technology
On the integration of UML and petri nets in software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Object Petri nets marking using UML
International Journal of Computer Applications in Technology
| Hi-index | 0.00 |
Object-oriented methodologies are increasingly used in software development. Despite the proposal of several formally based models, current object-oriented practice is still dominated by informal methodologies, like Booch, OMT, and UML. Unfortunately, the lack of dynamic semantics of such methodologies limits the possibility of early analysis of specifications. This paper indicates the feasibility of ascribing formal semantics to UML by defining translation rules that automatically map UML specifications to high-level Petri nets. This paper illustrates the method through the hurried philosophers problem, that is first specified by using (a subset of) UML, and then mapped onto high-level Petri nets. The paper indicates how UML specifications can be verified by discussing properties of the hurried philosophers problem that can be verified on the derived highlevel Petri net.