ÿþ<html> <! This Web Page is Written By: Bahman Zamani , May 25, 2007> <head> <meta name="author" content="Bahman Zamani"> <meta name="revised" content="Mar. 22, 2005"> <meta name="keyword" content="BAHMAN, ZAMANI, CONCORDIA, MONTREAL, QUEBEC, CANADA, IROST, IROST-ISFAHAN, SOFTWARE Engineer, ISFAHAN, IRAN"> <meta name="PATTERN LANGUAGE VERFIFICATION, PLV, VERIFIER, UML"> <meta name="description" content="Student web page, CONCORDIA, MONTREAL,"> <base target="_blank"> <title>Bahman Zamani's Homepage , Concordia University</title> <style> h1 {color: brown} h3 {color: brown} h4 {color: darkblue} h6 {color: darkgreen} </style> </head> <body bgcolor=lightcyan background="background.jpg"> <h6 align="center">In the name of Allah</h6> <p style="font-family:comic sans ms;font-size:100%;color:green"> Welcome to my homepage: (Last Update: 29/06/2009) <h1>Bahman Zamani</h1> I <a href="Defense.jpg">defended</a> my PhD thesis (<a href="BahmanThesis.pdf">PDF 4MB</a>) on June 29, 2009 at the <a href="http://www.cs.concordia.ca/">Computer Science Dept.</a> of <a href="http://www.concordia.ca/">Concordia University</a> under the supervision of <a href="http://www.cs.concordia.ca/~gregb">Professor Butler</a>. <br><br> *** Note (20/04/2010): This page is no longer updated. Visit <a href="http://eng.ui.ac.ir/~zamani/">my page</a> at University of Isfahan. *** </p> <hr> <! ---------------------------------------------------------------------------------------> <img border="1" src="zamani2008paris.jpg" align="right" alt="Bahman Zamani, 2008" > <h3>Personal Information</h3> <table> <tr> <th>First Name:</th> <td>Bahman</td> </tr> <tr> <th>Last Name:</th> <td>Zamani</td> </tr> <tr> <th>Nationality:</th> <td><a href="iran.pdf">Iranian</a> (Want to Learn Persian Language? <a href="http://www.iles.umn.edu/faculty/bashiri/Lessons%20folder/intro.html">Click Here...)</a> (Want to know Tehran? (4MB pdf) <a href="Tehran.pdf">Click Here...)</a> </td> </tr> <tr> <th> Office:</th> <td> EV 11-139, 1515 Sainte Catherine West, Montreal</td> </tr> <tr> <th> Tel:</th> <td> (514)848-2424 , ext:7199</td> </tr> <tr> <th> Fax:</th> <td> ??</td> </tr> <tr> <th>Email:</th> <td>b_zamani A T cs D O T concordia D O T ca</a></td> </tr> </table> <br> <hr> <! -----------------------------------------------------------------Education----------------------> <h3>Educations</h3> <table border="1" cellpadding="1" cellspacing="1" > <tr> <td> <h4> Ph.D., Computer Science <br> <br> Concordia University, <br> Montreal, Quebec, Canada, 2004 - 2009 <br> [Thesis: On Verifying the Use of a Pattern Language in Model Driven Design] <br> (<a href="BahmanThesis.pdf">PDF 4MB</a>) <br> </h4> </td> <td> <h4> M.Sc., Software Engineering <br> <br> Sharif University of Technology, <br> Tehran, Iran, 1994 - 1997 <br> [Thesis: A software for symbolic execution of programs] <br> </h4> </td> <td> <h4> B.Sc., Software Engineering <br> <br> University of Isfahan, <br> Isfahan, Iran, 1985 - 1990 <br> [Project: Action Diagrams] <br> </h4> </td> </tr> </table> <hr> <! -----------------------------------------------------------------Course/Research-----------------------------> <h3>Courses/Researchs</h3> <h4>Courses taken: <br> <a href="http://www.cs.concordia.ca/~gregb/home/c647-w2004.html">Winter 2004: COMP6471 - Software Design Methodologies</a> <br> <a href="http://www.cs.concordia.ca/~haarslev/teaching/semweb/">Winter 2004: COMP691B - Foundations of the Semantic Web</a> <br> <a href="http://www.cs.concordia.ca/~comp691d/">Summer 2004: COMP691D - Software Measurement: Theory and Practice </a> <br> <a href="http://www.cs.concordia.ca/~chvatal/">Fall 2006: INDU6111 - Theory of Operation Research </a> <br> <a href="http://encs.concordia.ca/aits/public/top/courses/20074/ENCS591B.html">Winter 2008: ENCS591B - Technical Writing & Research Methedology </a> <br> <br> Doctoral Seminar:<br> <a href="Agile Methods4.pdf">Winter 2005: ENCS 8011 - Doctoral Seminar titled "Agile Methodologies"</a> <br> <br> Research Proposal:<br> <a href="Bahman_Proposal_Abstract.pdf">Fall 2005: ENCS 8511 - Doctoral Research Proposal titled "Knowledge Management in Agile Development"</a> <br> <br> Research Interests:<br> <a href="TeachingPhilisophy_2.pdf">My Teaching Philisophy</a> and <a href="ResearchPhilisophy_2.pdf"> My Research Philisophy</a> <br> </h4> Generally speaking, I'm interested in Software Engineering (hope not like <a href="project.jpg">this!</a> or <a href="project2.jpg"> this!</a>). You can find nice photographs and the history of Software Engineering <a href="http://homepages.cs.ncl.ac.uk/brian.randell/NATO/Introduction.html">here.</a> If you prefer to listen to a radio about software, listen to <a href="http://se-radio.net/">Software Engineering Radio.</a> <br><br> 1) My first research topic<br> Specific areas of my interests are <i><a href="Methodologies.pdf">Software Methodologies</a>, Software Project Management</i>, and in my research I am working around <a href="http://agile.csc.ncsu.edu/index.html">Agile Methodologies</a><i> </i>, addressing the probelm of "Less Documentation." <br> Look at the abstract of my research proposal titled <a href="Bahman_Proposal_Abstract.pdf">Knowledge Management in Agile Development</a>, though I think I have to modify and improve it in the course of my research. (Note: Actually I switched to a more practical topic) <br> Despite agile proponents, some people still beleive in <a href="http://www.waterfall2006.com/">Waterfall!</a> <! a href="agile_seminars.html"> <! Comming Conferences</a> <br><br> 2) My second research topic<br> Recently I've decided to move towards (agile) modeling. My new research lies in the area of Model Driven Engineering (MDE). Look at my <a href="sp.pdf">Statement of Purpose</a>. My first idea is published in Quality in Modeling Workshop (co-located with MoDELS 2007 Conference), titled <a href="http://www.ituniv.se/program/sem_research/Publications/2007/KSS07/proceedings-B5.pdf"> Critiquing the Application of Pattern Languages on UML Models.</a> <br><br> The idea is now more matured and more focused. I'm working on the quality of UML models that are build based upon the patterns of a pattern language. The results are published in the 2nd Intl. Workshop on Software Quality and Maintainability (co-located with CSMR 2008 Conference), titled <a href="http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4VXDKRV-9&_user=1069146&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000051262&_version=1&_urlVersion=0&_userid=1069146&md5=d2f0ac9ce3f06342872125854b0e6675&errMsg=1"> Tool Support for Pattern Selection and Use</a> and in MoDELS 2008 Conference proceeding, titled <a href="http://www.springerlink.com/content/212u6100662t2t53/"> A Pattern Language Verifier for Web-Based Enterprise Applications. </a> <br> <br> Now, I am writing my thesis on <h4>Pattern Language Verification (PLV) in Model Driven Engineering (MDE)</h4> My dissertation is complete now! (4 May 2009), the exact title is <h4>On Verifying the Use of a Pattern Language in Model Driven Design</h4> Following is the abstract of my thesis:<br> This thesis addresses the problem of verifying the application of a Pattern Language in a design that is built based upon the patterns of the language in a Model-Driven approach. Exploiting the ideas of compilers, we propose a process named Pattern Language Verifier (PLV). We argue that building a PLV for a given Pattern Language, requires the Structural, Syntactic, and Semantic rules of the language to be precisely defined. We present three formalisms for defining these three groups of rules. PLV is a profile-driven process and assumes that a UML Profile is already defined for the underlying Pattern Language. <br><br> PLV consists of four phases: Pattern Structural Verifier (PSV), Pattern Language Syntactic Verifier (PTV), Pattern Language Semantic Verifier (PMV), and Pattern Language Advisor (PLA). PSV verifies the structure of every single pattern used in the design model. PTV verifies the relationships between the detected patterns. PMV verifies the semantic aspects of the patterns. PLA reports the problems to the designer and guides him/her in fixing the errors. <br><br> For the case study, a group of enterprise architectural patterns is selected as the Pattern Language. The Structural, Syntactic, and Semantic rules of the language are defined using the proposed formalism, and a UML Profile is defined for the language. A PLV is designed and implemented as integration into an open source modeling tool. The tool is then utilized in designing a sample web application: Online Student Registration System. The usefulness of the tool is represented by walkthrough scenarios that show finding the mistakes in the model and helping the designer repair the detected problems. <br><br> <a href="conf.html">MDE Related Conferences</a> <br> I prepared a <a href="LatexWorkshop.pdf">A do-it-youself Latex Workshop Manaual</a>, for those who want to just start Latex! <br> <!img border="1" src="Smiley-06.gif" align="left" > <!h4> <!FONT color="clred"> <!BLINK> <! Project available for 2007/2008: </BLINK></FONT> <!br> <! If yor are <br> <! 1) an M.Sc. student at Concordia who has finished your course work, and <br> <! 2) want to switch to thesis-option, and <br> <! 3) are interested in Quality and MDD, then <br> <! send me an email. <!/h4> <! <h4> <! TA:<br> <! <a href="http://www.cs.concordia.ca/~gregb/home/c647-w2005.html"> <! COMP647 Winter 2005 (Marker) </a> <! &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; > <! <a href="comp335summer2005.html"> <! COMP335 Summer 2005</a> <! </h4> <hr> <! -----------------------------------------------------------------CV-----------------------------> <! -----------------------------------------------------------------Links--------------------------> <h3>Useful Links</h3> <h4>Dictionaries:</h4> <a href="http://www.oup.com/elt/global/products/oald/"> Oxford Dictionary </a> <br> <a href="http://www.m-w.com/"> Webster Dictionary </a> <br> <a href="http://dictionary.cambridge.org/"> Cambridge Dictionary </a><br> <a href="http://www.wordreference.com/"> French, German, Italian and Spanish Dictionary </a><br> <a href="http://www.aryanpour.com/"> Persian, English Dictionary </a><br> <a href="http://www.geocities.com/ikind_babel/babel/babel.html"> BABEL : A Glossary of Computer Oriented Abbreviations and Acronyms </a><br> <h4>Canada, Quebec, and Montreal Information:</h4> <a href="http://www.concordia.ca/maps/"> Concordia University Maps & Buildings </a><br> <a href="http://montreal.com/"> Montreal Information </a><br> <a href="http://www.studyinmontreal.info/en"> Study in Montreal </a><br> <a href="http://www.santemontreal.qc.ca/En/index.html"> Montreal Health Care Network </a><br> <a href="http://www.stcum.qc.ca/English/a-somm.htm"> Montreal Transport System, STM (All about: Metro, Bus, Maps) </a><br> <a href="http://www.411.ca/"> Find a person in CANADA (Tel, Map, ...)!</a><br> <a href="http://www.canlearn.ca/"> How to study and live in Canada?</a><br> <a href="http://www.immigration-quebec.gouv.qc.ca/anglais/immigration/students/step_foreign_students.html"> How current STUDENTS can Immigrate to Quebec (Online Evaluation)!</a><br> <a href="http://www.aucc.ca/"> The Association of Universities and Colleges of Canada</a><br> <h4> Iranian Sites (or about IRAN):</h4> <a href="http://www.guidinglights.org/"> Quran - Masnavi (English/Persain/Arabic) </a><br> <a href="http://www.msrt.ir/"> Ministry of Science , Research & Technology (From here you can find Iranian Universities) </a><br> <a href="http://en.wikipedia.org/wiki/Iran"> Iran (My home country) Information </a><br> <a href="http://www.itto.org/"> Iran Tourist Information </a><br> <a href="http://www.iles.umn.edu/faculty/bashiri/Lessons%20folder/intro.html"> Persian for Beginners </a><br> <a href="http://civil.iut.ac.ir/general/isfahan/mainpage.htm"> Isfahan (My home city) Information </a><br> <a href="http://www.isfahanhandicraft.com/"> Isfahan Handicrafts </a><br> <a href="http://www.rumionfire.com/"> Molana Jalal-e-Din Mohammad Molavi Rumi </a><br> <a href="http://www.hafizonlove.com"> Khajeh Shamseddin Mohammad Hafiz Shirazi </a><br> <h4>Career (Job) in Canada:</h4> <a href="http://www.monster.com/"> Monster </a><br> <a href="http://www.salaryexpert.com/"> Salary Expert </a><br> <a href="http://www.wetfeet.com/"> Wet Feet </a><br> <a href="http://www.vault.com/"> Vault </a><br> <hr> <! -----------------------------------------------------------------Iranians-------------------------> <h3>For Iranians</h3> <h4>I try to post useful and funny information for all Iranians in a separate page on my web site, <a href="iranians.html">click here.</a></h4> <hr> <! -----------------------------------------------------------------Photos-------------------------> <h3>Photos</h3> <h4>I have a photo album, <a href="album1.html">click here.</a></h4> <hr> <!a href="http://users.encs.concordia.ca/~b_zamani/guestbook/guestbook.php">My Guestbook</a>* No guestbook, please send me email. </body> </html> <! -----------------------------------------------------------------The End------------------------>