COM revisited: Tool-assisted modelling of an architectural framework

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

Volumn , Issue , 2000, Pages 149-158

  Jackson, D ^a   Sullivan, K ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Alloy; Architectural style; Constraint solver; Formal methods; Formal specification; Integration frameworks; Microsoft COM

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONSTRAINT THEORY; FORMAL LOGIC; SEMANTICS; THEOREM PROVING; USER INTERFACES;

ARCHITECTURAL STYLE; COMPONENT OBJECT MODEL; CONSTRAINT SOLVER; FORMAL METHODS; FORMAL SPECIFICATION;

SOFTWARE ENGINEERING;

EID: 0034449044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Formalizing style to understand descriptions of software architecture
2. Formal modeling and analysis of the HLA component integration standard
3. Formalizing a specification for analysis: The HLA ownership properties
4. Exploiting architecture description languages to specify architectural styles induced by middleware infrastructures
5. Exploiting style in architectural design environments
6. Formal specification and analysis of software architectures using the chemical abstract machine model
7. Alloy: A lightweight object modelling notation
8. Alcoa: The alloy constraint analyzer
9. Software architecture styles as graph grammars
10. An event-based architecture definition language
11. Dynamic structure in software architectures
12. Capturing software architecture design expertise with armani
13. Analysis of a conflict between interface negotiation and aggregation in Microsoft's component object model
14. AML: An architecture meta language