Myeongho Kang, Taekyoung Kwon, Changyong Yang, Joo-Seok Song
{"title":"The design and verification of service feature interaction manager on AIN using Z schema","authors":"Myeongho Kang, Taekyoung Kwon, Changyong Yang, Joo-Seok Song","doi":"10.1109/CMPSAC.1996.544616","DOIUrl":null,"url":null,"abstract":"We design a feature interaction manager (FIM) used in the AIN switching system. By analyzing the interactions between features that have been the major obstacle of introducing the AIN service, it is shown that most of the interactions are caused by sharing limited resources, and on the basis of this knowledge, an interaction testing and handling logic is designed. Compared with other methods, the FIM has advantages such as a simple process logic, small memory space requirements, and runtime processing, and it is independent of new features. The FIM is designed using Z schema. This paper also shows the testing and handling process of interactions using the set relation of Z schema.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1996.544616","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
We design a feature interaction manager (FIM) used in the AIN switching system. By analyzing the interactions between features that have been the major obstacle of introducing the AIN service, it is shown that most of the interactions are caused by sharing limited resources, and on the basis of this knowledge, an interaction testing and handling logic is designed. Compared with other methods, the FIM has advantages such as a simple process logic, small memory space requirements, and runtime processing, and it is independent of new features. The FIM is designed using Z schema. This paper also shows the testing and handling process of interactions using the set relation of Z schema.