An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
复制标题
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
C. Doungsa-ard;T. Suwannasart
中科院分区：
文献类型：
--
作者：
C. Doungsa-ard;T. Suwannasart
软件规格说明书是一个基本的工作产品，它代表了用户的需求，开发人员可以使用它来进一步开发软件系统。软件规格说明可以用非正式、半正式或正式规格说明来表示。现有的方法和工具可以将半形式化规范转换为代码或程序，但它们没有解决形式化规范语言的转换问题。在本文中，我们提出了一个自动的方法来转换CafeOBJ规范的Java模板代码。该方法包括步骤和转换规则。我们已经实现了一个名为Cafe2Java的工具来说明我们提出的方法。我们还验证了该方法，并使用一些CafeOBJ规范体验了该工具。
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specification can be expressed by using an informal, a semi-formal, or a formal specification. Existing methodologies and tools can transform semi-formal specifications to code or programs but they have not addressed a transformation of formal specification languages. In this paper, we propose an automatic approach to transform CafeOBJ specifications to Java template code. The proposed approach consists of steps and transformation rules. We have implemented a tool called Cafe2Java to illustrate our proposed approach. We also validate the approach and experience the tool with some CafeOBJ specifications.