Architectural mismatch or why it's hard to build systems out of existing parts

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Architectural mismatch or why it's hard to build systems out of existing parts

Full text

Pdf (835 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 17th international conference on Software engineering table of contents

Seattle, Washington, United States

Pages: 179 - 185

Year of Publication: 1995

ISBN:0-89791-708-1

Authors

David Garlan	Computer Science Department, Carnegie Mellon University, Pittsburgh, PA
Robert Allen	Computer Science Department, Carnegie Mellon University, Pittsburgh, PA
John Ockerbloom	Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 13, Downloads (12 Months): 110, Citation Count: 80

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/225014.225031 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.

	AAG93	Gregory Abowd , Robert Allen , David Garlan, Using style to understand descriptions of software architecture, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.9-20, Dec. 1993
	AG94	Robert Allen , David Garlan, Formalizing architectural connection, Proceedings of the 16th international conference on Software engineering, p.71-80, May 16-21, 1994, Sorrento, Italy
	Bam90	J. Bamberger. STARS/users workshop: Final re-port - issues for discussion groups. Technical Report CMU/SEI-90-TR-32 ADA235776, Software Engineer-ing Institute (Carnegie Mellon University), 1990.
	BO92	Don Batory , Sean O'Malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.4, p.355-398, Oct. 1992 [doi>10.1145/136586.136587]
	BP89	Ted J. Biggerstaff and Alan J. Perlis. Soflware Reusability.ACM Press, 1989.
	BS92	Barry Boehm and William Scherlis. Megaprogramming.In Proceedings of Sojiware Technology Conference,DARPA. ARPA, 1992.
	BSST93	Don Batory , Vivek Singhal , Marty Sirkin , Jeff Thomas, Scalable software libraries, Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, p.191-199, December 08-10, 1993, Los Angeles, California, United States
	Cor91	The Common Object Request Broker Architecture and specification. OMG Document Number 91.12.1, December 1991. Revision 1.1 (Draft 10).
	Dra87	R. R. Draves. MIG - the MACH interface genera-tor, August 1987. Comment 1 by schlenk, Sat Jul 2 15:08:471988 MIG seem very similiar to the SUN rpcgen facility. Parameters are described in a formal language and compiled into stubs.
	GAO94	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
	Ger89	Colin Gerety. HP Softbench: A new generation of software development tools. Technical Report SESD-89- 25, Hewlett-Packard Software Engineering Systems Division, Fort Collins, Colorado, November 1989.
	GHJV94	Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Micro-Architectures for Reusable Object-Oriented Design. Addison-Wesley, 1994.
	GS93	David Garlan and Mary Shaw. An introduction to software architecture. In V.Ambriola and G.Tortora, editors, Advances in Software Engineering and Knowledge Engineering, Volume I, New Jersey, 1993. World Scientific Publishing Company.
	IW95	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]
	JC94	G.R. Ribeiro Justo and P.R. Freire Cunha. Deadlockfree configuration programming. In Proceedings of the Second International Workshop on Configurable Distributed Systems, March 1994.
	Kru92	Charles W. Krueger, Software reuse, ACM Computing Surveys (CSUR), v.24 n.2, p.131-183, June 1992 [doi>10.1145/130844.130856]
	LAK+95	David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995 [doi>10.1109/32.385971]
	Lan90	Thomas G. Lane, A design space and design rules for user interface software architecture. Technical Report CMU/SEI-90-TR-22 ESD-90-TR-223, Carnegie Mel-lon University, Software Engineering Institute, Novem-ber 1990.
	LVC89	Mark A. Linton , John M. Vissides , Paul R. Calder, Composing User Interfaces with InterViews, Computer, v.22 n.2, p.8-22, February 1989 [doi>10.1109/2.19829]
	MG92	Erik Mettala and Marc H. Graham. The domainspecific software architecture program. Technical Report CMU/SEI-92-SR-9, Carnegie Mellon Software Engineering Institute, June 1992.
	Par72	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	PW92	Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
	Rei90	Steven P. Reiss, Connecting Tools Using Message Passing in the Field Environment, IEEE Software, v.7 n.4, p.57-66, July 1990 [doi>10.1109/52.56450]
	SDK+95	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]
	SG86	Robert W. Scheifler , Jim Gettys, The X window system, ACM Transactions on Graphics (TOG), v.5 n.2, p.79-109, April 1986 [doi>10.1145/22949.24053]
	T+88	Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, ACM SIGPLAN Notices, v.24 n.2, p.1-13, Feb. 1989
	VL90	John M. Vlissides , Mark A. Linton, Unidraw: a framework for building domain-specific graphical editors, ACM Transactions on Information Systems (TOIS), v.8 n.3, p.237-268, July 1990 [doi>10.1145/98188.98197]
	YS94	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

