Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2009.16-D.1.65

A Behavior Conformance Checker for Component Interfaces using UML State Machine Diagram  

Kim, Ho-Jun (삼성전자)
Lee, Woo-Jin (경북대학교 전자전기컴퓨터학부)
Publication Information
The KIPS Transactions:PartD / v.16D, no.1, 2009 , pp. 65-72 More about this Journal
Abstract
Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.
Keywords
Interface Behavior Conformance; Component Interface; UML State Machine;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Rational Software Corporation, “Rational Unified Process,” A Rational Software Corporation White Paper, 1998
2 R. Allen and D. Garlan, “A Formal Basis for Architectural Connection,” ACM Transactions on Software Engineering and Methodology, July, 1997
3 C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985
4 Robin Milner, Communication and Concurrency, Prentice Hall, 1989
5 Graphical Modeling Framework (GMF) version 2.0.2, Available at http://download.eclipse.org/modeling/gmf/downloads/index.php, 2008
6 Keith Short, Component-Based Development and Object Modeling, Sterling Software, 1997
7 Microsoft .NET framework, http://www.microsoft.com/net/
8 Frantisek Plasil, and Stanislav Visnovsky, “Behavior Protocols for Software Components,” IEEE Transactions on Software Engineering, Vol.28, No.11, Nov., 2002   DOI   ScienceOn
9 Java2 Platform, Enterprise Edition, http://java.sun.com/j2ee
10 Desmond F. D'Souza and Alan Cameron Willis, Objects, Components, and Frameworks with UML : The Catalysis Approach, Addison Wesley, 1998
11 OMG, Unified Modeling Language : Superstructure, version 2.1.1, 2007