arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0806.2730cs.SE
收藏

A Process Algebra Software Engineering Environment

B. Diertens

英文摘要:

In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. In this article we summarize that work and describe the software development process more formally by presenting the tools we use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. We generalize the refine step in this environment towards a process algebra based software engineering workbench of which several instances can be combined to form an environment.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