Interface Automata for Choreographies

Compatibility verification of SysML blocks using hierarchical interface automata

2015 12th International Symposium on Programming and Systems (ISPS) ◽

10.1109/isps.2015.7245002 ◽

2015 ◽

Author(s):

Hamida Bouaziz ◽

Samir Chouali ◽

Ahmed Hammad ◽

Hassan Mountassir

Keyword(s):

Interface Automata

Download Full-text

A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis

2010 XXIX International Conference of the Chilean Computer Science Society ◽

10.1109/sccc.2010.14 ◽

2010 ◽

Cited By ~ 3

Author(s):

Matias Lee ◽

Pedro R. D'Argenio

Keyword(s):

Interface Automata

Download Full-text

Assume-Guarantee Verification for Interface Automata

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_10 ◽

2008 ◽

pp. 116-131 ◽

Cited By ~ 20

Author(s):

Michael Emmi ◽

Dimitra Giannakopoulou ◽

Corina S. Păsăreanu

Keyword(s):

Interface Automata

Download Full-text

Performance prediction of component based software systems using interface automata

2011 CSI International Symposium on Computer Science and Software Engineering (CSSE) ◽

10.1109/csicsse.2011.5963994 ◽

2011 ◽

Author(s):

Jaber Karimpour ◽

Ayaz Isazadeh ◽

Habib Izadkhah

Keyword(s):

Performance Prediction ◽

Software Systems ◽

Interface Automata

Download Full-text

Parametrised Modal Interface Automata

ACM Transactions on Embedded Computing Systems ◽

10.1145/2776892 ◽

2015 ◽

Vol 14 (4) ◽

pp. 1-25 ◽

Cited By ~ 5

Author(s):

Antti Siirtola ◽

Keijo Heljanko

Keyword(s):

Interface Automata

Download Full-text

Hybrid Interface Automata

2012 19th Asia-Pacific Software Engineering Conference ◽

10.1109/apsec.2012.121 ◽

2012 ◽

Cited By ~ 1

Author(s):

Yan Zhang ◽

Tian Zhang

Keyword(s):

Interface Automata ◽

Hybrid Interface

Download Full-text

Adapting Component Behaviours Using Interface Automata

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications ◽

10.1109/seaa.2010.34 ◽

2010 ◽

Cited By ~ 3

Author(s):

Samir Chouali ◽

Sebti Mouelhi ◽

Hassan Mountassir

Keyword(s):

Interface Automata

Download Full-text

ACTL for Modal Interface Automata

Theoretical Computer Science ◽

10.1016/j.tcs.2017.06.011 ◽

2017 ◽

Vol 693 ◽

pp. 13-34

Author(s):

Ferenc Bujtor ◽

Walter Vogler

Keyword(s):

Interface Automata

Download Full-text

Real-Time Extended Interface Automata for Software Testing Cases Generation

The Scientific World JOURNAL ◽

10.1155/2014/731041 ◽

2014 ◽

Vol 2014 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Shunkun Yang ◽

Jiaqi Xu ◽

Tianlong Man ◽

Bin Liu

Keyword(s):

Software Testing ◽

Real Time ◽

Temporal Information ◽

Software Components ◽

Modeling Languages ◽

Braking System ◽

Interface Automata ◽

Complex Interactions ◽

Testing Field ◽

Information Description

Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software testing input controlling. This paper presents the real-time extended interface automata (RTEIA) which adds clearer and more detailed temporal information description by the application of time words. We also establish the input interface automaton for every input in order to solve the problems of input controlling and interface covering nimbly when applied in the software testing field. Detailed definitions of the RTEIA and the testing cases generation algorithm are provided in this paper. The feasibility and efficiency of this method have been verified in the testing of one real aircraft braking system.

Download Full-text