Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Inside Microsoft .NET IL Assembler
Inside Microsoft .NET IL Assembler
The Definition of Standard ML
Advances in Software Engineering and Knowledge Engineering
Advances in Software Engineering and Knowledge Engineering
Logic and Algebra of Specification
Logic and Algebra of Specification
IEEE Software
Software factories: assembling applications with patterns, models, frameworks and tools
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ACM SIGSOFT Software Engineering Notes
Adventures in interoperability: the SML.NET experience
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
BoPi " A Distributed Machine for Experimenting Web Services Technologies
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Communicating mobile processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Hi-index | 0.00 |
This paper describes results and observations pertaining to the development of a compiler utility for an Architecture Description Language π-ADL, for the .NET platform. Architecture Description Languages or ADLs, are special purpose high level languages especially construed to define software architectures. π-ADL, a recent addition to this class of languages, is formally based on the π-Calculus, a process oriented formal method. The compiler for π-ADL, named π-ADL.NET, is designed with the view of bringing the architecture driven software design approach to the .NET platform. The process oriented nature and a robust set of parallelism constructs of π-ADL make the π-ADL.NET project a novel application of compiler techniques in the context of the .NET platform, with many valuable lessons learnt. This paper presents the π-ADL.NET effort from a compiler design perspective, and describes the inclusive approach driving the design that facilitates the representation of strong behavioral semantics in architecture descriptions. The subjects of parallel process modeling, communication and constructed data types are covered. The paper also documents the motivation, vision and future possibilities for this line of work. A detailed comparison with related work is also presented.