Model Analysis of Equivalence Classes in UML Events Relations

660

national Conference on Integrated Formal Methods, Lon-

don, Vol. 1945, 2000, pp. 194-213.

http://dx.doi.org/10.1007/3-540-40911-4_12

[9] F. Gervais, M. Frappier and R. Laleau, “Synthesizing B

Specifications from EB3 Attribute Definitions,” Proceed-

ings of 5th International Conference on Integrated For-

mal Methods, Berlin/Heidelberg, Vol. 3771, 2005, pp.

207-226. http://dx.doi.org/10.1007/11589976_13

[10] O. Hasan and S. Tahar, “Verification of Probabilistic

Properties in the HOL Theorem Prover,” Proceedings of

the Integrated Formal Methods, Oxford, Vol. 4591, 2007,

pp. 333-352.

http://dx.doi.org/10.1007/978-3-540-73210-5_18

[11] T. B. Raymond, “Integrating Formal Methods by Unify-

ing Abstractions,” Vol. 2999, 2004, pp. 441-460.

[12] D. Jackson, I. Schechter and I. Shlyakhter, “Alcoa: The

Alloy Constraint Analyzer,” Proceedings of International

Conference on Software Engineering, Limerick, 2000, pp.

730-733.

[13] J. Sun, J. S. Dong, J. Liu and H. Wang, “A XML/XSL

Approach to Visualize and Animate TCOZ,” Proceedings

of 8th Asia-Pacific Software Engineering Conference,

Macao, 2001, pp. 453-460.

[14] A. Moeini and R. O. Mesbah, “Specification and Deve-

lopment of Database Applications based on Z and SQL,”

Proceedings of 2009 International Conference on Infor-

mation Management and Engineering, Kuala 2009, pp.

399-405.

[15] M. Heiner and M. Heisel, “Modeling Safety Critical

Systems with Z and Petri-Nets,” Proceedings of Interna-

tional Conference on Computer Safety, Reliability and

Security, London, 1999, pp. 361-374.

http://dx.doi.org/10.1007/3-540-48249-0_31

[16] H. Leading and J. Souquieres, “Integration of UML and B

Specification Techniques: Systematic Transformation

from OCL Expressions into B,” Proceedings of 9th Asia-

Pacific Software Engineering Conference, Gold Coast,

2002, p. 495.

[17] Z. M. Ma, “Fuzzy Conceptual Information Modeling in

UML Data Model,” International Symposium on Com-

puter Science and Computational Technology, Shanghai,

2008, pp. 331-334.

http://dx.doi.org/10.1109/ISCSCT.2008.353

[18] N. H. Ali, Z. Shukur and S. Idris, “A Design of an Asses-

sment System for UML Class Diagram,” International

Conference on Computational Science and Applications,

Kuala Lampur, 2007, pp. 539-546.

[19] S. A. Ehikioya and B. Ola, “A Comparison of Formalisms

for Electronic Commerce Systems,’ Proceedings of Inter-

national Conference on Computational Cybernetics, Vie-

nna, 2004, pp. 253-258.

[20] F. Alhumaidan, “State Based Static and Dynamic Formal

Analysis of UML State Diagrams,” Journal of Software

Engineering and Applications, Vol. 5 No. 7, 2012, pp.

483-491. http://dx.doi.org/10.4236/jsea.2012.57056

[21] Zafar, N. A. “LR(K) Parser Construction Using Bottom-

up Formal Analysis,” Journal of Software Engineering

and Applications, Vol. 5, No. 1, 2012, pp. 21-28.

http://dx.doi.org/10.4236/jsea.2012.51004

[22] Liu and C. Chen, “An Improved Quasi-Static Scheduling

Algorithm for Mixed Data-Control Embedded Software,”

Journal of Applied Sciences, Vol. 6, 2006, pp. 1571-1575.

http://dx.doi.org/10.3923/jas.2006.1571.1575

[23] N. A. Zafar and F. Alsaade, “Syntax-Tree Regular Expre-

ssion Based DFA Formal Construction,” Intelligent Infor-

mation Management (IIM), Vol. 4, No. 4, 2012, pp. 138-

146. http://dx.doi.org/10.4236/iim.2012.44021

[24] N. A. Zafar, A. Hussain and A. Ali, “Verifying Monoid

and Group Morphisms over Strongly Connected Alge-

braic Automata,” Journal of Software Engineering and

Applications, Vol. 3, No. 8, 2010, pp. 803-812.

http://dx.doi.org/10.4236/jsea.2010.38093

[25] N. A. Zafar, N. Sabir and A. Ali, “Construction of Inter-

section of Nondeterministic Finite Automata using Z

Notation,” International Journal of Electrical and Com-

puter Engineering, Vol. 3, No. 2, 2008, pp. 96-101.

[26] N. A. Zafar, “Formal Specification and Validation of

Railway Network Components Using Z Notation,” IET,

Software, Vol. 3, No. 4, 2009, pp. 312-320.

http://dx.doi.org/10.1049/iet-sen.2008.0082

[27] N. A. Zafar, A. Hussain and A. Ali, “Refinement: Formal

Proof of Equivalence in Endomorphisms and Automor-

phisms over Strongly Connected Automata,” Journal of

Software Engineering and Applications, Vol. 2, No. 2,

2009, pp. 77-85.

http://dx.doi.org/10.4236/jsea.2009.22012

[28] Z. Derakhshandeh, B. T. Ladani and N. Nematbakhsh,

“Modeling and Combining Access Control Policies Using

Constrained Policy Graph (CPG),” Journal of Applied

Sciences, Vol. 8, No. 20, 2008, pp. 3561-3571.

http://dx.doi.org/10.3923/jas.2008.3561.3571

[29] X. Than, H. Miao and L. Liu, “Formalizing Semantics of

UML Statecharts with Z,” Proceedings of 4th Interna-

tional Conference on Computer & Information Techno-

logy, Wuhan, 2004, pp. 1116-1121.

[30] S. Sengupta and S. Bhattacharya, “Formalization of UML

Diagrams and Consistency Verification: A Z Notation

Based Approach,” Proceedings of India Software Engi-

neering Conference, 2008, pp. 151-152.

[31] M. L. Shahreza, B. A. L. Gwandu and D. J. Creasey, “Im-

portance of Formal Specification in Design of Hardware

Systems,” IEE Colloquium on Structured Methods for

Hardware Systems Design, London, 1994, pp. 1-3.

[32] A. Hall, “Correctness by Construction: Integrating For-

mality into a Commercial Development Process,” Pro-

ceedings of International Symposium of Formal Methods

Europe, Copenhagen, Vol. 2391, 2002, pp. 139-157.

[33] M. Brendan and J. S. Dong, “Blending Object-Z and

Timed CSP: An Introduction to TCOZ,” Proceedings of

International Conference on Software Engineering, Kyo-

to, 1998, pp. 95-104.

[34] J. M. Spivey, “The Z Notation: A Reference Manual,”

Englewood Cliffs NJ, Prentice-Hall, 1989.

[35] J. M. Wing, “A Specifier, Introduction to Formal Me-

thods,” Computer Journal, Vol. 23, No. 9, 1990, pp. 8-24.

http://dx.doi.org/10.1109/2.58215

Open Access JSEA