Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)最新文献_第2页

Scalable consistency checking between diagrams - the VIEWINTEGRA approach 图之间可伸缩的一致性检查- VIEWINTEGRA方法

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989835

Alexander Egyed

引用次数: 85

Enhancing partial-order reduction via process clustering 通过过程聚类增强偏序约简

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989810

T. Basten, D. Bosnacki

引用次数: 17

Generation of functional test sequences from B formal specifications presentation and industrial case-study 从正式规格说明和工业案例研究中生成功能测试序列

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989833

B. Legeard, F. Peureux

引用次数: 40

Monitoring programs using rewriting 使用重写监视程序

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989799

K. Havelund, Grigore Roşu

引用次数: 219

Automatic translation from UML specifications to B 从UML规范到B的自动转换

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989849

Hung Ledang

{"title":"Automatic translation from UML specifications to B","authors":"Hung Ledang","doi":"10.1109/ASE.2001.989849","DOIUrl":"https://doi.org/10.1109/ASE.2001.989849","url":null,"abstract":"Summary form only given. The research to merge the relatively simple and graphical nature of UML with the firm semantics bases of B has been mentioned several time in the literature. The goal is to propose automatic derivation schemes from UML to B specifications. Then, the construction of UML specifications is rigorously controlled by analyzing derived a specifications thanks to powerful B support tools. Dealing with the modeling UML behavioral diagrams in B, which has not been treated so far, is the main objective of the current work. We emphasize on the translation from use case, interaction and statechart diagrams into B specifications. We formalize each class operation, use case, event as a B operation which is encapsulated in a B abstract machine where are modeled the class data involved by the class operation, use case or event in question. In order to get the derived B specification more structured, we consider the class operation calling-called dependency, the use case structuring and the relation between events and its triggered transition. To complete the derivation schemes, we have proposed three derivation procedures based on class operations, use case and events I In addition, we have envisaged the following verifications on UML specifications: (i) the consistency of the class invariant; (ii) the conformity of object and state-chart diagrams regarding the class diagrams; (iii) the conformity of class operations, use cases regarding the class invariant; (iv) the class operation calling-called dependency and (v) the use case structuring.","PeriodicalId":433615,"journal":{"name":"Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121624411","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}

引用次数: 17

Automated conversion from a requirements document to an executable formal specification 从需求文档到可执行的正式规范的自动转换

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989850

Beum-Seuk Lee

{"title":"Automated conversion from a requirements document to an executable formal specification","authors":"Beum-Seuk Lee","doi":"10.1109/ASE.2001.989850","DOIUrl":"https://doi.org/10.1109/ASE.2001.989850","url":null,"abstract":"Many formal specification languages have been developed to engineer complex systems. However natural language (NL) has remained the choice of domain experts to specify the system because formal specification languages are not easy to master. Therefore NL requirements documentation must be reinterpreted by software engineers into a formal specification language. When the system is very complicated, which is mostly the case when one chooses to use formal specification, this conversion is both non-trivial and error-prone, if not implausible. This challenge comes from many factors such as miscommunication between domain experts and engineers. However the major bottleneck of this conversion is from the inborn characteristic of ambiguity of NL and the different level of the formalism between the two domains of NL and the formal specification. This is why there have been very few attempts to automate the conversion from requirements documentation to a formal specification language. This research project is developed as an application of formal specification and linguistic techniques to automate the conversion from a requirements document written in NL to a formal specification language. Contextual Natural Language Processing (CNLP) is used to handle the ambiguity problem in NL and Two Level Grammar (TLG) is used to deal with the different formalism level between NL and formal specification languages to achieve automated conversion from NL requirements documentation into a formal specification (in our case the Vienna Development Method - VDM++). A knowledge base is built from the NL requirements documentation using CNLP by parsing the documentation and storing the syntactic, semantic, and contextual information.","PeriodicalId":433615,"journal":{"name":"Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127795769","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}

引用次数: 6

Acceptance based assurance 基于接受的保证

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989791

C. O'Halloran

引用次数: 4

Providing early feedback in the development cycle through automated application of model checking to software architectures 通过对软件架构进行模型检查的自动化应用，在开发周期中提供早期反馈

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989825

K. S. Barber, T. Graser, J. Holt

{"title":"Providing early feedback in the development cycle through automated application of model checking to software architectures","authors":"K. S. Barber, T. Graser, J. Holt","doi":"10.1109/ASE.2001.989825","DOIUrl":"https://doi.org/10.1109/ASE.2001.989825","url":null,"abstract":"The benefits of evaluating properties of software architectures stem from two important software architecture roles: (1) providing an opportunity to evaluate requirements and correct defects prior to implementation; and (2) serving as a blueprint for system developers. The paper focuses on a new software architecture evaluation tool called Architecture Analysis Dynamic Environment (Arcade) that uses model checking to provide software architecture safety and liveness evaluation during the requirements gathering and analysis phase. Model checking requires expertise not typically held by systems analysts and software developers. Thus, two barriers to applying model checking must be addressed: (1) translation of the software architecture specification to a form suitable for model checking, and (2) interpretation of the results of model checking. Arcade provides an automated approach to these barriers, allowing model checking of software architectures to be added to the list of techniques available to software analysts and developers focusing on requirements gathering and analysis.","PeriodicalId":433615,"journal":{"name":"Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125113258","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}

引用次数: 19

Model checking for an executable subset of UML 对UML的可执行子集进行模型检查

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989823

Fei Xie, V. Levin, J. Browne

引用次数: 43

Automated test-data generation from formal models of software 从软件的正式模型自动生成测试数据

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Pub Date : 2001-11-26 DOI: 10.1109/ASE.2001.989851

Sanjai Rayadurgam

引用次数: 9