This workshop, affiliated with OOPSLA 2001 will be held in Tampa Bay, Florida on October 14, 2001. Details on paper submission follow the description of the workshop's theme and goals below.
The goal of this workshop is to explore how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for specification and verification of component-based systems. Component-based systems are a growing concern for the object-oriented community. Specification and reasoning techniques are urgently needed to permit composition of systems from components, for which source code is unavailable. The workshop will consider formalization of both functional and performance behavior.
We would like to bring together researchers and practitioners in the areas of component-based software and formal methods, to address the specification and verification problems. We are also interested in bridging the gap between principles and practice. The idea would be to focus more of the effort in formal methods on component-based systems. For example, researchers in formal methods have only recently begun to study principles of object-oriented software specification and verification, but do not yet have a good handle on how inheritance can be exploited in specification and verification. Other issues are also important in the practice of component-based systems, such as concurrency, mechanization and scalability, performance (time and space), reusability, and understandability. The participants will brainstorm about these and related topics to understand both the problems involved and how formal techniques may be useful in solving them. The main expected result of the meeting would be an outline of collaborative research topics and a list of areas for further exploration. Details may vary with the background and interest of the participants.
Submissions were due by August 17, 2001 and must not exceed 10 pages. We encouraged, but did not require, use of the ACM Conference format for submissions. We also suggested that you add page numbers to your submission, to make adding comments easier. Submission were to be sent as PDF (or postscript) attachments in an email to: Dimitra Giannakopoulou <cbsubmit@email.arc.nasa.gov>
We will notify authors that are selected for presentation to the workshop by August 31, 2001. Some authors will be invited to attend but not to present their work formally, and others may have short presentations. All invited authors will have pages in the workshop proceedings.
Copies of the proceedings will be available at the workshop and at OOPSLA. We are also investigating having a special issue of a journal for revisions of selected papers after the workshop.
For more information, visit http://www.eecs.ucf.edu/~leavens/SAVCBS/index.html