Current Proceedings on Technology

Yazarlar: Noraini Ibrahim, Rosziati Ibrahim, Mohd Zainuri Saringat, Reis Dzahar Mansor, Tutut Herawan

Konular:-

Anahtar Kelimeler:UML,Use Case Driven,Consistency rules,Logical approach

Özet: In developing an information system, software specification is one of the general activities to any software development methodologies. A software model is among widely technique to specify software functionalities and constraints. Unified Modeling Language (UML) is a famous language to specify, construct, visualize and document software. UML model may consist of different diagrams which describe different aspects or views of an information system. This situation opens to consistency problem where two or more overlapping elements of the different diagrams are not jointly satisfiable. It is very crucial to ensure a UML model is consistent as it is one of the attributes in measuring the quality of UML model. Although there are increasing researches on consistency management, there are still lack researches of consistency driven by use case and most of existing researches not using the standard abstract syntax that make existing approach difficult to apply in industrial software development. Therefore, this paper proposes three consistency rules between use case-sequence diagram and use case-class diagram. Besides that two consistency rules between sequence-class diagram also proposed. The abstract syntaxes that involved in the proposed consistency rules of each diagram are formally defined using logical approach. Finally, the consistency rules are formally reasoned.

---