A language and environment for architecture-based software development and evolution

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A language and environment for architecture-based software development and evolution

Full text

Pdf (1.56 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 21st international conference on Software engineering table of contents

Los Angeles, California, United States

Pages: 44 - 53

Year of Publication: 1999

ISBN:1-58113-074-0

Authors

Nenad Medvidovic	Computer Science Dept., University of Southern California, Los Angeles, CA
David S. Rosenblum	Info. and Computer Science Dept., University of California, Irvine, Irvine, CA
Richard N. Taylor	Info. and Computer Science Dept., University of California, Irvine, Irvine, CA

Sponsors

IEEE-CS : Computer Society
IEEE-CS\TCSE : TC on Software Engineering
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 84, Citation Count: 43

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/302405.302410 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
	2	Proceedings of the European Conference on Object-Oriented Programming, July 1991
	3	D. BatoIy, L. Cogliauese, S. Shafer, and W. Tracz.. The ADAGE Avionics Reference Architecture. In Proceedings of AIAA Computing in Aerospace 10, San Antonio, 1995.
	4	C. Canal, E. Pimentel, J. M. Troya. A pi-calculus Semantics for au Architecture Description Language. Technical Report, Theorem provers and model checkers typically require some assistance from the user. This is entirely consistent with DRADEL'S expectation that the user will play an active role in architecture-based system development and evolution. LCC-ITI-98-07, Depto. de Lenguajes y Ciencias de la Computacibn, Universidad de MQaga, Spain, April 1998.
	5	K. K. Dhara and G. T. Leavens. Forcing Behavioral Subtyping through Specification Inheritance. Technical Report, TR# 952Oc, Department of Computer Science, Iowa State University, August 1995, revised March 1997.
	6	B. Fischer, M. Kievemagel, and W. Struckmann. VCR: A VDM-Based Software Component Retrieval Tool. Technical Report 94-08, Technical University of Braunschweig, Germany, November 1994.
	7	David Garlan , Robert Allen , John Ockerbloom, Exploiting style in architectural design environments, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.175-188, December 06-09, 1994, New Orleans, Louisiana, United States
	8	David Garlan , Robert Monroe , David Wile, Acme: an architecture description interchange language, Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research, p.7, November 10-13, 1997, Toronto, Ontario, Canada
	9	Carlo Ghezzi , Mehdi Jazayeri , Dino Mandrioli, Fundamentals of software engineering, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	10	Michael M. Gorlick , Rami R. Razouk, Using weaves for software construction and analysis, Proceedings of the 13th international conference on Software engineering, p.23-34, May 13-17, 1991, Austin, Texas, United States
	11	John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
	12	Paola Inverardi , Alexander L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, v.21 n.4, p.373-386, April 1995 [doi>10.1109/32.385973]
	13	Paola Inverardi , Alexander L. Wolf , Daniel Yankelevich, Checking Assumptions in Component Dynamics as the Architectural Level, Proceedings of the Second International Conference on Coordination Languages and Models, p.46-63, September 01-03, 1997
	14	David C. Luckham , James Vera, An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, v.21 n.9, p.717-734, September 1995 [doi>10.1109/32.464548]
	15	Barbara H. Liskov , Jeannette M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.6, p.1811-1841, Nov. 1994 [doi>10.1145/197320.197383]
	16	Jeff Magee , Jeff Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.3-14, October 16-18, 1996, San Francisco, California, United States
	17	Nenad Medvidovic , Richard N. Taylor, Architecture-based specification-time software evolution, 1999
	18	Nenad Medvidovic , Peyman Oreizy , Jason E. Robbins , Richard N. Taylor, Using object-oriented typing to support architectural design in the C2 style, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.24-32, October 16-18, 1996, San Francisco, California, United States
	19	Nenad Medvidovic , Peyman Oreizy , Richard N. Taylor, Reuse of off-the-shelf components in C2-style architectures, Proceedings of the 1997 symposium on Software reusability, p.190-198, May 17-20, 1997, Boston, Massachusetts, United States
	20	N. Medvidovic and D. S. Rosenblum. Domains of Concern in Software Architectures and Architecture Descrintion Languages. In Proceedings of the USENIX Conference on Domain-Spectfic Languages, Santa Barbara, CA, October 1997.
	21	N. Medvidovic, D. S. Rosenblum, and R. N. Taylor. A Iype Theory for Software Architectures. Technical Report, UCI- ICS-98-14, Department of Information and Computer Science, University of California, Irvine, April 1998.
	22	N. Medvidovic and R. N. Taylor. Exploiting Architectural Style to Develop a Family of Applications. IEE Proceedings Software Engineering, October-December 1997.
	23	Nenad Medvidovic , Richard N. Taylor, A framework for classifying and comparing architecture description languages, Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, p.60-76, September 22-25, 1997, Zurich, Switzerland
	24	N. Medvidovic, R. N. Taylor, and E. J. Whitehead, Jr. Formal Modeling of Software Architectures at Multiple Levels of Abstraction. In Proceedings of the California Software Symposium, Los Angeles, CA, April 1996.
	25	Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992 [doi>10.1109/2.161279]
	26	R. Monroe. Armani Language Reference Manual, version 0.1. Private communication, March 1998.
	27	Mark Moriconi , Xiaolei Qian , R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software Engineering, v.21 n.4, p.356-3, April 1995 [doi>10.1109/32.385972]
	28	Oscar Nierstrasz, Regular types for active objects, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.1-15, September 26-October 01, 1993, Washington, D.C., United States
	29	Peyman Oreizy , Nenad Medvidovic , Richard N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th international conference on Software engineering, p.177-186, April 19-25, 1998, Kyoto, Japan
	30	Sam Owre , S. Rajan , John M. Rushby , Natarajan Shankar , Mandayam K. Srivas, PVS: Combining Specification, Proof Checking, and Model Checking, Proceedings of the 8th International Conference on Computer Aided Verification, p.411-414, August 03, 1996
	31	Jens Palsberg , Michael I. Schwartzbach, Three discussions on object-oriented typing, ACM SIGPLAN OOPS Messenger, v.3 n.2, p.31-38, April 1992 [doi>10.1145/130943.130949]
	32	H. Partsch , R. Steinbrüggen, Program Transformation Systems, ACM Computing Surveys (CSUR), v.15 n.3, p.199-236, Sept. 1983 [doi>10.1145/356914.356917]
	33	Dewayne E. Perry, The inscape environment, Proceedings of the 11th international conference on Software engineering, p.2-11, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74588]
	34	David S. Rosenblum, A Practical Approach to Programming With Assertions, IEEE Transactions on Software Engineering, v.21 n.1, p.19-31, January 1995 [doi>10.1109/32.341844]
	35	J. Schumann , B. Fischer, NORA/HAMMR: making deduction-based software component retrieval practical, Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE), p.246, November 02-05, 1997
	36	Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970]
	37	Richard N. Taylor , Nenad Medvidovic , Kenneth M. Anderson , E. James Whitehead, Jr. , Jason E. Robbins , Kari A. Nies , Peyman Oreizy , Deborah L. Dubrow, A Component- and Message-Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, v.22 n.6, p.390-406, June 1996 [doi>10.1109/32.508313]
	38	S. Vestal. MetaH Programmer's Manual, Version 1.09. Technical Report, Honeywell Technology Center, April 1996.
	39	Daniel M. Yellin , Robert E. Strom, Interfaces, protocols, and the semi-automatic construction of software adaptors, Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, p.176-190, October 23-28, 1994, Portland, Oregon, United States
	40	Amy Moormann Zaremski , Jeannette M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.4, p.333-369, Oct. 1997 [doi>10.1145/261640.261641]

