Using UML and Maude for writing and reasoning about ODP policies

Durán, Francisco; Herrador, J.; Vallecillo, Antonio

doi:10.1109/policy.2003.1206954

Cited by 5 publications

(4 citation statements)

References 13 publications

(25 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…giving formal semantics to various object-oriented design notations, architectural notations, and software modeling languages, e.g., [33,40,42,[60][61][62]65,66,110,154,169,197,268,269,[345][346][347]363,393,394,474], and 2. giving formal semantics to various middleware and distributed coordination mechanisms, e.g., [13,14,153,167,168,350,402].…”

Section: Representing Distributed Systems Software Architectures Anmentioning

confidence: 99%

See 1 more Smart Citation

Twenty years of rewriting logic

Meseguer

2012

The Journal of Logic and Algebraic Programming

162

View full text Add to dashboard Cite

Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification and verification, security, real-time and cyber-physical systems, probabilistic systems, bioinformatics and chemical systems.

show abstract

Section: Representing Distributed Systems Software Architectures Anmentioning

confidence: 99%

“…For example, there is work on formalizing different aspects of ODP [154,[166][167][168]350,402], SOAP [13], CORBA [14], and the SMEPP P2P middleware [153]. Similarly, work on formal models of coordination includes [85,86,441,444].…”

Section: Network Distributed Architectures Middleware and Coordinamentioning

confidence: 99%

Twenty years of rewriting logic

Meseguer

2012

The Journal of Logic and Algebraic Programming

162

View full text Add to dashboard Cite

show abstract

“…It is not clear that support for policy derivation from application/service composition to individual service policy and vice versa can be easily accommodated in IETF because IETF's models are based on UML, which has no direct support for reasoning. Elsewhere, there has been efforts to map UML to formalisms which supports reasoning such as description logic [5] or Maude (which is based on rewriting logic) [12], thereby allowing reasoning over systems described using UML. However, it has been revealed that the mapping does have limitations and is not widely accepted at the moment [5,12].…”

Section: Soa-specific Evaluationmentioning

confidence: 99%

“…Elsewhere, there has been efforts to map UML to formalisms which supports reasoning such as description logic [5] or Maude (which is based on rewriting logic) [12], thereby allowing reasoning over systems described using UML. However, it has been revealed that the mapping does have limitations and is not widely accepted at the moment [5,12].…”

Section: Soa-specific Evaluationmentioning

confidence: 99%

A Survey of Policy-Based Management Approaches for Service Oriented Systems

Phan

Han

Schneider

et al. 2008

19th Australian Conference on Software Engineering (Aswec 2008)

View full text Add to dashboard Cite

Policy based management in Service Oriented Architecture (SOA) allows organizations to apply rules and regulations on their business processes. Policy has long been employed in the management of traditional distributed systems and many policy frameworks have been proposed. However, SOA differs in several aspects to traditional systems thus there is a unique set of requirements for an effective SOA policy system. In this paper, we evaluate five popular policy frameworks which are IETF, Ponder, KAoS, Rei and WS-Policy against a number of general and SOA-specific criteria to identify what features of these existing systems can be adopted for SOA and what are not. We then, based on their feature sets, discuss the applicability of the frameworks for SOA management.

show abstract