2008

A pattern language verifier for web-based enterprise applications

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.

By MDSERG Admin | Papers in English
DETAIL

Contact

Email: Zamani[AT]eng.ui.ac.ir
Tel: +98-31-37934537
Address: Department of Software Engineering, Faculty of Computer Engineering, University of Isfahan, Hezar Jarib Ave.

Statistics

  • 0
  • 0
  • 17
  • 8,636
  • 343
  • 30
  • 0
  • March 21, 2019
TOP