Software reuse—key to enhanced productivity: some quantitative models
Information and Software Technology
Design and validation of computer protocols
Design and validation of computer protocols
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
The existence of refinement mappings
Theoretical Computer Science
Real-time object-oriented modeling
Real-time object-oriented modeling
Software reuse: metrics and models
ACM Computing Surveys (CSUR)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Model checking
Making Components Contract Aware
Computer
Design Templates for Collective Behavior
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Model Checking TLA+ Specifications
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Platform Support for Situated Collaborative Learning
ELML '09 Proceedings of the 2009 International Conference on Mobile, Hybrid, and On-line Learning
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Specifying Component Behavior with Port State Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Modeling a distributed intrusion detection system using collaborative building blocks
ACM SIGSOFT Software Engineering Notes
A tool-supported method for the design and implementation of secure distributed applications
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Contracts for multi-instance UML activities
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Experience-based model refinement
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Engineering android applications based on UML activities
Proceedings of the 14th international conference on Model driven engineering languages and systems
Reactive semantics for distributed UML activities
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Behavioral singletons to consistently handle global states of security patterns
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Security asset elicitation for collaborative models
Proceedings of the Workshop on Model-Driven Security
Compositional verification of application-level security properties
ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems
| Hi-index | 0.00 |
With their revision in the UML 2.x standard, activities have been extended with streaming parameters. This facilitates a reuse-oriented specification style, in which dedicated functions can be contributed by self-contained activities as building blocks: Using streaming parameters, activities can be composed together in a quite powerful manner, since streaming parameters may also pass information while activities are executing. However, to compose them correctly, we must know in which sequence an activity may emit or accept these streaming parameters. Therefore, we propose special UML state machines that specify the externally visible behavior of activities. Further, we develop an algorithm to construct these state machines automatically for an activity based on model checking. Using these behavioral contracts, activities can then be composed without looking at their internal details. Moreover, the contracts can be used during system verification to reduce the complexity of the analysis.