Searching for "Behavioral Constraints for Services." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Behavioral constraints for services
- …Behavioral Constraints for Services Niels Lohmann 1⋆ , Peter Massuthe 1 , and Karsten Wolf 2 1…
- Cited by 14 (7 self) – Add To MetaCart
-
A Logic Based Language for Networked Agents
- … connections, knowledge bases (facts and beliefs), databases, behaviors, constraints, services, goals and KQML…
- Cited by 2 (2 self) – Add To MetaCart
-
Object Systems Modeling and testing object-oriented distributed systems with linear-time temporal logic
- … approach. A software engineer formally specifies properties, i.e. behavioral constraints that the service…
- Add To MetaCart
-
On Applying Formal Techniques to the Development of Hybrid Services: Challenges and Directions
- … specification language to express behavioral constraints the service should satisfy, and validation techniques…
- Cited by 8 (2 self) – Add To MetaCart
-
On Applying Formal Techniques to the Development of Hybrid Services: Challenges and Directions
- … behavioral constraints (properties) that the implemented service should satisfy. These formally specified…
- Add To MetaCart
-
Semantic-enabled specification for Web Services agreement
- …. The presence of SLAng elements imposes behavioral constraints on service elements, and the precise definition…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 6.
