Evaluating and improving the automatic analysis of implicit invocation systems

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 78-87

  Bradbury, Jeremy S ^a   Dingel, Juergen ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

architectural styles; formal methods; implicit invocation; linear temporal logic; model checking; publish subscribe; XML

Indexed keywords

ARCHITECTURAL STYLE; ARCHITECTURAL STYLES; IMPLICIT INVOCATION; LINEAR TEMPORAL LOGIC; PUBLISH-SUBSCRIBE;

ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL METHODS; MARKUP LANGUAGES; TEMPORAL LOGIC; XML;

MODEL CHECKING;

EID: 77954514575     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940083     Document Type: Conference Paper

References (12)

1. J. Corbett, M. Dwyer, J. Hatcliff, et al. Bandera: extracting finite-state models from Java source code. In Proc. of the Int'l Conference on Software Engineering, pages 439-448, Jun. 2000.
2. J. Dingel, D. Garlan, S. Jha, and D. Notkin. Reasoning about implicit invocation. In Proc. of the ACM SIGSOFT Int'l Symposium on the Foundations of Software Engineering, pages 209-221, Nov. 1998.
3. J. Dingel, D. Garlan, S. Jha, and D. Notkin. Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Formal Aspects of Computing, 10:193-213, 1998.
4. th Int'l Workshop on Software Specification and Design, Nov. 2000.
5. th Int'l SPIN Workshop on Model Checking of Software, May 2003.
6. G. J. Holzmann and M. H. Smith. An automated verification method for distributed systems software based on model extraction. IEEE Trans. on Software Engineering, 28(4):364-377, Apr. 2002.
7. K. L. McMillan. The SMV Language. Cadence Berkeley Labs, Mar. 1999.
8. P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proc. of the Int'l Conference on Software Engineering, pages 177-186, Apr. 1998.
9. S. Stuurman and J. van Katwijk. On-line change mechanisms: the software architectural level. In Proc. of the ACM SIGSOFT Int'l Symposium on Foundations of Software Engineering, pages 80-86, Nov. 1998.
10. K. J. Sullivan and D. Notkin. Reconciling environment integration and software evolution. ACM Trans. on Software Engineering and Methodology, 1(3):229-268, 1992. (Pubitemid 23600008)
11. R. Want, A. Hopper, V. Falcao, and J. Gibbons. The active badge location system. ACM Trans. on Information Systems, 10(1):91-102, Jan. 1992.
12. M. Wermelinger and J. L. Fiadeiro. Algebraic software architecture reconfiguration. In Proc. of the European Software Engineering Conference and the ACM SIGSOFT Int'l Symposium on the Foundations of Software Engineering, pages 393-409, Sept. 1999.