An enhanced rewriting logic based semantics for high-level petri nets
Petri nets and their numerous extensions (or subclasses) are one of the popular traditional
formalisms for the specification and verification of concurrent systems. Furthermore, due to …
formalisms for the specification and verification of concurrent systems. Furthermore, due to …
User stories and parameterized role based access control
Ś Sobieski, B Zieliński - Model and Data Engineering: 5th International …, 2015 - Springer
There are two established techniques for describing user requirements: User Stories and
Use Cases. In this paper we describe a new semi-formalized, constrained natural language …
Use Cases. In this paper we describe a new semi-formalized, constrained natural language …
Using maude rewriting system to modularize and extend SQL
Ś Sobieski, B Zieliński - Proceedings of the 28th Annual ACM …, 2013 - dl.acm.org
One of the deficiencies of SQL is that it allows little practical support for factoring,
parametrization and modularization of complex SQL statements. Using dynamic SQL or …
parametrization and modularization of complex SQL statements. Using dynamic SQL or …
A privacy-aware access control policy specification framework for electronic health records using parameterized roles and domain rules
MI Sarfraz - 2012 - search.proquest.com
Abstract The US Patient Protection and Affordable Care Act of 2010 embrace the notion that
electronic health information is the bedrock of modern healthcare. The overriding concern …
electronic health information is the bedrock of modern healthcare. The overriding concern …