Role-Based Access Control Models
Computer
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Coarse-granular model checking in practice
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Proceedings of the Workshop on Object-Oriented Technology
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract)
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Static verification of security requirements in role based CSCW systems
Proceedings of the eighth ACM symposium on Access control models and technologies
Lightweight coarse-grained coordination: a scalable system-level approach
International Journal on Software Tools for Technology Transfer (STTT)
Parameterized Interfaces for Open System Verification of Product Lines
Proceedings of the 19th IEEE international conference on Automated software engineering
Middleware: just another level for orchestration
Proceedings of the 2007 Workshop on Middleware for next-generation converged networks and applications
Hybrid test of web applications with webtest
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Dynamic testing via automata learning
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Active continuous quality control
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Hi-index | 0.00 |
In this paper, we show how the concepts of components, features and services are used today in the Online Conference System (OCS) in order to marry the modelling of functionally complex, online reconfigurable internet services at the application level with the needs of a model-driven development amenable to analyze and verify the models. Characteristic of the approach is the coarse-grained approach to modelling and design of features and services, which guarantees the scalability to capture large complex systems. The interplay of the different features and components is realized via a coordination-based approach, which is an easily understandable modelling paradigm of system-wide business processes, and thus adequate for the needs of industrial application developers.