A two-way modeling approach to architectural design based on reusable specifications

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

Volumn 1, Issue , 2004, Pages 177-182

  Reza, Hassan ^a   Grant, Emanuel S ^a  

^a UNIVERSITY OF NORTH DAKOTA   (United States)

Author keywords

Architectural Description Languages; Heterogeneous Modeling Designs; Hierarchical Predicate Transitions Nets; Software architecture; Unified Modeling Languages

Indexed keywords

ARCHITECTURAL DESCRIPTION LANGUAGES; HETEROGENEOUS MODELING DESIGNS; HIERARCHICAL PREDICATE TRANSITIONS NETS; SOFTWARE ARCHITECTURAL; UNIFIED MODELING LANGUAGES (UML);

ABSTRACTING; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; SYNCHRONIZATION;

SOFTWARE ENGINEERING;

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

References (17)

1. [BST96] P. Ben, J. Sinclair, and D. Till. An Introduction to Formal Specification and Z Prentice Hall, 1996.
2. [CD95] J. Cordy, and T. Dean. A Syntactic Theory of Software Architecture. IEEE Transactions on Software Eng., Vol.21, No.4, April 1995.
3. [EM00] A. Egyed, and N. Medvidovic. A Formal Approach to Heterogeneous Software Modeling. LNCS. 1783, FASE, 2000.
4. [GHJ95] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Weslely, Reading, MA, 1995.
5. th International Conference on the Application and the Theory of Petri Nets, Osaka, Japan, June 1996.
6. th International Computer Software and Applications Conference, Chicago, 1992.
7. [JRV00] M. Jazayeri, A. Ran, and F. Van Der Linden. Software Architecture for Product Families: Principles and Practice. Addison-Wesley, 2000.
8. [MQR95] M. Moriconi, X. Qian, and R. Riemenschneider. Correct Architectural Refinement. IEEE Transactions on Software Eng., April 1995.
9. [MT00] N. Medvidovic, and R. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, vol.26, no.1, Jan. 2000.
10. [Mur89] T. Murata. Petri Nets: Properties, Analysis and Applications. Proceeding of the IEEE, vol.77, no.4, April 1989, pages: 571-580.
11. [PW92] D. Perry, and A. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT, Software Eng. Notes Vol.17, No. 4, October 1992.
12. [Rez02] H. Reza. A Framework for Specifying Software Architecture Based On Petri Net Pattern, Ph.D. Dissertation, Department of Computer Science, North Dakota State University, April 2002.
13. [RH02] H. Reza, and X. He. Petri Net Patterns: Elements of Reusable Petri Nets Specification. In Proceedings of International Conference on Software Engineering and Research Practice (SERP'02), Las Vegas, Nevada, June 2002.
14. [RH03], H. Reza, and X. He. An Integrated Method to Software Architecture. The Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE03), San Francisco, July 2003.
15. [SG96] M. Shaw, and D. Garlan. Software Architecture: Perspective on an Emerging Discipline. Prentice Hall, 1996.
16. [Sha95] M. Shaw. Patterns for Software Architecture. Addison-Wesley 1995.
17. [UL01] Object Management Group Unified Modeling Language (UML) Specification version 1.5, OMG Headquarters, Massachusetts, USA, Sept. 2001.