Architectural interaction diagrams: AIDs for system modeling

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 396-406

  Ray, Arnab ^a   Cleaveland, Rance ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; ERRORS; MATHEMATICAL MODELS; SEMANTICS; USER INTERFACES;

ARCHITECTURAL INTERACTION DIAGRAMS; MESSAGE SEQUENCE CHARTS; SINGLE SYSTEM MODEL;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0037587340     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201218     Document Type: Conference Paper

References (17)

1. Message sequence charts (MSC). ITU-TS Recommendation Z.120, 1996.
2. M. Bernardo, P. Ciancarini, and L. Donatiello. On the formalization of architectural types with process algebras. In 8th ACM Intl. Symp. on the Foundations of Software Engineering, pages 140-148, San Diego, CA, Nov. 2000. ACM Press.
3. G. Booch, I. Jacobson, and J. Rumbaugh. The unified modeling language user guide.
4. R. Cleaveland, X. Du, and S. Smolka. GCCS: A graphical coordination language for system specification. COORDINATION 2000, Lecture Notes in Computer Science, 1906:284-298, 2000.
5. D. Garlan, R. Allen, and D. Ockerbloom. Exploiting style in architectural design environments. Proceedings of SIGSOFT'94: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1994.
6. D. Harel. Statecharts:a visual formalism for complex systems. Science of Computer Programming, 8, pages 231-274, 1987.
7. http://www.mathworks.com. The MathWorks.
8. S. M. Inc. Javaspaces specifications. 1998.
9. K. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. Journal of Logic and Computation, 1(6):761-795, 1991.
10. E. Lee, Overview of Ptolemy project. Technical Memorandum, 6(3):213-249, 2001.
11. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proc. of the 5th European Software Engineering Conf., volume 989 of Lecture Notes in Computer Science, pages 137-153, Springer Verlag, 1995.
12. N. Carriero and D. Gelertner. Linda in context. Communications of the ACM, 32(4):445-458, 1989.
13. M. Pezzé and M. Young, Constructing multi-formalism state-space analysis tools: using rules to specify dynamic semantics of models. pages 239-250, 1997.
14. P. Wyckoff, S. McLaughry, T. J. Lehman, and D. Ford. Tspaces. IBM Systems Journal, 37(3), 1998.
15. R. Allen and D. Garlan. Formalizing architectural connection. 16th International Conference on Software Engineering, 1994.
16. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3):213-249, 1997.
17. R. Cleaveland and S. Sims. Generic tools for verifying concurrent systems. Science of Computer Programming, 41(1):39-47, 2002.