Aspect-oriented formal specification for multimedia systems

2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI:10.1109/AICCSA.2008.4493544

Lichen Zhang, Lihua Wang

{"title":"Aspect-oriented formal specification for multimedia systems","authors":"Lichen Zhang, Lihua Wang","doi":"10.1109/AICCSA.2008.4493544","DOIUrl":null,"url":null,"abstract":"This paper proposes an approach for specifying multimedia systems based on aspect-oriented formal specification, which exploits the diversity and power of existing formal specification languages. The time features can be separated from multimedia systems based on separation of concerns, and expressed as a real-time aspect by formal method. There is no requirement that different aspects of a system should be expressed in the same language. So the different aspects can be specified by one formal specification technique or different formal specification techniques. In this paper we provide some ideas for aspect- oriented formal specification of multimedia systems. Multimedia systems can be divided into different aspects, each aspect can be specified independently. After each aspect has been accomplished, it can be woven back to the system. This aspect oriented formal specification method simplifies the requirement analysis process of complex multimedia systems. Two case studies illustrate the specification process of aspect-oriented formal specification for multimedia systems.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 IEEE/ACS International Conference on Computer Systems and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AICCSA.2008.4493544","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

This paper proposes an approach for specifying multimedia systems based on aspect-oriented formal specification, which exploits the diversity and power of existing formal specification languages. The time features can be separated from multimedia systems based on separation of concerns, and expressed as a real-time aspect by formal method. There is no requirement that different aspects of a system should be expressed in the same language. So the different aspects can be specified by one formal specification technique or different formal specification techniques. In this paper we provide some ideas for aspect- oriented formal specification of multimedia systems. Multimedia systems can be divided into different aspects, each aspect can be specified independently. After each aspect has been accomplished, it can be woven back to the system. This aspect oriented formal specification method simplifies the requirement analysis process of complex multimedia systems. Two case studies illustrate the specification process of aspect-oriented formal specification for multimedia systems.

查看原文本刊更多论文

多媒体系统面向方面的正式规范

本文提出了一种基于面向方面形式化规范的多媒体系统描述方法，该方法充分利用了现有形式化规范语言的多样性和强大功能。基于关注点分离，可以将时间特征从多媒体系统中分离出来，并通过形式化方法表示为实时方面。没有要求系统的不同方面必须用同一种语言表达。因此，不同的方面可以通过一种或不同的形式规范技术来指定。本文对面向方面的多媒体系统形式化规范提出了一些思路。多媒体系统可以分为不同的方面，每个方面都可以独立指定。在完成每个方面之后，可以将其编织回系统。这种面向方面的形式化规范方法简化了复杂多媒体系统的需求分析过程。两个案例研究说明了面向方面的多媒体系统形式化规范的规范过程。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2008 IEEE/ACS International Conference on Computer Systems and Applications

自引率

0.00%

发文量