A fundamental requirement in specifying transaction systems is the need for a clear, concise, una... more A fundamental requirement in specifying transaction systems is the need for a clear, concise, unambiguous, and rigorous behavioural and functional description of the systems' crucial features like concurrency, nondeterminism, mutual exclusion, synchronization, and deadlock avoidance. To write a specification that exhibits these characteristics requires a formalism that has both expressive power and the functionality for specifying and reasoning about the structure and behaviour of transaction models. To ensure that the specifications are consistent and verifiably correct requires expressing the specifications using mathematical notations and then using the notations' underlying formalism to prove correctness properties. Such requirements can only be satisfied within a formal framework. However, most of the present transaction systems (models) are not formally specified or at best use methodologies that are ad hoc or semiformal. Unfortunately, when insufficient formalism is u...
This paper examines e-commerce and some of its requirements and how it can gain from using formal... more This paper examines e-commerce and some of its requirements and how it can gain from using formal methods approach in the development of applications in the domain. We formally specify an abstract model of Electronic Commerce and then show how that specification can be used to create a real-life Electronic Commerce application. The specification, done in a mathematical modeling language called Z and combined with verbose informal descriptions, can completely explain some parts or the whole of the Electronic Commerce problem domain. Using the formally specified model and modern programming languages and techniques, a working system can be created quickly and efficiently. This paper also examines the issues of correctness and reliability of satisfying a user’s order by accessing data (in possibly heterogeneous databases and platforms) distributed across the enterprise or the Internet, and describes techniques for guaranteeing and enhancing a high degree of system dependability. Our model relies on an event-based and causally aware framework for specifying e-commerce transaction protocols. Keywords—Electronic Commerce, Formal Specification, Z Notation.
International Journal of Web Based Communities, 2005
Abstract: This paper leverages web data management concepts to aggregate data generated in a B2B-... more Abstract: This paper leverages web data management concepts to aggregate data generated in a B2B-centric WBC (B2B-WBC) model. We use algebraic signatures to formally specify components of the model to reduce system's complexity. We introduce the concept of reward and ...
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), 1998
As multimedia data penetrates many information systems the need for database support for the mult... more As multimedia data penetrates many information systems the need for database support for the multimedia data evolves and so does the need for a formal development methodology. Audio and video media items represent data streams with an inherent temporal property. To adequately and correctly model multimedia transactions, it is vital to guarantee both temporal and functional correctness by using mechanisms that ensure adherence to, and preservation of, media item timing constraints. Consequently such systems require more rigorous treatment to ensure the systems function correctly. This paper describes the specification of synchronization among media items using the Timed CSP specification language in a declarative fashion and shows how temporal constraints among media items may be specified. It also presents a real-time approach that provides constructs to specify temporal constraints in both dynamic and static forms of the different media item types. The paper focuses on issues in the context of the design and development of multimedia systems such as: scheduling of time-constrained triggered transactions; deadline assignment; and concurrency control and commitment of transactions. In particular, the paper focuses on the innovative approach through which advanced multimedia systems can be developed within a distinct framework. This methodology is very useful when composing complex multimedia presentations. It may also lead to the development of a sophisticated authoring tool.
Path analysis is an effective way to understand visitors’ navigation of a website. A path is a se... more Path analysis is an effective way to understand visitors’ navigation of a website. A path is a sequence of pages browsed by a user in a session and ordered by the access time. A user session can be abstracted as a full path, which is made up of subpaths with different lengths. Although partial paths, such as maximal reference sequence module, can also reveal useful information in some aspects about a user in a session, a full path contributes more to the understanding of the navigational patterns in path analysis. In this paper, we present a model for path analysis based on full paths. We use a path string to straightforwardly represent a full path in a user’s session. To store all paths efficiently and display the data visually, a path tree structure and an algorithm for constructing such a path tree are developed. We also implement this model using Java. Evaluation results show that this model can provide a lot of useful information about users’ navigation and a website’s usage.
Path analysis is an effective way to understand visitors’ navigation of a website. A path is a se... more Path analysis is an effective way to understand visitors’ navigation of a website. A path is a sequence of pages browsed by a user in a session and ordered by the access time. A user session can be abstracted as a full path, which is made up of subpaths with different lengths. Although partial paths, such as maximal reference sequence module, can also reveal useful information in some aspects about a user in a session, a full path contributes more to the understanding of the navigational patterns in path analysis. In this paper, we present a model for path analysis based on full paths. We use a path string to straightforwardly represent a full path in a user’s session. To store all paths efficiently and display the data visually, a path tree structure and an algorithm for constructing such a path tree are developed. We also implement this model using Java. Evaluation results show that this model can provide a lot of useful information about users’ navigation and a website’s usage.
Second IEEE International Conference on Computational Cybernetics, 2004. ICCC 2004., 2004
This paper presents a fuzzy logic framework for evaluating formalisms applicable to specifying el... more This paper presents a fuzzy logic framework for evaluating formalisms applicable to specifying electronic commerce systems. We present an evaluation of the Z notation, Unified Modelling Language (UML), statecharts, Petri nets, and finite state machines (FSM) carried out in conjunction with some domain specialists using the evaluation criteria and the fuzzy logic framework developed in this research
... In: L. Steels and R. Brooks (Eds.), The 'artificial life' route to 'artificial... more ... In: L. Steels and R. Brooks (Eds.), The 'artificial life' route to 'artificial intelligence'. Building situated embodied agents. New Haven, CT: Lawrence Erlbaum Associates, 1993. L. Steels, “A case study in the behavior-oriented design of autonomous agents”. In: Proc. ...
Data integration involves merging two or more schemas into a global schema based on the identific... more Data integration involves merging two or more schemas into a global schema based on the identification of common concepts, and also the set of different concepts that are mutually related by some semantic properties. Identifying semantic relationships between a set of objects in one ...
Most current web applications perform operations that are basicallyread-only (retrieval of data/d... more Most current web applications perform operations that are basicallyread-only (retrieval of data/documents) so con-flicts between trancations do not arise. However, as web ap-plications increasingly become more sophisticated, permit-ting both concurrent data retrieval and ...
This paper presents a fast association rule mining algorithm which is suitable for medical image ... more This paper presents a fast association rule mining algorithm which is suitable for medical image data sets. In particular, it assesses the feasibility of using association rule algorithms to extract hidden information from medical image data sets. In addition, we ...
A fundamental requirement in specifying transaction systems is the need for a clear, concise, una... more A fundamental requirement in specifying transaction systems is the need for a clear, concise, unambiguous, and rigorous behavioural and functional description of the systems' crucial features like concurrency, nondeterminism, mutual exclusion, synchronization, and deadlock avoidance. To write a specification that exhibits these characteristics requires a formalism that has both expressive power and the functionality for specifying and reasoning about the structure and behaviour of transaction models. To ensure that the specifications are consistent and verifiably correct requires expressing the specifications using mathematical notations and then using the notations' underlying formalism to prove correctness properties. Such requirements can only be satisfied within a formal framework. However, most of the present transaction systems (models) are not formally specified or at best use methodologies that are ad hoc or semiformal. Unfortunately, when insufficient formalism is u...
This paper examines e-commerce and some of its requirements and how it can gain from using formal... more This paper examines e-commerce and some of its requirements and how it can gain from using formal methods approach in the development of applications in the domain. We formally specify an abstract model of Electronic Commerce and then show how that specification can be used to create a real-life Electronic Commerce application. The specification, done in a mathematical modeling language called Z and combined with verbose informal descriptions, can completely explain some parts or the whole of the Electronic Commerce problem domain. Using the formally specified model and modern programming languages and techniques, a working system can be created quickly and efficiently. This paper also examines the issues of correctness and reliability of satisfying a user’s order by accessing data (in possibly heterogeneous databases and platforms) distributed across the enterprise or the Internet, and describes techniques for guaranteeing and enhancing a high degree of system dependability. Our model relies on an event-based and causally aware framework for specifying e-commerce transaction protocols. Keywords—Electronic Commerce, Formal Specification, Z Notation.
International Journal of Web Based Communities, 2005
Abstract: This paper leverages web data management concepts to aggregate data generated in a B2B-... more Abstract: This paper leverages web data management concepts to aggregate data generated in a B2B-centric WBC (B2B-WBC) model. We use algebraic signatures to formally specify components of the model to reduce system's complexity. We introduce the concept of reward and ...
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), 1998
As multimedia data penetrates many information systems the need for database support for the mult... more As multimedia data penetrates many information systems the need for database support for the multimedia data evolves and so does the need for a formal development methodology. Audio and video media items represent data streams with an inherent temporal property. To adequately and correctly model multimedia transactions, it is vital to guarantee both temporal and functional correctness by using mechanisms that ensure adherence to, and preservation of, media item timing constraints. Consequently such systems require more rigorous treatment to ensure the systems function correctly. This paper describes the specification of synchronization among media items using the Timed CSP specification language in a declarative fashion and shows how temporal constraints among media items may be specified. It also presents a real-time approach that provides constructs to specify temporal constraints in both dynamic and static forms of the different media item types. The paper focuses on issues in the context of the design and development of multimedia systems such as: scheduling of time-constrained triggered transactions; deadline assignment; and concurrency control and commitment of transactions. In particular, the paper focuses on the innovative approach through which advanced multimedia systems can be developed within a distinct framework. This methodology is very useful when composing complex multimedia presentations. It may also lead to the development of a sophisticated authoring tool.
Path analysis is an effective way to understand visitors’ navigation of a website. A path is a se... more Path analysis is an effective way to understand visitors’ navigation of a website. A path is a sequence of pages browsed by a user in a session and ordered by the access time. A user session can be abstracted as a full path, which is made up of subpaths with different lengths. Although partial paths, such as maximal reference sequence module, can also reveal useful information in some aspects about a user in a session, a full path contributes more to the understanding of the navigational patterns in path analysis. In this paper, we present a model for path analysis based on full paths. We use a path string to straightforwardly represent a full path in a user’s session. To store all paths efficiently and display the data visually, a path tree structure and an algorithm for constructing such a path tree are developed. We also implement this model using Java. Evaluation results show that this model can provide a lot of useful information about users’ navigation and a website’s usage.
Path analysis is an effective way to understand visitors’ navigation of a website. A path is a se... more Path analysis is an effective way to understand visitors’ navigation of a website. A path is a sequence of pages browsed by a user in a session and ordered by the access time. A user session can be abstracted as a full path, which is made up of subpaths with different lengths. Although partial paths, such as maximal reference sequence module, can also reveal useful information in some aspects about a user in a session, a full path contributes more to the understanding of the navigational patterns in path analysis. In this paper, we present a model for path analysis based on full paths. We use a path string to straightforwardly represent a full path in a user’s session. To store all paths efficiently and display the data visually, a path tree structure and an algorithm for constructing such a path tree are developed. We also implement this model using Java. Evaluation results show that this model can provide a lot of useful information about users’ navigation and a website’s usage.
Second IEEE International Conference on Computational Cybernetics, 2004. ICCC 2004., 2004
This paper presents a fuzzy logic framework for evaluating formalisms applicable to specifying el... more This paper presents a fuzzy logic framework for evaluating formalisms applicable to specifying electronic commerce systems. We present an evaluation of the Z notation, Unified Modelling Language (UML), statecharts, Petri nets, and finite state machines (FSM) carried out in conjunction with some domain specialists using the evaluation criteria and the fuzzy logic framework developed in this research
... In: L. Steels and R. Brooks (Eds.), The 'artificial life' route to 'artificial... more ... In: L. Steels and R. Brooks (Eds.), The 'artificial life' route to 'artificial intelligence'. Building situated embodied agents. New Haven, CT: Lawrence Erlbaum Associates, 1993. L. Steels, “A case study in the behavior-oriented design of autonomous agents”. In: Proc. ...
Data integration involves merging two or more schemas into a global schema based on the identific... more Data integration involves merging two or more schemas into a global schema based on the identification of common concepts, and also the set of different concepts that are mutually related by some semantic properties. Identifying semantic relationships between a set of objects in one ...
Most current web applications perform operations that are basicallyread-only (retrieval of data/d... more Most current web applications perform operations that are basicallyread-only (retrieval of data/documents) so con-flicts between trancations do not arise. However, as web ap-plications increasingly become more sophisticated, permit-ting both concurrent data retrieval and ...
This paper presents a fast association rule mining algorithm which is suitable for medical image ... more This paper presents a fast association rule mining algorithm which is suitable for medical image data sets. In particular, it assesses the feasibility of using association rule algorithms to extract hidden information from medical image data sets. In addition, we ...
Uploads
Papers by Eric Guillemot