Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{637465,
author = {Šafránek, David},
address = {Bologna},
booktitle = {Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)},
keywords = {coordination models; architectural description languages; interoperability checking; equivalence checking; visual coordination networks},
language = {eng},
location = {Bologna},
note = {vol. 181},
pages = {81-96},
publisher = {Elsevier Science},
title = {Architectural Interoperability Checking in Visual Coordination Networks},
url = {http://www.sciencedirect.com/science/journal/15710661},
year = {2006}
}
TY - JOUR
ID - 637465
AU - Šafránek, David
PY - 2006
TI - Architectural Interoperability Checking in Visual Coordination Networks
PB - Elsevier Science
CY - Bologna
N1 - vol. 181
KW - coordination models
KW - architectural description languages
KW - interoperability checking
KW - equivalence checking
KW - visual coordination networks
UR - http://www.sciencedirect.com/science/journal/15710661
N2 - In this paper, an approach of architectural interoperability checking is revisited and utilized for interoperability checking of architectures with connectors and components treated as behaviorally and expressively different elements of architecture description. By that way, the framework of architectural interoperability checking for a diagrammatic language Visual Coordination Diagrams is established.
ER -
ŠAFRÁNEK, David. Architectural Interoperability Checking in Visual Coordination Networks. In \textit{Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)}. Bologna: Elsevier Science. s.~81-96, 15 s. ISSN~1571-0661. 2006.
|
