Analyzing workflows implied by instance-dependent access rules

Paper


Calders, Toon, Dekeyser, Stijn, Hidders, Jan and Paredaens, Jan. 2006. "Analyzing workflows implied by instance-dependent access rules." 2006 ACM SIGMOD/PODS Conference. Chicago, United States of America 26 - 29 Jun 2006 United States. https://doi.org/10.1145/1142351.1142365
Paper/Presentation Title

Analyzing workflows implied by instance-dependent access rules

Presentation TypePaper
AuthorsCalders, Toon (Author), Dekeyser, Stijn (Author), Hidders, Jan (Author) and Paredaens, Jan (Author)
Number of Pages10
Year2006
Place of PublicationUnited States
Digital Object Identifier (DOI)https://doi.org/10.1145/1142351.1142365
Web Address (URL) of Paperhttps://dl.acm.org/doi/10.1145/1142351.1142365
Web Address (URL) of Conference Proceedingshttps://dl.acm.org/doi/proceedings/10.1145/1142351
Conference/Event2006 ACM SIGMOD/PODS Conference
Event Details
2006 ACM SIGMOD/PODS Conference
Event Date
26 to end of 29 Jun 2006
Event Location
Chicago, United States of America
Abstract

Recently proposed form-based web information systems liberate the capture and reuse of data in organizations by substituting the development of technical implementations of electronic forms for the conceptual modelling of forms' tree-structured schemas and their data access rules. Significantly, these instance-dependent rules also imply a workflow process associated to a form, eliminating the need for a costly workflow design phase. Instead, the workflows thus created in an ad hoc manner by unsophisticated end-users can be automatically analyzed, and incorrect forms rejected. This paper examines fundamental correctness properties of workflows that are implied by instance-dependent access rules. Specifically, we study the decidability of the form completability property and the semi-soundness of a form's workflow. These problems are affected by a choice of constraints on the path language used to express access rules and completion formulas, and on the depth of the form's schema tree. Hence, we study these problems by examining them in the context of several different fragments determined by such constraints.

Keywordsinstance-dependent access rules, workflows
Contains Sensitive ContentDoes not contain sensitive content
ANZSRC Field of Research 2020461399. Theory of computation not elsewhere classified
490103. Calculus of variations, mathematical aspects of systems theory and control theory
Public Notes

File reproduced in accordance with the copyright policy of the publisher/author.

Byline AffiliationsUniversity of Antwerp, Belgium
Department of Mathematics and Computing
Permalink -

https://research.usq.edu.au/item/9x9yz/analyzing-workflows-implied-by-instance-dependent-access-rules

Download files


Accepted Version
Dekeyser_CaDeHiPaPODS06.pdf
File access level: Anyone

  • 2716
    total views
  • 623
    total downloads
  • 2
    views this month
  • 0
    downloads this month

Export as

Related outputs

