@inproceedings{2e08d87c411549b1a505e7b612c1643d,
title = "Verifying behavioral correctness of design pattern implementation",
abstract = "Design pattern describes a recurring problem and its common solution, which usually is in abstract form. The application of design pattern requires coding the generic solution. It is necessary to assure the coding process correctly implements not only the structure but also the desired behavior of the design pattern. This problem is called implementation correctness in this paper. By providing the definition of partial order between sequence diagrams, we formally describe the implementation correctness. We verify the implementation correctness with model checking by using process algebra to specify the source code and temporal logic to specify the behavior of the pattern.",
keywords = "Design pattern, Model checking, Partial order, Process algebra, Temporal logic",
author = "Tu Peng and Jing Dong and Yajing Zhao",
year = "2008",
language = "English",
isbn = "9781627486620",
series = "20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008",
pages = "454--459",
booktitle = "20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008",
note = "20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008 ; Conference date: 01-07-2008 Through 03-07-2008",
}