93 Hits in 3.1 sec

A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints [chapter]

Sean Policarpio, Yan Zhang
2010 Lecture Notes in Computer Science  
Our language, A xml(T ) , allows for the specification of authorisations on XML documents based on the popular Role-based Access Control model.  ...  This formal language will have the capacity to reason if access to an XML document should be allowed.  ...  Acknowledgement This research is supported in part by an Australian Research Council Linkage grant LP0883646.  ... 
doi:10.1007/978-3-642-16342-5_32 fatcat:s65uebedp5genejqkufr33tk4a

A Logical Foundation for XML [chapter]

Mengchi Liu
2002 Lecture Notes in Computer Science  
Based on this data model, we then investigate how rule-based paradigm can be used to query XML documents and what benefits it brings over existing XML query languages.  ...  Finally, rule-based framework has a formal logic foundation that is lacking in other query languages.  ...  ,o234 , name: Mary)) Rule-Based Query Language for XML In this section, we present a rule-based language based on our data model called XML-RL (XML Rule-based Language) to query XML documents.  ... 
doi:10.1007/3-540-47961-9_39 fatcat:smb5itdb7fbjpevsrqkj632wre

Mx Structural Metadata As Mir Tools

Goffredo Haus, Alberto Pinto
2005 Proceedings of the SMC Conferences  
The IEEE "Definition of a Commonly Acceptable Musical Application Using the XML Language" project has been developing an XML application defining a standard language for symbolic music representation.  ...  Equivalence of TFs Now we give a more general notion of equivalence, which includes also the standard tranformations of music theory.  ... 
doi:10.5281/zenodo.849297 fatcat:mpd4gj5jkndubmtxtktv5bznzm

E-Assessment Data Compatibility Resolution Methodology with Bidirectional Data Transformation

2017 Eurasia Journal of Mathematics, Science and Technology Education  
Induction of rule base linked data is desired to be reformed from the old tradition data model found either in spread sheet or relational database used for data storage.  ...  Whereas, computer based inference to gain intelligence in assessing results through computations is becoming a useful feature in todays' testing systems.  ...  Typically, by incorporation from W3C rules for XML based tagging along with mapping rules defined in this study output is reform from each tuple.  ... 
doi:10.12973/eurasia.2017.00767a fatcat:eowtz6k4ovc75pkmmigbvt6v3m

Spreadsheets as Interoperability Solution for Business Process Representation

Piotr Wiśniewski, Krzysztof Kluza, Edyta Kucharska, Antoni Ligęza
2019 Applied Sciences  
We present a method how to generate a BPMN process model from a spreadsheet-based representation.  ...  Business process models help to visualize processes of an organization. In enterprises, these processes are often specified in internal regulations, resolutions or other law acts of a company.  ...  It is referred to as an interchange format only via an XML Schema [36] . • BPML (Business Process Modeling Language is an language for business process modeling based on XML [37] . • BPMN (Business Process  ... 
doi:10.3390/app9020345 fatcat:he7aqdl4k5aczavqxjcv6yyjve

WS-Governance: A Policy Language for SOA Governance [chapter]

José Antonio Parejo, Pablo Fernandez, Antonio Ruiz-Cortés
2011 Lecture Notes in Computer Science  
In order to ease its adoption by SOA practitioners it: i) shares WS-Policy guidelines and is compatible with it, ii) has XML serialization as well as a plain-text one and iii) has a CSP based semantics  ...  Sec. 4 presents WS-Governance, our XML-based language proposal for governance policies specification, and its plain text equivalent WS-Gov4People.  ...  This flexibility is based on the use of XML-based DSLs in some variability points, allowing the creation of a whole family of governance languages.  ... 
doi:10.1007/978-3-642-25535-9_19 fatcat:adsmrnj2l5cmtcvtwevjd5cyqa

Computing transitive closures of hedge transformations

Tayssir Touili
2012 International Journal of Critical Computer-Based Systems  
Therefore, we present a semi-algorithm that computes, in case of termination, an over-approximation of this reachability set.  ...  We have successfully applied our technique to compute transitive closures for some mutual exclusion protocols defined on arbitrary width tree topologies, as well as for two interesting XML applications  ...  These two XML applications involve non structure preserving transformations.  ... 
doi:10.1504/ijccbs.2012.045079 fatcat:w2yj266ax5edrd53p7tvjv2mme

The SPARQL2XQuery interoperability framework

Nikos Bikakis, Chrisa Tsinaraki, Ioannis Stavrakantonakis, Nektarios Gioldasis, Stavros Christodoulakis
2014 World wide web (Bussum)  
The SW and XML worlds and their developed infrastructures are based on different data models, semantics and query languages.  ...  ., Digital Libraries, GIS, Multimedia, e-Learning) have been expressed in XML Schema. The aforementioned have led to an increasing emphasis on XML data, accessed using the XQuery query language.  ...  The XS2OWL TRANFORMATION MODEL In this section, we provide a formal description of the XS2OWL Transformation Model. Let XS be an XML Schema that comprises the set of the XML Schema constructs XC.  ... 
doi:10.1007/s11280-013-0257-x fatcat:cb7hq37tufa33nmfwuqzxkxff4

