发布求助
文献互助 智能选刊 最新文献

Proceedings Ninth International Workshop on Software Specification and Design最新文献

筛选
英文 中文
Putting non-functional requirements into software architecture 将非功能需求放入软件架构中
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667920
Xavier Franch, P. Botella
{"title":"Putting non-functional requirements into software architecture","authors":"Xavier Franch, P. Botella","doi":"10.1109/IWSSD.1998.667920","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667920","url":null,"abstract":"This paper presents an approach for incorporating non-functional information of software system into software architectures. To do so, components present two distinguished slots: their non-functional specification, where non-functional requirements on components are placed, and their non-functional behaviour with respect to these requirements. Also, connector protocols may describe which non-functional aspects are relevant to component connections. We propose a notation to describe non-functionality in a systematic manner, and we use it to analyse two particular aspects of the meeting scheduler case study, user interaction and performance.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114253576","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 55
Methodological support for requirements elicitation and formal specification 对需求引出和正式规范的方法支持
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667932
M. Heisel, J. Souquières
{"title":"Methodological support for requirements elicitation and formal specification","authors":"M. Heisel, J. Souquières","doi":"10.1109/IWSSD.1998.667932","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667932","url":null,"abstract":"We propose a method for the elicitation and the expression of requirements. The requirements can then be transformed in a systematic way into a formal specification that is a suitable basis for design and implementation of a software system. The approach-which distinguishes between requirements and specifications-gives methodological support for requirements elicitation and specification development. It does not introduce a new language but builds on known techniques.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114393196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Business rules as organizational policies 业务规则作为组织策略
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667921
Julio Cesar Sampaio do Prado Leite, M. Leonardi
{"title":"Business rules as organizational policies","authors":"Julio Cesar Sampaio do Prado Leite, M. Leonardi","doi":"10.1109/IWSSD.1998.667921","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667921","url":null,"abstract":"Business rules are an important concept in the requirements definition process of computer based information systems. They have been used by information technology professionals and by database modeling, but few researchers in requirements engineering are studying them. From our point of view, business rules must be seen as very generic statements about the organization. As such, we have made the traditional distinction, used in business administration, between policy and procedure, We focus on policies and as such bring more stability to the business rules. On the other hand, we tie the business rule to our requirements baseline, making it possible to analyze changes from the viewpoint of organizational policies, which are better understood by mid and upper managers. We use the meeting scheduler IWSSD case study to illustrate our ideas.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127565235","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 48
V&V through inconsistency tracking and analysis V&V通过不一致跟踪和分析
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667918
S. Easterbrook, J. Callahan, V. Wiels
{"title":"V&V through inconsistency tracking and analysis","authors":"S. Easterbrook, J. Callahan, V. Wiels","doi":"10.1109/IWSSD.1998.667918","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667918","url":null,"abstract":"In this paper we describe a research agenda for a study into the use of inconsistency analysis as a tool for software V&V and in particular, the use of category theory as a basis for modeling consistency relationships between the various artifacts of software development, including specifications, design, test cases, etc. Our expectation is that inconsistency analysis is fundamental to much of the work of V&V and that a systematic approach will have impacts across a wide range of V&V tasks. Two goals are described: an account of the contribution of inconsistency analysis to various V&V analyses, and the development of a formal framework for inconsistency analysis. Our approach to the development of the latter is through the refinement of the viewpoint framework using the language of category theory. We discuss the relationship between specification morphisms, as conventional conceived in work on composition of specifications, and inter-viewpoint consistency relationships. We conclude that inconsistency analysis has the potential to address the 'air gaps' between methods used during the various phases of the software lifecycle.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"161 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116467358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Reconciling system requirements and runtime behavior 协调系统需求和运行时行为
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667919
M. Feather, S. Fickas, A. V. Lamsweerde, C. Ponsard
{"title":"Reconciling system requirements and runtime behavior","authors":"M. Feather, S. Fickas, A. V. Lamsweerde, C. Ponsard","doi":"10.1109/IWSSD.1998.667919","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667919","url":null,"abstract":"This paper considers the problem of system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible behaviors of environment agents at specification time, or from evoking conditions in this environment. We discuss an architecture and a development process for monitoring system requirements at runtime to reconcile the requirements and the system's behavior. This process is deployed on three scenarios of requirements-execution reconciliation for the Meeting Scheduler system. The work builds on our previous work on goal-driven requirements engineering and on runtime requirements monitoring.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"209 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122447026","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 241
From early to late formal requirements: a process-control case study 从早期到晚期的正式需求:过程控制案例研究
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667917
E. Dubois, Michaël Petit, Eric Yu
{"title":"From early to late formal requirements: a process-control case study","authors":"E. Dubois, Michaël Petit, Eric Yu","doi":"10.1109/IWSSD.1998.667917","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667917","url":null,"abstract":"In this paper we consider three distinct and connected modelling activities at the Requirements Engineering (RE) level. Within the context of reactive systems, we suggest how these three activities can be supported by the use of appropriate formal languages, namely Kaos, AlbertII and Timed Automata. The i* framework is used for linking the various formal models and for providing a \"high level\" model in terms of which organizational issues are captured. A small process control example is used to illustrate the proposed approach.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125208162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 54
Performance evaluation of a software architecture: a case study 软件架构的性能评估:一个案例研究
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667926
P. Inverardi, Calogero Mangano, Fabrizio Russo, S. Balsamo
{"title":"Performance evaluation of a software architecture: a case study","authors":"P. Inverardi, Calogero Mangano, Fabrizio Russo, S. Balsamo","doi":"10.1109/IWSSD.1998.667926","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667926","url":null,"abstract":"In this paper we investigate on the performance of a Teleservices and Remote Medical Care System (TRMCS). We use a method which automatically derives a performance evaluation model, based on a Queueing Network Model, from a Software Architecture specification formally described in CHAM (CHemical Abstract Machine). The goal of this analysis is to provide a set of measures to analyse the system performance. From these measures we can derive guidelines for the development process in order to maintain a given performance.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122735009","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Software architecture directed behaviour analysis 软件架构指导行为分析
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667929
J. Magee, J. Kramer, D. Giannakopoulou
{"title":"Software architecture directed behaviour analysis","authors":"J. Magee, J. Kramer, D. Giannakopoulou","doi":"10.1109/IWSSD.1998.667929","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667929","url":null,"abstract":"A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we discuss an approach to using architectural description for the behavioural analysis of distributed software systems and some of the issues which arise in providing tool support. The approach is based on the use of finite state automata to specify behaviour and Compositional Reachability Analysis to check composite system models. The architecture description of a system is used directly to generate the model used for analysis.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126534116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 36
Towards a software engineering approach to Web site development 迈向软件工程方法的网站开发
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667914
Francesco Coda, C. Ghezzi, G. Vigna, F. Garzotto
{"title":"Towards a software engineering approach to Web site development","authors":"Francesco Coda, C. Ghezzi, G. Vigna, F. Garzotto","doi":"10.1109/IWSSD.1998.667914","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667914","url":null,"abstract":"The World Wide Web (WWW) has become \"the\" global infrastructure for delivering information and services. The demands and expectations of information providers and consumers are pushing WWW technology towards higher-level quality of presentation, including active contents and improved usability of the hypermedia distributed infrastructure. This technological evolution, however, is not supported by adequate Web design methodologies. Web site development is usually carried out without following a well-defined process and lacks suitable tool support. In addition, Web technologies are quite powerful but rather low-level and their semantics is often left largely unspecified. As a consequence, understanding the conceptual structure of a complex Web site and managing its evolution are complex and difficult tasks. The approach we advocate here is based on sound software engineering principles. The Web site development process goes through requirements analysis, design, and implementation in a high-level language. We define an object-oriented modeling framework, called WOOM, which provides constructs and abstractions for a high-level implementation of a Web site. An important feature of WOOM is that it clearly separates the data that are presented through the site from the context in which the user accesses such data. This feature not only enhances separation of concerns in the design stage, but also favors its subsequent evolution. The paper provides a view of the approach and of its current prototype implementation.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115633490","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 86
An exercise in formal reasoning about mobile communications 关于移动通信的正式推理练习
Proceedings Ninth International Workshop on Software Specification and Design Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667916
A. Murphy, G. Roman, G. Varghese
{"title":"An exercise in formal reasoning about mobile communications","authors":"A. Murphy, G. Roman, G. Varghese","doi":"10.1109/IWSSD.1998.667916","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667916","url":null,"abstract":"With recent advances in wireless communication and the ubiquity of laptops, mobile computing has become an important research area. An essential problem in mobile computing is the delivery of a message from a source (stationary or mobile) to a desired mobile unit. Standard solutions used in Mobile IP and cellular phones rely on tracking the mobile unit. Tracking solutions scale badly when mobile units move frequently. Our paper proposes a new message delivery algorithm and includes a proof outline using the UNITY logic. Our algorithm requires no tracking and provides stronger guarantees than existing protocols.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123229565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信