کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9655899 685206 2005 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Object Oriented Concepts Identification from Formal B Specifications
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Object Oriented Concepts Identification from Formal B Specifications
چکیده انگلیسی
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeholders who are not familiar with the B method, such as customers or certification authorities. The paper first discusses some rules for a preliminary derivation of a class diagram. It then studies the consistency of the concepts preliminarily identified from an object oriented point of view. A formal concept analysis technique is used to distinguish between consistent classes, attributes, associations and operations. The proposed technique is to incrementally add operations to the formal specification which automatically result in evolution of the class diagram.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 133, 31 May 2005, Pages 159-174
نویسندگان
, ,