CITED BY 80

	Jean-Marc DeBaud, Viewing a DSSA in context: problems versus solutions, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.19-23, October 16-18, 1996, San Francisco, California, United States
	Daniil Yakimovich , James M. Bieman , Victor R. Basili, Software architecture classification for estimating the cost of COTS integration, Proceedings of the 21st international conference on Software engineering, p.296-302, May 16-22, 1999, Los Angeles, California, United States
	Nenad Medvidovic , Richard N. Taylor, A framework for classifying and comparing architecture description languages, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.60-76, Nov. 1997
	Harold Ossher , William Harrison , Peri Tarr, Software engineering tools and environments: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.261-277, June 04-11, 2000, Limerick, Ireland
	Stephan Herrmann , Mira Mezini, PIROL: a case study for multidimensional separation of concerns in software engineering environments, ACM SIGPLAN Notices, v.35 n.10, p.188-207, Oct. 2000
	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
	David Rine, Human exploration and development of space: using XML database space wide web, Information Sciences—Informatics and Computer Science: An International Journal, v.150 n.3-4, p.123-151, April 2003
	M. Aksit, Separation and composition of concerns in the object-oriented model, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Jim Q. Ning, Where does architecture research meet practice?, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.138-142, October 16-18, 1996, San Francisco, California, United States
	R. Keshav , R. Gamble, Towards a taxonomy of architecture integration strategies, Proceedings of the third international workshop on Software architecture, p.89-92, November 01-05, 1998, Orlando, Florida, United States
	Premkumar T. Devanbu , Stuart Stubblebine, Software engineering for security: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.227-239, June 04-11, 2000, Limerick, Ireland
	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
	Kevin J. Sullivan , John C. Knight, Experience assessing an architectural approach to large-scale systematic reuse, Proceedings of the 18th international conference on Software engineering, p.220-229, March 25-29, 1996, Berlin, Germany
	Mary Shaw, Architectural issues in software reuse: it's not just the functionality, it's the packaging, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.3-6, Aug. 1995
	Leigh A. Davis , Jamie Payton , Rose Gamble, How system architectures impede interoperability, Proceedings of the 2nd international workshop on Software and performance, p.145-146, September 2000, Ottawa, Ontario, Canada
	Nikunj R. Mehta , Nenad Medvidovic , Sandeep Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering, p.178-187, June 04-11, 2000, Limerick, Ireland
	Ed Mancebo , Anneliese Andrews, A strategy for selecting multiple components, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Rudolf K. Keller , Reinhard Schauer, Design components: toward software composition at the design level, Proceedings of the 20th international conference on Software engineering, p.302-311, April 19-25, 1998, Kyoto, Japan
	Jan Bosch , Peter Molin , Michael Mattsson , PerOlof Bengtsson, Object-oriented framework-based software development: problems and experiences, ACM Computing Surveys (CSUR), v.32 n.1es, March 2000
	Jesse Aronson , Prasanta Bose, A model-based approach to simulation composition, Proceedings of the 1999 symposium on Software reusability, p.73-82, May 21-23, 1999, Los Angeles, California, United States
	C. Godart , G. Canals , F. Charoy , P. Molli , H. Skaf, Designing and implementing COO: design process, architectural style, lessons learned, Proceedings of the 18th international conference on Software engineering, p.342-352, March 25-29, 1996, Berlin, Germany
	Margaret J. Davis , Roger B. Williams, Software architecture characterization, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.30-38, May 1997
	Klaus Pohl , Klaus Weidenhaupt , Ralf Dömges , Peter Haumer , Matthias Jarke , Ralf Klamma, PRIME—toward process-integrated modeling environments: 1, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.4, p.343-410, Oct. 1999
	Taewoong Jeon , Hyon Woo Seung , Sungyoung Lee, Embedding built-in tests in hot spots of an object-oriented framework, ACM SIGPLAN Notices, v.37 n.8, August 2002
	L. Davis , R. F. Gamble , J. Payton, The impact of component architectures on interoperability, Journal of Systems and Software, v.61 n.1, p.31-45, March 2002
	Nenad Medvidovic , Peyman Oreizy , Richard N. Taylor, Reuse of off-the-shelf components in C2-style architectures, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.190-198, May 1997
	David Rine , Nader Nada , Khaled Jaber, Using adapters to reduce interaction complexity in reusable component-based software development, Proceedings of the 1999 symposium on Software reusability, p.37-43, May 21-23, 1999, Los Angeles, California, United States
	Don Batory , Lou Coglianese , Mark Goodwin , Steve Shafer, Creating reference architectures: an example from avionics, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.27-37, Aug. 1995
	Daniel M. Yellin , Robert E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.2, p.292-333, March 1997
	Michael S. Guntersdorfer , David G. Kay, How Software Patents Can Support COTS Component Business, IEEE Software, v.19 n.3, p.78-83, May 2002
	Bridget Spitznagel , David Garlan, A compositional formalization of connector wrappers, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Jing Dong, Model checking the composition of hypermedia design components, Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research, p.3, November 13-16, 2000, Mississauga, Ontario, Canada
	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
	Lisa Brownsword , Tricia Oberndorf , Carol A. Sledge, Developing New Processes for COTS-Based Systems, IEEE Software, v.17 n.4, p.48-55, July 2000
	Nenad Medvidovic , Peyman Oreizy , Richard N. Taylor, Reuse of off-the-shelf components in C2-style architectures, Proceedings of the 19th international conference on Software engineering, p.692-700, May 17-23, 1997, Boston, Massachusetts, United States
	Michael Mattsson , Jan Bosch , Mohamed E. Fayad, Framework integration problems, causes, solutions, Communications of the ACM, v.42 n.10, p.80-87, Oct. 1999
	Jing Dong, A logical framework for design composition, Proceedings of the 22nd international conference on Software engineering, p.698-700, June 04-11, 2000, Limerick, Ireland
	Robert DeLine, Avoiding packaging mismatch with flexible packaging, Proceedings of the 21st international conference on Software engineering, p.97-106, May 16-22, 1999, Los Angeles, California, United States
	Mark R. Vigder , John Dean, An architectural approach to building systems from COTS software components, Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research, p.22, November 10-13, 1997, Toronto, Ontario, Canada
	Don Batory , Bart J. Geraci, Composition Validation and Subjectivity in GenVoca Generators, IEEE Transactions on Software Engineering, v.23 n.2, p.67-82, February 1997
	Kukjin Lee , Diane T. Rover, Uniform resource visualization: software and services, Performance analysis and grid computing, Kluwer Academic Publishers, Norwell, MA, 2004
	Robert DeLine, Avoiding Packaging Mismatch with Flexible Packaging, IEEE Transactions on Software Engineering, v.27 n.2, p.124-143, February 2001
	Lars G. Bratthall , Robert van der Geest , Holger Hofmann , Edgar Jellum , Zbigniew Korendo , Robert Martinez , Michal Orkisz , Christian Zeidler , Johan S Andersson, Integrating hundred's of products through one architecture: the industrial IT architecture, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Neil A. Maiden , Cornelius Ncube, Acquiring COTS Software Selection Requirements, IEEE Software, v.15 n.2, p.46-56, March 1998
	Elaine J. Weyuker, Testing Component-Based Software: A Cautionary Tale, IEEE Software, v.15 n.5, p.54-59, September 1998
	Eila Niemelä , Juhani Latvakoski, Survey of requirements and solutions for ubiquitous software, Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia, p.71-78, October 27-29, 2004, College Park, Maryland
	Peter Henderson, Modelling architectures for dynamic systems, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	Leon K. Jololian , Jean-Claude Ngatchou , Remzi Seker, A component integration meta-framework using smart adapters, Proceedings of the 2004 international symposium on Information and communication technologies, June 16-18, 2004, Las Vegas, Nevada
	Jing Dong , Sheng Yang , Lawrence Chung , Paulo Alencar , Donald Cowan, A COTS architectural component specification stencil for selection and reasoning, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Alexander Egyed , Hausi A. Muller , Dewayne E. Perry, Guest Editors' Introduction: Integrating COTS into the Development Process, IEEE Software, v.22 n.4, p.16-18, July 2005
	Ye Yang , Jesal Bhuta , Barry Boehm , Daniel N. Port, Value-Based Processes for COTS-Based Applications, IEEE Software, v.22 n.4, p.54-62, July 2005
	Macneil Shonle , Jonathan Neddenriep , William Griswold, AspectBrowser for Eclipse: a case study in plug-in retargeting, Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, p.78-82, October 24-24, 2004, Vancouver, British Columbia, Canada
	Eugen C. Nistor , Justin R. Erenkrantz , Scott A. Hendrickson , André van der Hoek, ArchEvol: versioning architectural-implementation relationships, Proceedings of the 12th international workshop on Software configuration management, p.99-111, September 05-06, 2005, Lisbon, Portugal
	Joseph J. C. Chang , Robert J. Walker, Incomplete resolution of references in Eclipse, Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, p.1-5, October 16-17, 2005, San Diego, California
	Christopher Scaffidi, Why are APIs difficult to learn and use?, Crossroads, v.12 n.4, p.4-4, Summer 2006
	Ronny Roeller , Patricia Lago , Hans van Vliet, Recovering architectural assumptions, Journal of Systems and Software, v.79 n.4, p.552-573, April 2006
	Aditya Garg , Rick Kazman , Hong-Mei Chen, Interface descriptions for enterprise architecture, Science of Computer Programming, v.61 n.1, p.4-15, June 2006
	Guido Cardino , Francesco Baruchelli , Andrea Valerio, The evaluation of framework reusability, ACM SIGAPP Applied Computing Review, v.5 n.2, p.21-27, Sept. 1997
	Tarcisio da Rocha , Anna-Brith Arntsen , Arne Ketil Eidsvik , Maria Beatriz Felgar de Toledo , Randi Karlsen, Promoting levels of openness on component-based adaptable middleware, Proceedings of the 6th international workshop on Adaptive and reflective middleware: held at the ACM/IFIP/USENIX International Middleware Conference, p.1-6, November 26-30, 2007, Newport Beach, CA
	Hassan Reza, A Methodology for Architectural Design of Concurrent and Distributed Software Systems, The Journal of Supercomputing, v.37 n.3, p.227-248, September 2006
	Clifford A. Shaffer , Ranjit Randhawa , John J. Tyson, The role of composition and aggregation in modeling macromolecular regulatory networks, Proceedings of the 37th conference on Winter simulation, December 03-06, 2006, Monterey, California
	Mikael kerholm , Jan Carlson , Johan Fredriksson , Hans Hansson , John Håkansson , Anders Möller , Paul Pettersson , Massimo Tivoli, The SAVE approach to component-based development of vehicular systems, Journal of Systems and Software, v.80 n.5, p.655-667, May, 2007
	Michael Spiegel , Paul F. Reynolds, Jr. , David C. Brogan, A case study of model context for simulation composability and reusability, Proceedings of the 37th conference on Winter simulation, December 04-07, 2005, Orlando, Florida
	Joseph C. Carnahan , Paul F. Reynolds, Jr. , David C. Brogan, Simulation-specific characteristics and software reuse, Proceedings of the 37th conference on Winter simulation, December 04-07, 2005, Orlando, Florida
	Antony Tang , Yan Jin , Jun Han, A rationale-based architecture model for design traceability and reasoning, Journal of Systems and Software, v.80 n.6, p.918-934, June, 2007
	Leon Jololian, TOWARDS SEMANTIC INTEGRATION OF COMPONENTS USING A SERVICE-BASED ARCHITECTURE, Journal of Integrated Design & Process Science, v.9 n.3, p.1-13, July 2005
	Jesal Bhuta , Barry Boehm, A Framework for Identification and Resolution of Interoperability Mismatches in COTS-Based Systems, Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques, p.2, May 20-26, 2007
	Chris A. Mattmann , David Woollard , Nenad v , Reza Mahjourian, Software Connector Classification and Selection for Data-Intensive Systems, Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques, p.4, May 20-26, 2007
	Kevin Bierhoff , Mark Grechanik , Edy S. Liongosari, Architectural Mismatch in Service-Oriented Architectures, Proceedings of the International Workshop on Systems Development in SOA Environments, p.4, May 20-26, 2007
	Christopher Scaffidi , Mary Shaw, Toward a Calculus of Confidence, Proceedings of the First International Workshop on The Economics of Software and Computation, p.7, May 20-26, 2007
	Chris A. Mattmann , David Woollard , Nenad Medvidovic, Exploiting connector knowledge to efficiently disseminate highly voluminous data sets, Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge, May 13-13, 2008, Leipzig, Germany
	Mary Shaw, Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does, Proceedings of the 8th International Workshop on Software Specification and Design, p.181, March 22-23, 1996
	Fernando J. Barros, An evolving hierarchical & modular approach to resilient software, Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, United Kingdom
	Jing Dong , Paulo S. C. Alencar , Donald D. Cowan , Sheng Yang, Composing pattern-based components and verifying correctness, Journal of Systems and Software, v.80 n.11, p.1755-1769, November, 2007
	Stephen Kell, Rethinking software connectors, International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, p.1-12, September 03-04, 2007, Dubrovnik, Croatia
	Jolita Ralyté , Manfred A. Jeusfeld , Per Backlund , Harald Kühn , Nicolas Arni-Bloch, A knowledge-based approach to manage information systems interoperability, Information Systems, v.33 n.7-8, p.754-784, November, 2008
	Ranjit Randhawa , Clifford A. Shaffer , John J. Tyson, Fusing and composing macromolecular regulatory network models, Proceedings of the 2007 spring simulation multiconference, March 25-29, 2007, Norfolk, Virginia
	Herve Chang , Leonardo Mariani , Mauro Pezze, In-field healing of integration problems with COTS components, Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, p.166-176, May 16-24, 2009
	Daniel M. German , Ahmed E. Hassan, License integration patterns: Addressing license mismatches in component-based development, Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, p.188-198, May 16-24, 2009
	W. H. Harrison , H. Kilov , H. L. Ossher , I. Simmonds, From dynamic super types to subjects: a natural way to specify and develop systems, IBM Systems Journal, v.35 n.2, p.244-256, 1996