A Model Driven Approach to the Analysis of Timeliness Properties-Reference-Cited by-同舟云学术

A Model Driven Approach to the Analysis of Timeliness Properties

Published:2009 Issue: Volume: Page:221-236
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ameedeen Mohamed A.,Bordbar Behzad,Anane Rachid

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02674-4_16

Reference36 articles.

1. van der Aalst, W.M.P.: The Application of Petri Nets for Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

2. Vanhatalo, J., Volzer, H., Leymann, F.: Faster and More Focussed Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Fifth International Conference on Service Oriented Computing, pp. 43–55. Springer, Vienna (2007)

3. Anastasakis, K., et al.: UML2Alloy: a Challenging Model Transformation. In: ACM/IEEE 10th international confernece on Model Driven Engineering Languages and Systems (2007)

4. Juerjens, J.: Secure Systems Development With UML. Springer, Heidelberg (2004)

5. Jackson, D.: Software Abstractions Logic, Language, and Analysis. MIT Press, Cambridge (2006)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Handling Global and Local Time and Energy Constraints of Sequence Diagrams;2018 UKSim-AMSS 20th International Conference on Computer Modelling and Simulation (UKSim);2018-03

2. Trustworthy Software Development Based on Model Driven Architecture;Communications in Computer and Information Science;2013

3. Modeling UML sequence diagrams using extended Petri nets;Telecommunication Systems;2011-03-24

4. Model interoperability via Model Driven Development;Journal of Computer and System Sciences;2011-03