C. Nentwich, W. Emmerich, and A. Finkelstein, "Static Consistency Checking for Distributed Specifications," Proc. 16th Int'l Conf. on Automated Software Engineering (ASE), Coronado Island, CA, pp.115-124, November 2001.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....these tools are lacking. Using traditional techniques for developing analysis tools, the cost of developing good tools may not be deemed worthwhile for languages still under development or languages with a small user base. This poster presents a static semantic checker implemented using xlinkit [2], a COTS constraint checker, and a custom set of semantic rules expressed in first order logic. This approach has made it easy to turn assertions about program structure into the parts of a working checker. Our checker is for Little JIL, a maturing graphical process programming language. The ....

....When the user clicks on an error message, the steps of the process that are related to the error message are highlighted as shown. 1 Figure 1: Reporting errors in the Little JIL Semantic Checker 3 Encoding Rules in First Order Logic The Little JIL static semantic checker makes use of xlinkit [2], a commercial constraint checking tool. Given one or more documents and a set of consistency rules expressed as first order logic predicates relating document elements, xlinkit attempts to satisfy the rules across the documents. The documents and ruleset are encoded in XML [4] Within the rules, ....

C. Nentwich, W. Emmerich, and A. Finkelstein. Static consistency checking for distributed specifications. In International Conference on Automated Software Engineering (ASE), Coronado Bay, CA, 2001.

....evaluation of applying the FLAVERS data flow analysis tool [3] to Little JIL processes [1] His approach required manual translation of Little JIL into a model that FLAVERS could analyze. We are currently investigating automating this translation. We are also pursuing work toward the use of LTSA [6] to perform model checking of Little JIL processes, and have had some encouraging initial results in this e#ort. 6 Related Work The novelty of this work lies in its use of first order logic to define the semantic analyzer. Formal notations are commonly used to define the semantics of programming ....

C. Nentwich, W. Emmerich, and A. Finkelstein. Static consistency checking for distributed specifications. In International Conference on Automated Software Engineering (ASE), Coronado Bay, CA, 2001.

.... different information models across the software lifecycle provide limited support for traceability and consistency management between artefacts [9, 10] Specifically, current approaches do not provide developers with the flexibility to create relations across software artefacts of different types [11, 12, 13, 14]. Olsson and Grundy [15] find that restricting software artefacts to a common data model does not sufficiently allow fuzzy inter relationships that can exist between artefacts. Furthermore, they find that artefact management should inform developers of important inter artefact relationships and ....

C Nentwich, W Emmerich, and W Finkelstein. Static consistency checking for distributed specifications. In Proceedings of the 2001.

....of our approach and Schematron was already presented in section 5.2. Both approaches relies on XPath expressions, but ours needs only one XSLT transformation and provides greater flexibility for presenting results to users and for computing requirements oriented metrics. The xlinkit language [18] is an XML based language for specifying consistency rules between XML documents using a restricted set of first order logic and XPath expressions. Most XSLT verification code presented in this paper can be expressed in xlinkit. For example the XSLT code in section 5.3 for detecting use cases not ....

C. Nentwich, W. Emmerich, and A. Finkesltein. Static consistency checking for distributed specifications. In Proceedings of Automated Software Engineering, 2001.

....the same, referring to the entity where the information is represented and stored. oriented analysis and design models, user interface designs, code, black box and white box test plans, user documentation and so on. Support for relating information across such representations is still quite weak [6, 11]. Therefore, the linking and transformation work has to, a large extent, be done manually. This is an error prone and tedious process. We describe a new approach to managing fuzzy relationships between high level software artefacts, namely requirements, use case models and black box test plans. We ....

....Much of this research is, however, usually focused on either low level abstractions or on formal methods to encode software information. Many current multi level software information management approaches require the notations worked with have to have a logic basis to support consistency manaement [1, 15, 11]. Most of these approaches usually focus on one or closely related types of documents, not allowing the developer to create relations across quite different types of software artefacts[17, 13, 6, 11] Many integrated software environments utilise a common data model for all software artefacts [1, ....

[Article contains additional citation context not shown here]

Nentwich, C., Emmerich, W., Finkelstein, A. Static Consistency Checking for Distributed Specifications, In Proceedings of the 2001 Automated Software Engineering Conference, San Diego, November 26-28 2001.

No context found.

C. Nentwich, W. Emmerich, and A. Finkelstein. Static Consistency Checking for Distributed Specifications. In Proceedings of the 16th International Conference on Automated Software Engineering (ASE), pages 115--124, Coronado Island, CA, Nov. 2001. IEEE Computer Science Press.

....a web of inconsistency or a web of consistency across tools, while Chimera takes care of visualisation. Finally, the link generation semantics for xlinkit was formally specified and evaluated in [25] xlinkit s UML constraints have also been tested against a series of industrial models [26]. xlinkit is based on previous work on consistency checking using XML technologies [13] The expressive power of xlinkit has since been greatly increased, permitting first order logic constraints that relate any number of documents, rather than just two documents in a pair wise comparison. ....

C. Nentwich, W. Emmerich, and A. Finkelstein. Static Consistency Checking for Distributed Specifications. In Proceedings of the 16th International Conference on Automated Software Engineering (ASE), San Diego, CA, November 2001. IEEE Computer Science Press. To appear.

No context found.

C. Nentwich, W. Emmerich, and A. Finkelstein, "Static Consistency Checking for Distributed Specifications," Proc. 16th Int'l Conf. on Automated Software Engineering (ASE), Coronado Island, CA, pp.115-124, November 2001.

No context found.

C. Nentwich, W. Emmerich, and A. Finkelstein, "Static Consistency Checking for Distributed Specifications," Proc. 16th Int'l Conf. on Automated Software Engineering (ASE), Coronado Island, CA, pp.115-124, November 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC