Components with Symbolic Transition Systems: a Java']Java Implementation of Rendezvous

被引：0

作者：

Fernandes, Fabricio ^{[1
]}

Passama, Robin ^{[1
]}

Royer, Jean-Claude ^{[1
]}

机构：

[1] Ecole Mines Nantes, INRIA, LINA, OBASCO Grp, F-44307 Nantes 3, France

来源：

WOTUG-30: COMMUNICATING PROCESS ARCHITECTURES 2007 | 2007年 / 65卷

关键词：

Component-Based Software Engineering; Behavioural Interfaces; Explicit Protocols; Symbolic Transition Systems; Rendezvous; Synchronization Barriers;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Component-based software engineering is becoming an important approach for system development. A crucial issue is to fill the gap between high-level models, needed for design and verification, and implementation. This paper introduces first a component model with explicit protocols based on symbolic transition systems. It then presents a Java implementation for it that relies on a rendezvous mechanism to synchronize events between component protocols. This paper shows how to get a correct implementation of a complex rendezvous in presence of full data types, guarded transitions and, possibly, guarded receipts.

引用

页码：89 / 107

页数：19

共 50 条

[1] A Java']Java implementation of a component model with explicit symbolic protocols
Pavel, S
Noyé, J
Poizat, P
Royer, JC
SOFTWARE COMPOSITION, 2005, 3628 : 115 - 124
[2] Java']Java/A - Taking components into Java']Java
Hacklinger, F
INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 163 - 168
[3] Symbolic computation in Java']Java: An appraisement
Bernardin, L
Char, B
Kaltofen, E
ISSAC 99: PROCEEDINGS OF THE 1999 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 1999, : 237 - 244
[4] Coordinating Exceptions of Java']Java Systems: Implementation and Formal Verification
Hanazumi, Simone
de Melo, Ana C. V.
2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 108 - 113
[5] Java']Java and lightweight components
Perelman-Hall, DK
DR DOBBS JOURNAL, 1999, 24 (02): : 22 - +
[6] Java']Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java']Java
Sharma, Vaibhav
Hussein, Soha
Whalen, Michael W.
McCamant, Stephen
Visser, Willem
PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 123 - 134
[7] A java']java implementation of CART
Van Welden, D
Velasco, J
Vansteenkiste, G
11th European Concurrent Engineering Conference 2004: WORLDWIDE PARTNERSHIPS AND MERGERS, 2004, : 90 - 94
[8] Codesign of embedded systems based on Java']Java and reconfigurable hardware components
Fleischmann, J
Buchenrieder, K
Kress, R
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 768 - 769
[9] A java']java implementation of an environment for hybrid modeling and simulation of physical systems
Mosterman, PJ
Biswas, G
PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON BOND GRAPH MODELING AND SIMULATION (ICBGM'99), 1999, 31 (01): : 157 - 162
[10] FPGA implementation of a statically reconfigurable Java']Java environment for embedded systems
Nino, Shinsuke
Mori, Takayuki
Ko, YoungHun
Shibata, Yuichiro
Oguri, Kiyoshi
ICFPT 2007: INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY, PROCEEDINGS, 2007, : 317 - 320

← 1 2 3 4 5 →