The cloud application modelling and execution language

Achilleas P. Achilleos, Kyriakos Kritikos, Alessandro Rossini, Georgia M. Kapitsaki, Jörg Domaschka, Michal Orzechowski, Daniel Seybold, Frank Griesinger, Nikolay Nikolov, Daniel Romero, George A. Papadopoulos
2019 Journal of Cloud Computing: Advances, Systems and Applications  
models@runtime paradigm that enables capturing an application's current state facilitating its adaptive provisioning.  ...  Cloud computing offers a flexible pay-as-you-go model for provisioning application resources, which enables applications to scale on-demand based on the current workload.  ...  This was done by adopting the Eclipse Modeling Framework (EMF) that provides: (i) tranformation tools from various syntaxes (e.g., XML Schema) to the Ecore meta-language, (ii) semantic intra-and inter-domain  ... 
doi:10.1186/s13677-019-0138-7 fatcat:2kucmd5px5ao7g5ynwngfzh6ri

FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages

Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky
2011 2011 IEEE International Conference on Information Reuse & Integration  
However, there is a semantic gap in the development process between the specifications written in a formal language and the design contracts written in an implementation language.  ...  of FOZCIL: A FRAMEWORK FOR CONVERTING FORMAL SPECIFICATIONS IN OBJECT-Z TO DESIGN CONTRACTS IN OO PROGRAMMING LANGUAGES by Nixon Sunny George Formal languages use mathematical notations to capture the  ...  to an XML file to produce a target (XML?)  ... 
doi:10.1109/iri.2011.6009549 dblp:conf/iri/GeorgeZR11 fatcat:gs2kuefkxjdinncwqwieutcfum

Applying the ReMiP to Web Site Migration

Torsten Gipp, Andreas Winter
2007 2007 9th IEEE International Workshop on Web Site Evolution  
The paper introduces ReMiP and summarises the application of a tailored ReMiP towards migrating a static HTML-based web site to a content management system.  ...  GXL is an XML-based standard exchange format for sharing data between tools.  ...  Most content is stored in XML files, which are tranformed to static HTML by XSLT. Whenever the site content is changed, a generation step, defined in a sprawled makefile, is executed.  ... 
doi:10.1109/wse.2007.4380238 dblp:conf/wse/GippW07 fatcat:wotoife7pzavzluvifmlb64f74

Automated derivation of executable business processes from choreographies in virtual organisations

Ingo Weber, Jochen Haller, Jutta A. Mulle
2008 International Journal of Business Process Integration and Management  
The major issues hereby are the differences in the vocabulary of WS-CDL and WSBPEL as well as the information gap between a choreography and an executable orchestration.  ...  The information gap results from the requirement imposed by the VO environment to establish a process-based collaboration in a top-down fashion.  ...  Workflow Management Coalition, among others see [WfM99] and [WfM02] As for XML-based standard languages (or languages in the process of becoming standardized), there are multiple alternatives for  ... 
doi:10.1504/ijbpim.2008.020972 fatcat:uq4dte4llndoviwtr5mrfz5pyi

An Ontological Analysis of Business Process Modeling and Execution [article]

Robert Singer
2019 arXiv   pre-print
are common underlying concepts; this is demonstrated with the case of an actor based, or subject-oriented, view on business processes.  ...  Another result is that an ontology is a productive way to define a modeling notation as it can be used as knowledge base, it is a formal conceptualization of the underlying notions, and can be semantically  ...  Our authentication principle follows an extended role based access control model (RBAC with rule groups).  ... 
arXiv:1905.00499v1 fatcat:o5r5dsub5bda7emzdes73qcjw4

Pattern-based segmentation of digital documents

Angelo Di Iorio
2008 ACM SIGWEB Newsletter  
The abstract model is then instantiated into an actual markup language, called IML.  ...  IML is a general and extensible language, which basically adopts an XHTML syntax, able to capture a posteriori the only content of a digital document.  ...  and the fragment <important> An important paragraph </important> in XML are all conceptually equivalent.  ... 
doi:10.1145/1350502.1350505 fatcat:jjczizjwjfbi7ovtznqrmanlsq

Surfing the Service Web [chapter]

Sudhir Agarwal, Siegfried Handschuh, Steffen Staab
2003 Lecture Notes in Computer Science  
In this paper we present an approach that combines the strength of the World Wide Web, viz. interlinked HTML pages for presentation and human consumption, with the strength of semantic web services, viz  ...  BizTalk even allows for XML-based (non-semantic) translations of data.  ...  schema -though actually WSDL does not require XML Schema and it allows RDFS. 2 Notation 3 or N3 is basically equivalent to RDF in its XML syntax, but more compact.  ... 
doi:10.1007/978-3-540-39718-2_14 fatcat:z7vhqbymzzhgvdsmg63obwgbji
« Previous Showing results 1 — 15 out of 93 results