A Pattern Language Verifier for Web-Based Enterprise Applications

  • Bahman Zamani
  • Sahar Kayhani
  • Greg Butler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5301)


The Pattern Language Verifier (PLV) is a process for verifying the application of a pattern language in a design. The PLV process focuses on a pattern language for the design of web-based enterprise applications. We show how PLV exploits the ideas of programming language compilers to detect the structural, syntactic, and semantic errors in a design model and then guides the designer in fixing the problems. To provide tool support, we integrate PLV into the ArgoUML modeling tool. We use the tool to design a simple student registration system as a case study, and show how the process finds the mistakes in the model and helps the designer in repairing the detected problems.


Pattern Language Model Driven Engineering Profile 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bézivin, J.: Model driven engineering: An emerging technical space. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 36–64. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Fowler, M.: Patterns of Enterprise Application Architecture, 1st edn. Addison-Wesley, Reading (2002)Google Scholar
  3. 3. Argouml official web site (Retrieved on May 20, 2008),
  4. 4.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)Google Scholar
  5. 5.
    Alexander, C., et al.: A Pattern Language: Towns, Buildings, Construction. Oxford University Press, Oxford (1977)Google Scholar
  6. 6. Patterns web site (Retrieved on May 20, 2008),
  7. 7.
    Schmidt, D.C., Fayad, M., Johnson, R.E.: Software patterns. Commun. ACM 39, 37–39 (1996)CrossRefGoogle Scholar
  8. 8.
    Fowler, M.: Writing software patterns (2006),
  9. 9.
    Berczuk, S.: Finding solutions through pattern languages. Computer 27, 75–76 (1994)CrossRefGoogle Scholar
  10. 10.
    Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Boston. Addison-Wesley Longman Publishing Co., Boston (1986)Google Scholar
  11. 11.
    OMG: Unified Modeling Language: Specification, v1.4. OMG document formal/01-09-67 (2001)Google Scholar
  12. 12.
    Zamani, B., Butler, G., Kayhani, S.: Tool support for pattern selection and use. In: Second International Workshop on Software Quality and Maintainability, CSMR 2008 conference, ENTCS 2008, Athens, Greece (to appear, 2008) Google Scholar
  13. 13.
    Zamani, B., Butler, G.: Critiquing the application of pattern languages on uml models. In: Workshop on Quality in Modeling, MODELS 2007 Conference, Nashville, TN, USA, pp. 18–35 (2007)Google Scholar
  14. 14.
    Bergenti, F., Poggi, A.: Improving uml designs using automatic design pattern detection. In: 12th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 336–343 (2000)Google Scholar
  15. 15.
    Tsantalis, N., Chatzigeorgiou, A., Stephanides, G., Halkidis, S.T.: Design pattern detection using similarity scoring. IEEE Trans. Software Eng. 32, 896–909 (2006)CrossRefGoogle Scholar
  16. 16.
    Breu, R., Chimiak-Opoka, J.: Towards systematic model assessment. In: Akoka, J., Liddle, S.W., Song, I.-Y., Bertolotto, M., Comyn-Wattiau, I., van den Heuvel, W.-J., Kolp, M., Trujillo, J., Kop, C., Mayr, H.C. (eds.) ER Workshops 2005. LNCS, vol. 3770, pp. 398–409. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    Liu, W., Easterbrook, S., Mylopoulos, J.: Rule-based detection of inconsistency in uml models. In: Workshop on Consistency Problems in UML-Based Software Development, Dresden, Germany, pp. 106–123 (2002)Google Scholar
  18. 18.
    Kolovos, D.S., Paige, R.F., Polack, F.A., Rose, L.M.: Update transformations in the small with the epsilon wizard language. Journal of Object Technology (JOT), Special Issue for TOOLS Europe 6, 53–69 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Bahman Zamani
    • 1
  • Sahar Kayhani
    • 1
  • Greg Butler
    • 1
  1. 1.Department of Computer Science and Software EngineeringConcordia UniversityMontrealCanada

Personalised recommendations