Communicating sequential processes
Communicating sequential processes
A calculus of mobile processes, II
Information and Computation
Modal and temporal logics for processes
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A Programmer's Introduction to C#, First Edition
A Programmer's Introduction to C#, First Edition
Communication and Concurrency
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A class-based scheme for E-commerce web servers: Formal specification and performance evaluation
Journal of Network and Computer Applications
A formal approach to investigate the performance of modern e-commerce services
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Synthesis of performance management mechanisms in modern e-commerce services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
| Hi-index | 0.00 |
Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C^@? and C@w code. The prototyping process is fully supported by a specific tool developed in Haskell.