CITED BY 43

	André van der Hoek , Marija Mikic-Rakic , Roshanak Roshandel , Nenad Medvidovic, Taming architectural evolution, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Antonia Bertolino , Paola Inverardi , Henry Muccini, An explorative journey from architectural tests definition down to code tests execution, Proceedings of the 23rd International Conference on Software Engineering, p.211-220, May 12-19, 2001, Toronto, Ontario, Canada
	Marija Rakic , Nenad Medvidovic, Increasing the confidence in off-the-shelf components: a software connector-based approach, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.11-18, May 2001
	L. Davis , R. Gamble , J. Payton , G. Jónsdóttir , D. Underwood, A notation for problematic architecture interactions, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Marlon E. R. Vieira , Marcio S. Dias , Debra J. Richardson, Analyzing software architectures with Argus-I, Proceedings of the 22nd international conference on Software engineering, p.758-761, June 04-11, 2000, Limerick, Ireland
	Eric M. Dashofy , André van der Hoek , Richard N. Taylor, An infrastructure for the rapid development of XML-based architecture description languages, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Nenad Medvidovic , David S. Rosenblum , David F. Redmiles , Jason E. Robbins, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.1, p.2-57, January 2002
	Elisabetta Di Nitto , David Rosenblum, Exploiting ADLs to specify architectural styles induced by middleware infrastructures, Proceedings of the 21st international conference on Software engineering, p.13-22, May 16-22, 1999, Los Angeles, California, United States
	Nenad Medvidovic , Paul Grünbacher , Alexander Egyed , Barry W. Boehm, Bridging models across the software lifecycle, Journal of Systems and Software, v.68 n.3, p.199-215, 15 December 2003
	Nenad Medvidovic , Richard N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, v.26 n.1, p.70-93, January 2000
	Nenad Medvidovic, On the role of middleware in architecture-based software development, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
	Roshanak Roshandel , André Van Der Hoek , Marija Mikic-Rakic , Nenad Medvidovic, Mae---a system model and environment for managing architectural evolution, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.2, p.240-276, April 2004
	Sebastian Uchitel , Robert Chatley , Jeff Kramer , Jeff Magee, System architecture: the context for scenario-based model synthesis, ACM SIGSOFT Software Engineering Notes, v.29 n.6, November 2004
	André van der Hoek, Design-time product line architectures for any-time variability, Science of Computer Programming, v.53 n.3, p.285-304, December 2004
	Eric M. Dashofy , André van der Hoek , Richard N. Taylor, A comprehensive approach for the development of modular software architecture description languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.2, p.199-245, April 2005
	Yongjie Zheng , Alvin T. S. Chan, MobiGATE: A Mobile Computing Middleware for the Active Deployment of Transport Services, IEEE Transactions on Software Engineering, v.32 n.1, p.35-50, January 2006
	Yu David Liu , Scott F. Smith, Interaction-based programming with classages, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Sam Malek , Marija Mikic-Rakic , Nenad Medvidovic, A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems, IEEE Transactions on Software Engineering, v.31 n.3, p.256-272, March 2005
	Henry Muccini , Antonia Bertolino , Paola Inverardi, Using Software Architecture for Code Testing, IEEE Transactions on Software Engineering, v.30 n.3, p.160-171, March 2004
	M. Hepner , R. Gamble , M. Kelkar , L. Davis , D. Flagg, Patterns of conflict among software components, Journal of Systems and Software, v.79 n.4, p.537-551, April 2006
	Mourad Oussalah , Nassima Sadou , Dalila Tamzalit, A generic model for managing software architecture evolution, Proceedings of the 9th WSEAS International Conference on Systems, p.1-6, July 11-13, 2005, Athens, Greece
	Sasa Baskarada, Issues with representing software architectures in the unified modeling language, Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science, p.1-6, April 25-27, 2005, Rio de Janeiro, Brazil
	Mohamed Hadj Kacem , Ahmed Hadj Kacem , Mohamed Jmaiel , Khalil Drira, Describing dynamic software architectures using an extended UML model, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	George A. Papadopoulos , Aristos Stavrou , Odysseas Papapetrou, An implementation framework for software architectures based on the coordination paradigm, Science of Computer Programming, v.60 n.1, p.27-67, March 2006
	Andrew McVeigh , Jeff Kramer , Jeff Magee, Using resemblance to support component reuse and evolution, Proceedings of the 2006 conference on Specification and verification of component-based systems, November 10-11, 2006, Portland, Oregon
	Ping Yu , Xiaoxing Ma , Jian Lu, Expectation, experiment and reflection on internet software evolution, ACM SIGSOFT Software Engineering Notes, v.32 n.3, May 2007
	Alexander Egyed , Robert Balzer, Integrating COTS Software into Systems through Instrumentation and Reasoning, Automated Software Engineering, v.13 n.1, p.41-64, January 2006
	Jeff Kramer , Jeff Magee, Self-Managed Systems: an Architectural Challenge, 2007 Future of Software Engineering, p.259-268, May 23-25, 2007
	Matthieu Leclercq , Ali Erdem Ozcan , Vivien Quema , Jean-Bernard Stefani, Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, Proceedings of the 29th International Conference on Software Engineering, p.209-219, May 20-26, 2007
	Asuman Sünbül , Herbert Weber , Julia Padberg, Evolutionary Development Of Business Process Centered Architectures Using Component Technologies, Journal of Integrated Design & Process Science, v.5 n.3, p.13-24, August 2001
	Scott A. Hendrickson , Andre van der Hoek, Modeling Product Line Architectures through Change Sets and Relationships, Proceedings of the 29th International Conference on Software Engineering, p.189-198, May 20-26, 2007
	Hong Mei, A Component Model for Perspective Management of Enterprise Software Reuse, Annals of Software Engineering, v.11 n.1, p.219-236, November 2001
	David S. Rosenblum, CAREER: mechanisms for ensuring the integrity of distributed object systems, ACM SIGSOFT Software Engineering Notes, v.25 n.1, p.78-79, Jan 2000
	A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems, Proceedings of the 26th International Conference on Software Engineering, p.81-83, May 23-28, 2004
	Nabor C. Mendonça , Jeff Kramer, An Approach for Recovering Distributed System Architectures, Automated Software Engineering, v.8 n.3-4, p.311-354, August 2001
	Jennifer Pérez , Carlos E. Cuesta, Aspect-oriented connectors for coordination, International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, p.13-22, September 03-04, 2007, Dubrovnik, Croatia
	Marcio S. Dias , Marlon E. R. Vieira, Software Architecture Analysis Based on Statechart Semantics, Proceedings of the 10th International Workshop on Software Specification and Design, p.133, November 05-07, 2000
	Robb Klashner , Sameh Sabet, A DSS Design Model for complex problems: Lessons from mission critical infrastructure, Decision Support Systems, v.43 n.3, p.990-1013, April, 2007
	Mercedes Sanchez , Maria N. Moreno , Saddys Segrera , Vivian Lopez, Framework for the development of a personalised recommender system with integrated web-mining functionalities, International Journal of Computer Applications in Technology, v.33 n.4, p.312-319, January 2009
	Julien Mercadal , Nicolas Palix , Charles Consel , Julia L. Lawall, Pantaxou: a domain-specific language for developing safe coordination services, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Simon Giesecke, Taxonomy of architectural style usage, Proceedings of the 2006 conference on Pattern languages of programs, October 21-23, 2006, Portland, Oregon
	Marija Mikic-Rakic , Nenad Medvidovic, Adaptable architectural middleware for programming-in-the-small-and-many, Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, June 16-20, 2003, Rio de Janeiro, Brazil
	Thomas A. Alspaugh , Hazeline U. Asuncion , Walt Scacchi, Analyzing software licenses in open architecture software systems, Proceedings of the 2009 ICSE Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development, p.54-57, May 18-18, 2009