Xcd (exceed) is a new architectural description language (ADL),
that we have been working on.
The goal of Xcd is to be relatively easy to learn and use (compared
with ADLs based on process algebras), provide first-class support for
connectors (i.e., protocol abstractions) while guaranteeing that the
specified protocols are realizable (it doesn't permit one to specify
choreographies), and be formal, so that it can be analyzed.
This page describes the work on Xcd that has taken place during Mert Ozkaya's PhD thesis. You can also access the entire PhD thesis of Mert Ozkaya on the XCD architectural language online. Mert successfully defended his thesis on September 9, 2014 - see Mert Ozkaya's web page.
Our SEAA'13 article (Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability) describes the problem that Xcd set out to solve, while our CBSE'14 article (Design-by-Contract for Reusable Components and Realizable Architectures) is the most recent and complete description of the Xcd language and approach.
You may also find this set of slides on Xcd useful.
You can find here: