Formal specification of generative component assembly using two-level grammar

ACM International Conference Proceeding Series

Volumn 27, Issue , 2002, Pages 209-212

  Bryant, Barrett R ^a   Burt, Carol C ^a   Auguston, Mikhail ^b   Raje, Rajeev R ^c   Olson, Andrew M ^c  

^a UNIVERSITY OF ALABAMA AT BIRMINGHAM   (United States)

^b New Mexico State University   (United States)

^c INDIANA UNIVERSITY   (United States)

Author keywords

component based software; formal specification; generative programming; two level grammar

Indexed keywords

COMPONENT ASSEMBLY; COMPONENT BASED SOFTWARE; COMPONENT INTEGRATION; COMPONENT MODEL; FORMAL SPECIFICATION; FORMAL SPECIFICATION LANGUAGE; GENERATIVE DOMAIN MODEL; GENERATIVE PROGRAMMING; QUALITY OF SERVICE GUARANTEES; SYSTEM ASSEMBLY; TEST CASE; TWO-LEVEL GRAMMAR; UNIFIED APPROACH;

COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY OF SERVICE; QUERY LANGUAGES; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

KNOWLEDGE ENGINEERING;

EID: 77953737756     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568760.568796     Document Type: Conference Paper

References (12)

1. M. Auguston. Program behavior model based on Event Grammar and its application for debugging automation. In Proc. 2nd Int. Workshop Automated and Algorithmic Debugging, pages 277-291, 1995.
2. M. Auguston. Tools for program dynamic analysis, testing, and debugging based on event grammars. In Proc. SEKE 2000, 12th Int. Conf. Software Engineering Knowledge Engineering, pages 159-166, 2000.
3. BBN Corporation. Quality Objects (Quo), http://www.dist-systems.bbn.com/ tech/QuO, 2001
4. 2 2002, Southeastern Software Engineering Conf. (to appear), 2002.
5. B. R. Bryant and B.-S. Lee. Two-Level Grammar as an object-oriented requirements specification language. In Proc. 35th Hawaii Int. Conf. System Sciences, 2002.
6. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applicatons. Addison-Wesley, 2000.
7. INRIA-Rocquencourt. ASTER: Software Architectures for Distributed Systems, http://www-rocq.inria.fr/solidor/work/aster.html, 2001
8. Michigan State University. RAPIDware: Component-Based Development of Adaptale and Dependable Middleware, http://www.cse.msu.edu/rapidware, 2001
9. nfl: A language for describing non-functional properties. In Proc. 35th Hawaii Int. Conf. System Sciences, 2002.
10. Object Management Group (OMG). Model Driven Architecture: A technical perspective. Technical report, OMG Document No. ab/2001-02-01/04, February 2001
11. R. R. Raje, M. Auguston, B. R. Bryant, A. M. Olson and C. C. Burt. A unified approach for the integration of distributed heterogeneous software components. In Proc. Monterey Workshop Engineering Automation for Software Intensive Systems, pages 109-119, 2001
12. N. N. Siram, R. R. Raje, B. R. Bryant, A. M. Olson, M. Auguston, and C. C. Burt. An architecture for the UniFrame Resource Discovery Service. In Proc. SEM 2002, 3rd Int. Workshop Software Engineering Middleware (to appear), 2002.