Tree shade within urban parks and nature strips: standards and perspectives from measurement campaigns conducted in Queensland
Downs, Nathan, Antrobus, Jodie, Dekeyser, Stijn, Butler, Harry, Downs, Melanie, Hickmott, Darren, Madigan, Chris, Brown, Alexandra, Amar, Abdurazaq, Dearnaley, John, Parisi, Alfio V, Vanos, Jennifer, Raj, Nawin, Harrison, Simone and Igoe, Damien. 2024. "Tree shade within urban parks and nature strips: standards and perspectives from measurement campaigns conducted in Queensland ." 6th International conference UV and Skin Cancer Prevention. Brisbane, Australia 11 - 15 Sep 2024 Australia.
Blockchain Enabled Secure Data Transmission With NB-IoT Deployment in Smart Agriculture Crop Watch
Mohammed, Chand Pasha, Chopra, Shakti Raj, Albadri, Nehad, Dekeyser, Stijn, Jha, Sudan, Roy, Ajay and Pradhan, Nihar Ranjan. 2024. "Blockchain Enabled Secure Data Transmission With NB-IoT Deployment in Smart Agriculture Crop Watch." Internet Technology Letters. https://doi.org/10.1002/itl2.596
Ultraviolet radiation thin film dosimetry: A review of properties and applications
Parisi, Alfio V., Downs, Nathan J., Schouten, Peter, Igoe, Damien P., Turner, Joanna, Amar, Abdurazaq, Wainwright, Lisa, Dawes, Adrian, Butler, Harry and Dekeyser, Stijn. 2024. "Ultraviolet radiation thin film dosimetry: A review of properties and applications." Photochemistry and Photobiology. https://doi.org/10.1111/php.14022
A playground shade index for standardising ultraviolet protection assessments of open, mixed and protected outdoor recreational spaces
Downs, Nathan, Butler, Harry, Dexter, Benjamin, Raj, Nawin, Downs, Melanie, Turner, Joanna, Dekeyser, Stijn, Deo, Ravinesh, Vanos, Jennifer, Igoe, Damien and Parisi, Alfio V. 2024. "A playground shade index for standardising ultraviolet protection assessments of open, mixed and protected outdoor recreational spaces." 6th International conference UV and Skin Cancer Prevention. Brisbane, Australia 11 - 15 Sep 2024 Australia.
The mitigating effect of street trees, urban flora, and the suburban environment on seasonal peak UV indices: A case study from Brisbane, Australia
Downs, Nathan James, Amar, Abdurazaq, Dearnaley, John, Butler, Harry, Dekeyser, Stijn, Igoe, Damien, Parisi, Alfio V., Raj, Nawin, Deo, Ravinesh and Turner, Joanna. 2024. "The mitigating effect of street trees, urban flora, and the suburban environment on seasonal peak UV indices: A case study from Brisbane, Australia." Photochemistry and Photobiology. https://doi.org/10.1111/php.13988
A legacy of more than two decades of UV radiation measurement studies at the University of Southern Queensland
Amar, Abdurazaq, Parisi, Alfio, Downs, Nathan, Turner, Joanna, Igoe, Damien, Butler, Harry and Dekeyser, Stijn. 2024. "A legacy of more than two decades of UV radiation measurement studies at the University of Southern Queensland." 6th International conference UV and Skin Cancer Prevention. Brisbane, Australia 11 - 15 Sep 2024 Australia.
The Playground Shade Index: A New Design Metric for Measuring Shade and Seasonal Ultraviolet Protection Characteristics of Parks and Playgrounds
Downs, Nathan, Raj, Nawin, Vanos, Jennifer, Parisi, Alfio, Butler, Harry, Deo, Ravinesh, Igoe, Damien, Dexter, Benjamin, Beckman-Downs, Melanie, Turner, Joanna and Dekeyser, Stijn. 2023. "The Playground Shade Index: A New Design Metric for Measuring Shade and Seasonal Ultraviolet Protection Characteristics of Parks and Playgrounds." Photochemistry and Photobiology. 99 (4), pp. 1193-1207. https://doi.org/10.1111/php.13745
A novel file system supporting rich file classification
Albadri, Nehad and Dekeyser, Stijn. 2022. "A novel file system supporting rich file classification." Computers and Electrical Engineering. 103, pp. 1-9. https://doi.org/10.1016/j.compeleceng.2022.108081
VennTags: A file management system based on overlapping sets of tags
Albadri, Nehad, Dekeyser, Stijn and Watson, Richard. 2017. "VennTags: A file management system based on overlapping sets of tags." Sterzer, Wjatscheslaw and van de Sandt, Stephanie (ed.) iConference 2017 Effect, Expand, Evolve: Global Collaboration Across the Information Community. Wuhan, China 22 - 25 Mar 2017 United States. https://doi.org/10.9776/17002
Exploring the design space of metadata-focused file management systems
Watson, Richard, Dekeyser, Stijn and Albadri, Nehad. 2017. "Exploring the design space of metadata-focused file management systems." Australasian Computer Science Week 2017 (ACSW 2017). Geelong, Australia 31 Jan - 03 Feb 2017 New York, United States. https://doi.org/10.1145/3014812.3014833
Instance independent concurrency control for semistructured databases
Dekeyser, Stijn, Hidders, Jan and Paredaens, Jan. 2003. "Instance independent concurrency control for semistructured databases." Flesca, Sergio and Sacca, Domenico (ed.) 11th Italian Symposium on Advanced Database Systems. Cetraro, Italy 24 - 27 Jun 2003
Guaranteeing correctness for collaboration on documents using an optimal locking protocol
Dekeyser, Stijn and Hidders, Jan. 2011. "Guaranteeing correctness for collaboration on documents using an optimal locking protocol." International Journal of Distributed Systems and Technologies. 2 (4), pp. 17-29. https://doi.org/10.4018/jdst.2011100102
TreeTags: bringing tags to the hierarchical file system
Albadri, Nehad, Watson, Richard and Dekeyser, Stijn. 2016. "TreeTags: bringing tags to the hierarchical file system." 2016 Australasian Computer Science Week Multiconference (ACSW '16). Canberra, Australia 02 - 05 Feb 2016 United States. https://doi.org/10.1145/2843043.2843868
Comparing academic workload models: how Australian universities resource teaching activities
Dekeyser, Stijn, Watson, Richard and Bare, Elizabeth. 2016. "Comparing academic workload models: how Australian universities resource teaching activities." Dobson, Ian R. and Sharma, Raj (ed.) Tertiary Education and Management Conference 2016: From Rhetoric to Reality (TEMC 2016). Auckland, New Zealand 11 - 14 Sep 2016 Australia.
Current practice in academic workload allocation processes in Australia
Watson, Richard, King, Rachel, Dekeyser, Stijn, Bare, Liz and Baldock, Clive. 2015. "Current practice in academic workload allocation processes in Australia." Dobson, Ian R. and Sharma, Raj (ed.) Tertiary Education and Management Conference 2015: Leading Locally Competing Globally (TEMC 2015). Wollongong, Australia 30 Aug - 02 Sep 2015 Australia.
How do students use their mobile devices to support learning? A case study from an Australian regional university
Farley, Helen, Murphy, Angela, Johnson, Chris, Carter, Brad, Lane, Michael, Midgley, Warren, Hafeez-Baig, Abdul, Dekeyser, Stijn and Koronios, Andy. 2015. "How do students use their mobile devices to support learning? A case study from an Australian regional university." Journal of Interactive Media in Education. 15 (1), pp. 1-13. https://doi.org/10.5334/jime.ar
Designing an academic workload model in the age of blended learning
Dekeyser, Stijn, Watson, Richard and Bare, Elizabeth. 2014. "Designing an academic workload model in the age of blended learning." Dobson, Ian R., Conway, Maree and Sharma, Raj (ed.) Tertiary Education and Management Conference 2014: Rainforest to Reef (TEMC 2014). Cairns, Australia 31 Aug - 03 Sep 2014 Australia.
Listening to the student voice: how are students really using mobile technologies for learning?
Murphy, Angela, Farley, Helen, Johnson, Chris, Lane, Michael, Carter, Brad, Hafeez-Baig, Abdul, Midgley, Warren, Dekeyser, Stijn, Rees, Sharon, Mitchell, Maxine, Doyle, Joanne and Koronios, Andy. 2013. "Listening to the student voice: how are students really using mobile technologies for learning?" Carter, Helen, Gosper, Maree and Hedberg, John (ed.) 30th Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education (ASCILITE 2013). Sydney, Australia 01 - 04 Dec 2013
Metadata manipulation interface design
Dekeyser, Stijn and Watson, Richard. 2013. "Metadata manipulation interface design." Smith, Ross T. and Wunsche, Burkhard C. (ed.) 14th Australasian User Interface Conference (AUIC 2013): User Interfaces 2013. Adelaide, Australia 29 Jan - 01 Feb 2013 Sydney, Australia.
Five examples of web-services for illustrating requirements for security architecture
Addie, Ronald G., Moffatt, Sam, Dekeyser, Stijn and Colman, Alan. 2011. "Five examples of web-services for illustrating requirements for security architecture." Zhang, Ji and Livraga, Giovanni (ed.) 2nd International Conference on Data and Knowledge Engineering (ICDKE 2011). Milan, Italy 06 - 08 Sep 2011 Piscataway, NJ. United States. https://doi.org/10.1109/ICDKE.2011.6053929
DISTRO: a system for detecting global outliers from distributed data streams with privacy protection
Zhang, Ji, Dekeyser, Stijn, Wang, Hua and Shu, Yanfeng. 2010. "DISTRO: a system for detecting global outliers from distributed data streams with privacy protection." Kitagawa, Hiroyuki, Ishikawa, Yoshiharu, Li, Qing and Watanabe, Chiemi (ed.) DASFAA 2010: 15th International Conference on Database Systems for Advanced Applications. Tsukuba, Japan 01 - 04 Apr 2010 Germany. Springer. https://doi.org/10.1007/978-3-642-12098-5_54
A transaction model for XML databases
Dekeyser, Stijn, Hidders, Jan and Paredaens, Jan. 2004. "A transaction model for XML databases." World Wide Web. 7 (1), pp. 29-57. https://doi.org/10.1023/B:WWWJ.0000015864.75561.98
A commit scheduler for XML databases
Dekeyser, Stijn and Hidders, Jan. 2003. "A commit scheduler for XML databases." Xiaofang, Zhou, Zhang, Yanchun and Orlowska, Maria E. (ed.) 5th Asia-Pacific Web Conference (APWeb 2003): Web Technologies and Applications. Xian, China 23 - 25 Apr 2003 China. Springer. https://doi.org/10.1007/3-540-36901-5_8
A simple time-management tool for students' online learning activities
de Raadt, Michael and Dekeyser, Stijn. 2009. "A simple time-management tool for students' online learning activities." Atkinson, Roger J. and McBeath, Clare (ed.) 26th Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education (ASCILITE 2009). Auckland, New Zealand 06 - 09 Dec 2009 Auckland, New Zealand.
A system employing peer review and enhanced computer assisted assessment of querying skills
de Raadt, Michael, Dekeyser, Stijn and Lee, Tien Y.. 2007. "A system employing peer review and enhanced computer assisted assessment of querying skills." Informatics in Education. 6 (1), pp. 163-178.
Do students SQLify?: improving learning outcomes with peer review and enhanced computer assisted assessment of querying skills
de Raadt, Michael, Dekeyser, Stijn and Lee, Tien Yu. 2006. "Do students SQLify?: improving learning outcomes with peer review and enhanced computer assisted assessment of querying skills." Berglund, Anders and Wiggberg, Mattias (ed.) 6th Baltic Sea Conference on Computing Education Research (Koli Calling 2006). Koli, Finland 09 - 12 Nov 2006 Sweden. https://doi.org/10.1145/1315803.1315821
A framework for role-based group delegation in distributed environments
Wang, Hua, Li, Jiuyong, Addie, Ron, Dekeyser, Stijn and Watson, Richard. 2006. "A framework for role-based group delegation in distributed environments." Estivill-Castro, Vladimir and Dobbie, Gillian (ed.) 29th Australasian Computer Science Conference (ACSC 2006). Hobart, Australia 16 - 19 Jan 2006 Australia.
Peer-to-peer form based web information systems
Dekeyser, Stijn, Hidders, Jan, Watson, Richard and Addie, Ron. 2006. "Peer-to-peer form based web information systems." Dobbie, Gillian and Bailey, James (ed.) ADC 2006: 17th Australasian Database Conference. Hobart, Australia 16 - 19 Jan 2006 Australia.
Instance-independent view serializability for semistructured databases
Dekeyser, Stijn, Hidders, Jan, Paredaens, Jan and Vercammen, Roel. 2005. "Instance-independent view serializability for semistructured databases." The Computing Research Repository (CoRR).
Piecemeal: a formal collaborative editing technique guaranteeing correctness
Dekeyser, Stijn and Hidders, Jan. 2010. "Piecemeal: a formal collaborative editing technique guaranteeing correctness." Bessis, Nik, Kommers, Piet and Isaias, Pedro (ed.) IADIS International Conference on Collaborative Technologies 2010 (IADIS 2010). Freiburg, Germany 26 - 31 Jul 2010 Germany.
A model, schema, and interface for metadata file systems
Dekeyser, Stijn, Watson, Richard and Motroen, Lasse. 2008. "A model, schema, and interface for metadata file systems." Dobbie, Gillian and Mans, Bernard (ed.) ACSC 2008: 31st Australasian Computer Science Conference. Wollongong, Australia 22 - 25 Jan 2008 Wollongong, Australia.
Computer assisted assessment of SQL query skills
Dekeyser, Stijn, de Raadt, Michael and Lee, Tien Yu. 2007. "Computer assisted assessment of SQL query skills." Bailey, James and Fekete, Alan (ed.) 18th Australasian Database Conference (ADC 2007). Ballarat, Australia 29 Jan - 02 Feb 2007 Bedford Park, South Australia.
A metadata collection technique for documents in WinFS
Dekeyser, Stijn. 2005. "A metadata collection technique for documents in WinFS." Kay, Judy, Turpin, Andrew and Wilkinson, Ross (ed.) 10th Australasian Document Computing Symposium (ADCS 2005). Sydney, Australia 12 Dec 2005 Sydney, Australia.