电信系统中特征交互管理的代数方法

Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI:10.1109/PCEE.2002.1115212

S. Krivoi

{"title":"电信系统中特征交互管理的代数方法","authors":"S. Krivoi","doi":"10.1109/PCEE.2002.1115212","DOIUrl":null,"url":null,"abstract":"Our aim is the presentation of an algebraic approach for the methodological support of system development with formal verification of designed systems. In this paper a problem of feature interaction (FI) in telecommunication systems (and other software systems) and a formal framework for its management are considered. Within this framework, a telephone system is described from two views, one for its mathematical models and another for its features as sentences in the formal languages corresponding to such models.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"An algebraic approach to managing feature interaction in telecommunication systems\",\"authors\":\"S. Krivoi\",\"doi\":\"10.1109/PCEE.2002.1115212\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Our aim is the presentation of an algebraic approach for the methodological support of system development with formal verification of designed systems. In this paper a problem of feature interaction (FI) in telecommunication systems (and other software systems) and a formal framework for its management are considered. Within this framework, a telephone system is described from two views, one for its mathematical models and another for its features as sentences in the formal languages corresponding to such models.\",\"PeriodicalId\":444003,\"journal\":{\"name\":\"Proceedings. International Conference on Parallel Computing in Electrical Engineering\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-09-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. International Conference on Parallel Computing in Electrical Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PCEE.2002.1115212\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PCEE.2002.1115212","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们的目标是提出一种代数方法，用于系统开发的方法学支持，并对设计的系统进行正式验证。本文研究了电信系统(以及其他软件系统)中特征交互(FI)问题及其管理的形式化框架。在这个框架中，从两个角度描述电话系统，一个是它的数学模型，另一个是它的特征，即与这些模型相对应的形式语言中的句子。

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

查看原文本刊更多论文

An algebraic approach to managing feature interaction in telecommunication systems

Our aim is the presentation of an algebraic approach for the methodological support of system development with formal verification of designed systems. In this paper a problem of feature interaction (FI) in telecommunication systems (and other software systems) and a formal framework for its management are considered. Within this framework, a telephone system is described from two views, one for its mathematical models and another for its features as sentences in the formal languages corresponding to such models.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings. International Conference on Parallel Computing in Electrical Engineering

自引率

0.00%

发文量