A stateful architecture description language to support component composition

Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04

Volumn 1, Issue , 2004, Pages 327-334

  Zhang, Shifeng ^a   Goddard, Steve ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

Architecture Description; FSP; Language; LTS; Software Architecture; xSADL

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; MIDDLEWARE; NETWORK PROTOCOLS; SET THEORY; SOFTWARE ENGINEERING; SYNCHRONIZATION;

FSP; LABELLED TRANSITION SYSTEM (LTS); SOFTWARE ARCHITECTURE; STATEFUL ARCHITECTURE DESCRIPTION LANGUAGE (SADL); XSADL;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (16)

1. J. Aldrich, G. Chambers and D. Notkin, "Arch-Java: Connecting Software Architecture to Implementation", Proc. of ICSE, 2002, pp. 187-197.
2. R. Allen, "A Formal Approach to Software Architecture", Ph.D Thesis, Carnegie Mellon University, May, 1997.
3. B. P. Douglass, D. Harel, M. B. Trakhtenbrot, "Statecharts in Use: Structured Analysis and Object-Orientation", European Educational Forum: School on Embedded Systems, 1996, pp. 368-394.
4. L. Frank, "Web Services Flow Language", IBM White Paper, May, 2001.
5. D. Garlan, R. Allen and J. Ockerbloom, "Architectural Mismatch: Why Reuse is So Hard", Proc. of ICSE, 1995, pp. 179-185.
6. P. Inverardi, A. L. Wolf, and D. Yankelevich, "Static Checking of System Behaviors Using Derived Component Assumptions", ACM Transactions on Software Engineering and Methodology, Vol.9, No.3, 2000, pp.239-272.
7. J. Kramer and J. Magee, "Concurrency: State Models and Java Programs", ISBN: 0-471-98710-7, John Wiley and Sons, 1999.
8. J. Magee, N. Dulay, S. Eisenbach and J. Kramer. "Specifying distributed software architectures", Proc. of 5th European Software Engineering Conf, 1995, pp. 137-153.
9. R. Milner, "Communication and Concurrency", ISBN: 0-13-114984-9, Prentice Hall, 1989.
10. M. Nenad and Richard. N. Taylor, "A Framework for classifying and Comparing Architecture Description Languages", Proc. of the 6th ESEC, 1997, pp. 60-76.
11. M. Shaw and D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", ISBN: 0-13-182957-2, Prectice Hall Publishing, 1996.
12. C. Szyperski, D. Grunte, and S. Murer, "Component Software - Beyond Object-Oriented Programming", ISBN: 0-201-74572-0, Addison-Wesley/ACM press, 2002.
13. S. Thatte, "Business Process Execution Language for Web Services Version 1.1", http://www-106.ibm.com/developerworks/library/ws-bpel/ (accessed by April 24, 2004)
14. O. Peyman, et. al, "Software Architecture and Component Technologies: Bridging the Gap", OMG-DARPA-MCC Workshop, 1998.
15. D. M. Yellin and R. E. Strom, "Protocol Specifications and Component Adaptors", ACM Transactions on Programming Languages and Systems, Vol. 19, No. 2, 1997, pp. 292-333.
16. S. Zhang and S. Goddard, "3CoFramework: A Component-based Framework for Distributed Applications", Proc. of SERF, 2003, pp. 398-404.