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