Monitoring dynamic integrity constraints based on temporal logic
Information Systems
Algebraic theory of processes
Object-oriented design: a responsibility-driven approach
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Surveying current research in object-oriented design
Communications of the ACM
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
The essential distributed objects survival guide
The essential distributed objects survival guide
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
A basic calculus for verifying properties of interacting objects
Data & Knowledge Engineering
Software engineering with reusable components
Software engineering with reusable components
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Component-based development for enterprise systems: applying the SELECT perspective
Component-based development for enterprise systems: applying the SELECT perspective
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Establishing standards for business components
Information technology standards and standardization
Business Process Engineering: Reference Models for Industrial Enterprises
Business Process Engineering: Reference Models for Industrial Enterprises
Object-Oriented Software Construction
Object-Oriented Software Construction
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering
Specification of Software Systems
Specification of Software Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Computer
Making Components Contract Aware
Computer
Combining Temporal Specification Techniques
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Deriving Complex Structured Object Types for Business Process Modelling
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
Classification Framework for Business Components
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Engineering of component-based systems
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Temporal graph queries to support software evolution
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Hi-index | 0.00 |
Compositional, plug-and-play-like reuse of black box components requires sophisticated techniques to specify components, especially when combined with third party components that are traded on component markets to individual customer's business application systems. As in established engineering disciplines, like mechanical engineering or electrical engineering, formal documentation of business components that become part of contractual agreements are needed. With this initial problem, we explain the general, layered structure of software contracts for business components and show shortcomings of common specification approaches. Furthermore, we introduce a formal notation for the specification of business components that extends the Object Constraint Language (OCL) and allows for a broader use of the Unified Modeling Language (UML) with respect to the layered structure of software contracts for business components.