Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
L2imbo: a distributed systems platform for mobile computing
Mobile Networks and Applications - Special issue on protocols and software paradigms of mobile networks
Proceedings of the 21st international conference on Software engineering
Pushing reactive services to XML repositories using active rules
Proceedings of the 10th international conference on World Wide Web
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Putting the "Web" into Web Services: Interaction Models, Part 2
IEEE Internet Computing
Workspaces: A Web-Based Workflow Management System
IEEE Internet Computing
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Tuple-Based Coordination Models in Event-Based Scenarios
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Software Implementation of Petri nets and compilation of rule-based systems
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
WSSecSpaces: a secure data-driven coordination service for Web Services applications
Proceedings of the 2004 ACM symposium on Applied computing
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Knowledge representation-oriented nets for discrete event system applications
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Formal reasoning on a web coordination system
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
| Hi-index | 0.00 |
In this work, we report an experience that illustrates the interplay between formal methods and real software development. Starting from aWeb-enable Coordination Service (WCS) based on JavaSpaces technology which had been successfully used in an industrial project, we built a formal model for the system in order to study its properties; specifically, our aim was to prove that Linda semantics was preserved in several layers of complex mappings from XML documents to Java objects. Once this objective was achieved (at least in a simplified, idealistic version), we observed several possibilities of extending the coordination system at the model level. In particular, we identified that it was possible to enhance the formal model with transactional capabilities, taking advantage of the similarity of our model to rule-based systems. At present, we are working on the translation of this theoretical result to practice, in order to improve our Web Coordination Service.