Component Service Promotion: Contracts, Mechanisms and Safety (original) (raw)
Related papers
A specification logic for dynamic composition of services
Proceedings 21st International Conference on Distributed Computing Systems Workshops, 2001
Serious Specification for Composing Components
Component-Based Software Engineering, 2003
A formal framework for design component contracts
A Service-Based Component Model: Formalism, Analysis and Mechanization
2005
SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems
2005
Extra-Functional Contract Support in Components
Lecture Notes in Computer Science, 2004
Combining Techniques to Verify Service-based Components
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
Compositional Contract Abstraction for System Design
Composition Contracts for Service Interaction
Luis Fernando Carrillo Andrade
J. Univers. Comput. Sci., 2004
Formal Verification Issues For Component-Based Development
Informatica, 2020
Flexible Component Composition through Communication Abstraction
Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, 2016
An Approach to Formal Specification of Component-Based Software
E-Government Strategies and Advancements, 2011
Components, objects, and contracts
Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07, 2007
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions
Formal Aspects of Component Software, 2013
A novel specification and composition language for services
Specifying and verifying contract-driven service compositions using commitments and model checking
Expert Systems with Applications, 2017
Separating Component and Context Specification Using Promotion
… Conference on Integrated Formal Methods 1999 …, 1999
Rigorous development of component-based systems using component metadata and patterns
Formal Aspects of Computing, 2016
A description language for composable components
Fundamental Approaches to Software …, 2003
A framework for reasoning on component composition
2010
A Theory of Adaptable Contract-Based Service Composition
2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2008
Formal Aspects of Component Software
Lecture Notes in Computer Science, 2017
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science, 2006
Specification and Verification of Context-dependent Services
Electronic Proceedings in Theoretical Computer Science, 2011
Multilevel Contracts for Trusted Components
Electronic Proceedings in Theoretical Computer Science, 2010