Formal verification of UML2 timing diagrams based on Time Petri Nets
Year of publication: |
April-June 2016
|
---|---|
Authors: | Louati, Aymen ; Barkaoui, Kamel |
Published in: |
International journal of information systems in the service sector : IJISSS ; an official publication of the Information Resources Management Association. - Hershey, Pa. : IGI Global, ISSN 1935-5688, ZDB-ID 2498765-7. - Vol. 8.2016, 2, p. 87-97
|
Subject: | OCL | Real-Time | TCTL | TD | TPN | UML | Terminplanung | Time scheduling | Graphentheorie | Graph theory | Programmiersprache | Programming language | USA | United States |
-
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
Louati, Aymen, (2016)
-
Geschäftsprozessmodellierung mit der "Unified Modeling Language (UML)"
Kreische, David, (2004)
-
Incremental checking of Master Data Management model based on contextual graphs
Lamolle, Myriam, (2015)
- More ...
-
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
Louati, Aymen, (2016)
-
Towards analysis of flexible and collaborative workflow using recursive ECATNets
Barkaoui, Kamel, (2008)
-
Modeling migration of mobile agents
Borhen, Marzougui, (2013)
- More ...