Article

Subject-observer specification with component-interaction automata

Authors:

SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Pages 75 - 81

https://doi.org/10.1145/1292316.1292325

Published: 03 September 2007 Publication History

Get Access

Abstract

This paper presents our solution to the Subject-Observer Specification problem announced as the challenge problem of the SAVCBS 2007 workshop. The text consists of two parts. In the first part, we present the model of the Subject-Observer system in terms of Component-interaction automata. In the second part, we present our approach to verification of the system model with respect to unlimited number of Observers.

References

[1]

L. Brim, I. Černá, P. Vařeková, and B. Zimmerova. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS'05, pages 31--38, Lisbon, Portugal, September 2005.

Digital Library

Google Scholar

[2]

E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, USA, January 2000.

Google Scholar

[3]

P. Vařeková, P. Moravec, I. Černá, and B. Zimmerova. Effective-Verification of Systems with a Dynamic-Number of Components. In Proceedings of SAVCBS'07, Dubrovnik, Croatia, September 2007.

Digital Library

Google Scholar

[4]

I. Černá, P. Vařeková, and B. Zimmerova. Component-interaction automata modelling language. Technical Report FIMU-RS-2006-08, Masaryk University, Faculty of Informatics, Brno, Czech Republic, October 2006.

Google Scholar

[5]

B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim, and J. Sochor. The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (CoIn). To appear in LNCS, 2007.

Digital Library

Google Scholar

Index Terms

Subject-observer specification with component-interaction automata

Recommendations

Component Substitutability via Equivalencies of Component-Interaction Automata

We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any system where its implementation satisfies the specification given by the ...
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of ...
A component-based specification approach for embedded systems using FDTs

This paper presents a framework for specification and testing of component-based embedded systems using formal description techniques (FDTs). We deal with embedded systems from the point of view of communication and thus we propose a communication model ...

Comments

Information & Contributors

Information

Published In

September 2007

99 pages

ISBN:9781595937216

DOI:10.1145/1292316

Program Chair:
Arnd Poetzsch-Heffter
Univ. of Kaiserslautern

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESEC/FSE07

Sponsor:

SIGSOFT

ESEC/FSE07: Joint 11th European Software Engineering Conference 2007

September 3 - 4, 2007

Dubrovnik, Croatia

Acceptance Rates

SAVCBS '07 Paper Acceptance Rate 8 of 17 submissions, 47%;

Overall Acceptance Rate 37 of 46 submissions, 80%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
95
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Index Terms

Recommendations

Component Substitutability via Equivalencies of Component-Interaction Automata

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

A component-based specification approach for embedded systems using FDTs

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations