A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Designing distributed applications with mobile code paradigms
ICSE '97 Proceedings of the 19th international conference on Software engineering
Expressing code mobility in mobile UNITY
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Software architecture and mobility
ISAW '98 Proceedings of the third international workshop on Software architecture
A survey of theories for mobile agents
World Wide Web
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Exposing the Skeleton in the Coordination Closet
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Developing mobile ambients using an aspect-oriented software architectural model
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
| Hi-index | 0.00 |
New formal languages have been proposed for the specification of mobility aspects of systems and for understanding the recent devised technologies for mobile computing. In this paper we introduce MobiS, a specification language based on a tuple-spaces based model which specifies coordination bymultiset rewriting. We show how MobiS can be flexibly used to specify architectures containing mobile components and give formalization of some common mobility paradigms. We explore the styles we introduce showing how they model the software architecture of a "Purchasing System", a case study in electronic commerce.