Using formal methods to reason about architectural standards

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Using formal methods to reason about architectural standards

Full text

Pdf (1.53 MB)

Source

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

Boston, Massachusetts, United States

Pages: 503 - 513

Year of Publication: 1997

ISBN:0-89791-914-9

Authors

Kevin J. Sullivan	Computer Science Department, University of Virginia, Thornton Hall, Charlottesville, VA
John Socha	Socha Computing, Inc., 13 Central Way, Suite 1200, Kirkland, WA
Mark Marchukov	Computer Science Department, University of Virginia, Thornton Hall, Charlottesville, VA

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): 6, Downloads (12 Months): 20, Citation Count: 10

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/253228.253433 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	Gregory D. Abowd , Robert Allen , David Garlan, Formalizing style to understand descriptions of software architecture, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.4, p.319-364, Oct. 1995 [doi>10.1145/226241.226244]
	2	Mark A. Ardis , John A. Chaves , Lalita Jategaonkar Jagadeesan , Peter Mataga , Carlos Puchol , Mark G. Staskauskas , James Von Olnhausen, A Framework for Evaluating Specification Methods for Reactive Systems Experience Report, IEEE Transactions on Software Engineering, v.22 n.6, p.378-389, June 1996 [doi>10.1109/32.508312]
	3	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]
	4	Don Batory , Lou Coglianese , Mark Goodwin , Steve Shafer, Creating reference architectures: an example from avionics, Proceedings of the 1995 Symposium on Software reusability, p.27-37, April 29-30, 1995, Seattle, Washington, United States
	5	Brockschmidt, K., Inside OLE, Microsoft Press, 1996.
	6	Tony Bryant , Andy Evans, Formalizing the Object Management Group's core object model, Computer Standards & Interfaces, v.17 n.5-6, p.481-489, Sept. 30, 1995 [doi>10.1016/0920-5489(95)00018-P]
	7	Common {sic} Object Model Specification, Microsoft Developer Network Library, Microsoft Corporation, 1996 (especially sections 3.3.1 and 6.6.2).
	8	The Common Object Request Broker: Architecture and Specification, Object Management Group, Inc., 1995
	9	Dan Craigen , Susan Gerhart , Ted Ralston, Industrial applications of formal methods to model, design and analyze computer systems: an international survey, Noyes Publications, Park Ridge, NJ, 1995
	10	Garlan, D. and M. Shaw, "An introduction to software architecture," Advances in Software Engineering and Knowledge Engineering, Vol. 1, World Scientific Publishing, 1993.
	11	Goswell, C., "The COM Programmer's Cookbook," Microsoft Office Product Unit, Spring 1995, revised September 13, 1995, Available on the World-Wide Web at the time of submission of this paper through http://www.microsoft.com/oledev/olecom/com.co.htm
	12	Kindel, C., "The rules of the component object model," Microsoft Developer Network Library, Technical Articles: Windows: OLE COM, Microsoft Corporation, October 20, 1995.
	13	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]
	14	Meisels, I. And M. Saaltink, The ZEVES Reference Manual (for Version 1.3), Draft, ORA Canada Technical Report TR-96-5493-03b, December 1995, revised November 1996.
	15	David Notkin , David Garlan , William G. Griswold , Kevin J. Sullivan, Adding Implicit Invocation to Languages: Three Approaches, Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software, p.489-510, November 04-06, 1993
	16	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]
	17	David L. Parnas, Designing software for ease of extension and contraction, Proceedings of the 3rd international conference on Software engineering, p.264-277, May 10-12, 1978, Atlanta, Georgia, United States
	18	Dale Rogerson, Inside COM, Microsoft Press, Redmond, WA, 1996
	19	Rushby, J., Formal Methods and Digital Systems Validation for Airborne Systems, NASA Contractor Report 4551, National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1993.
	20	J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992
	21	Kevin J. Sullivan, Mediators: easing the design and evolution of integrated systems, University of Washington, Seattle, WA, 1994
	22	Kevin J. Sullivan , David Notkin, Reconciling environment integration and software evolution, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.3, p.229-268, July 1992 [doi>10.1145/131736.131744]
	23	Kevin J. Sullivan , Ira J. Kalet , David Notkin, Evaluating The Mediator Method: Prism as a Case Study, IEEE Transactions on Software Engineering, v.22 n.8, p.563-579, August 1996 [doi>10.1109/32.536957]
	24	Visual Basic 4 User's Manual, Microsoft Corporation, 1996.
	25	Al Williams, Developing active Web controls, Coriolis Group Books, Scottsdale, AZ, 1997

CITED BY 10

	Paola Inverardi , Massimo Tivoli, Automatic synthesis of deadlock free connectors for COM/DCOM applications, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Daniel Jackson , Ian Schechter , Hya Shlyahter, Alcoa: the alloy constraint analyzer, Proceedings of the 22nd international conference on Software engineering, p.730-733, June 04-11, 2000, Limerick, Ireland
	Robert J. Allen , David Garlan , James Ivers, Formal modeling and analysis of the HLA component integration standard, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.70-79, Nov. 1998
	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
	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
	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
	Daniel Jackson, Automating first-order relational logic, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.130-139, Nov. 2000
	Robert John Walters, Checking of models built using a graphically based formal modelling language, Journal of Systems and Software, v.76 n.1, p.55-64, April 2005
	Peter Henderson, Modelling architectures for dynamic systems, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	Kevin J. Sullivan , Mark Marchukov , John Socha, Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model, IEEE Transactions on Software Engineering, v.25 n.4, p.584-599, July 1999