A model driven approach to the analysis of timeliness properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5562 LNCS, Issue , 2009, Pages 221-236

  Ameedeen, Mohamed A ^a   Bordbar, Behzad ^a   Anane, Rachid ^b  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b Faculty of Engineering and Computing   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS PROCESS; BEHAVIOURAL ASPECTS; DESIGN LANGUAGES; EASE-OF-USE; FORMAL ANALYSIS; INCOMPATIBLE SYSTEMS; MATHEMATICAL FOUNDATIONS; MODEL DRIVEN APPROACH; MODELLING LANGUAGE; RIGOROUS ANALYSIS; SEAMLESS TRANSITION; SEQUENCE DIAGRAMS; SMALL NETWORKS; SOFTWARE DEVELOPMENT; TIME CONSTRAINTS; TIMING REQUIREMENTS; TOOL SUPPORT; TRANSFORMATION SYSTEMS; UML LANGUAGE; UML SEQUENCE DIAGRAMS;

DESIGN; EMBEDDED SYSTEMS; FORMAL METHODS; GRAPH THEORY; HAND TOOLS; LINGUISTICS; PETRI NETS; QUERY LANGUAGES;

MATHEMATICAL MODELS;

EID: 70350647327     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02674-4_16     Document Type: Conference Paper

References (37)

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)
6. Spivey, J.M.: The Z Notation: a reference manual. Prentice Hall, Englewood Cliffs (2001), http://spivey.oriel.ox.ac.uk/~mike/zrm/
7. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541-580 (1989)
8. Bonet, P., et al.: PIPE v2.5: a Petri Net Tool for Performance Modeling, in XXXIii Conferencia Latinoaméricana de Informática (2007)
9. CPNTools, Computer Tool for Coloured Petri Nets, http://wiki.daimi.au.dk/ cpntools/
10. Ameedeen, M.A., Bordbar, B.: A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets. In: 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC), München, Germany, pp. 213-221 (2008)
11. OMG, OMG Unified Modelling Language (UML) Superstructure 2.1 (2007), http://www.omg.org
12. OMG, UML 2.0 OCL 2nd revised submission (2003), http://www.omg.org
13. Douglass, B.P.: Doing Hard Time: Developing Real-time Systems with UML, Objects, Frameworks and Patterns. Object Technology Series. Addison Wesley, Reading (1999)
14. Störrle, H.: Trace Semantics of UML 2.0 Interactions, University of Munich (2004)
15. Wang, J.: Timed Petri Nets: Theory and Application. Springer, Heidelberg (1998)
16. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT) (2007)
17. Stahl, T., Volter, M.: Model Driven Software Development; technology engineering management. Wiley, Chichester (2006)
18. Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS
19. LNCS, vol. 3844, pp. 128-138. Springer, Heidelberg (2006)
20. Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264-278. Springer, Heidelberg (2005)
21. Akehurst, D.H., et al.: SiTra: Simple Transformations in Java. In: ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), Genova, Italy (2006)
22. OMG, MOF 2.0 Query/View/Transformation (QVT) Specification (2008), http://www.omg.org
23. Saroui, B.S.: Model Transformation from Sequence Diagrams to Petri Nets. University of Birmingham, Birmingham (2008)
24. XMI, XML Metadata Interchange (XMI), v2.1 (2005), http://www.omg.org
25. ArgoUML, ArgoUML web site (2005), http://sourceforge.net/projects/argouml
26. Poseidon. Poseidon for UML, from Gentleware (2006), http://www. gentleware.com/
27. Akehurst, D.H., et al.: SiTra: Simple Transformations in Java. In: ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (2006)
28. Schiller, J.H.: Mobile Communications. Pearson Education, London (2003)
29. Agerwala, T., Choed-Amphai, Y.-C.: A synthesis rule for concurrent systems. In: ACM IEEE Design Automation Conference (1978)
30. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)
31. Evans, A.F., Robert, Grant, E.: Towards Formal Reasoning with UML Models. In: Proceedings of the OOPSLA 1999 Workshop on Behavioral Semantics (1999)
32. Kim, D., et al.: A UML-Based Metamodeling Language to Specify Design Patterns (2003)
33. Kim, S.-K.: A Metamodel-based Approach to Integrate Object-Oriented Graphical and Formal Specification Techniques. University of Queensland, Brisbane (2002)
34. Snook, C., Butler, M.: UML-B: Formal modelling and design aided by UML. In: ACM Transactions on Software Engineering and Methodology (2006)
35. Marcano, R., Lévy, N.: Transformation Rules of OCL Constraints into B Formal Expressions. In: 5th International Conference on the Unified Modeling Language, Dresden, Germany (2002)
36. Küster-Filipe, J.: Modelling concurrent interactions. Theoretical Computer Science 351(2), 203-220 (2006)
37. Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)