Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667920
Xavier Franch, P. Botella
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667932
M. Heisel, J. Souquières
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667921
Julio Cesar Sampaio do Prado Leite, M. Leonardi
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667918
S. Easterbrook, J. Callahan, V. Wiels
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667919
M. Feather, S. Fickas, A. V. Lamsweerde, C. Ponsard
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667917
E. Dubois, Michaël Petit, Eric Yu
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667926
P. Inverardi, Calogero Mangano, Fabrizio Russo, S. Balsamo
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667929
J. Magee, J. Kramer, D. Giannakopoulou
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667914
Francesco Coda, C. Ghezzi, G. Vigna, F. Garzotto
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.
{"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}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667916
A. Murphy, G. Roman, G. Varghese
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：