University of Portsmouth

Displaying 1-40 of 53 results

  • White Papers // Jun 2013

    Integrate Enterprise Systems to Our Hyperconnected World: Anything, Anywhere, Anytime Through Architectural Design

    The architectures of currently sold enterprise systems were developed in a time when the amount of data to be processed was limited. Since then the necessity to capture and process real-time data from multiple sources has surged and needs to be considered in a world where everything must be exchanged...

    Provided By University of Portsmouth

  • White Papers // Mar 2013

    Analysis and Simulation of HPC Applications in Virtualized Data Centers

    Cloud computing is a consolidation environment that hosts heterogeneous applications. Currently, clouds use virtualization technologies to provide an isolated execution environment and agile resource provisioning. Furthermore, live migration is widely exploited to achieve energy saving. However, consolidation and live migration can cause resource contention and utilization overhead that influence application...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP

    Networks-on-Chips (NoCs) have been proposed to solve the communication challenges in Multi-Processor Systems-on-Chips (MPSoCs) with ever increasing number of processing cores. They provide high bandwidth in combination with high connectivity, which is especially interesting in 3D integrated systems. However, efficiently exploiting both, processors and communication infrastructure also requires new design...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    Realistic Tenant Traces for Enterprise DBaaS

    Recently, Database-as-a-Service (DBaaS) has generated considerable attention in the literature. Given the ever increasing demand for cloud services, this research area is likely to gain further momentum. However, traditional methodology from the database community, such as database performance benchmarking, is only partially adequate for DBaaS. One explanation for the shortcoming...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    Implementation of a Secure and Reliable Storage Above the Untrusted Clouds

    Cloud computing as a service-on-demand architecture has grown in importance over the previous few years. One driving force of its growth is the ever increasing amount of data which is supposed to outpace the growth of storage capacity. This way, public cloud storage services enable organizations to manage their data...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    Reflections on a Decade of Interorganizational Workflow Research

    The Public-To-Private (P2P) approach presented at CAiSE in 2001 provides a correctness-by-construction approach to realize interorganizational workflows. A behavioral inheritance notion is used to ensure correctness: organizations can alter their private workflows as long as these remain subclasses of the agreed upon public workflow. The CAiSE'01 paper illustrates the strong...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    Architecture Blueprint for a Business Process Simulation Engine

    Simulation of business process models allows for drawing conclusions on the performance and costs of business processes before they are implemented or changed. Requirements for a business process simulation engine are specific to a concrete use case and a dedicated business domain. In this paper, the authors focus on the...

    Provided By University of Portsmouth

  • White Papers // Oct 2012

    Revisiting the Training of Logic Models of Protein Signaling Networks With a Formal Approach Based on Answer Set Programming

    A fundamental question in systems biology is the construction and training to data of mathematical models. Logic formalisms have become very popular to model signaling networks because their simplicity allows one to model large systems encompassing hundreds of proteins. An approach to train (Boolean) logic models to high-throughput phospho-proteomics data...

    Provided By University of Portsmouth

  • White Papers // Jul 2012

    BPM Academic Initiative Fostering Empirical Research

    The authors started the BPM Academic Initiative (BPM AI) together with colleagues from the BPM community. The BPM Academic Initiative strives to support education and research in business process management. This paper announces a platform to be used by researchers to download process models, providing data to be used in...

    Provided By University of Portsmouth

  • White Papers // Oct 2011

    Behavioral Similarity - A Proper Metric

    With the increasing influence of Business Process Management, large process model repositories emerged in enterprises and public administrations. Their effective utilization requires meaningful and efficient capabilities to search for models that go beyond text based search or folder navigation, e.g., by similarity. Existing measures for process model similarity are often...

    Provided By University of Portsmouth

  • White Papers // Aug 2011

    On the Key Schedule Strength of PRESENT

    The PRESENT block cipher is an ultra-lightweight substitution-permutation network aimed at extremely constrained environments such as RFID tags and sensor networks. Hardware efficiency was one of its most important design goals, and at 1570 GE it really is one of the very few realistic options in such constrained environments for...

    Provided By University of Portsmouth

  • White Papers // Jun 2011

    Event-based Monitoring of Process Execution Violations

    Process-aware information systems support business operations as they are typically defined in a normative process model. Often these systems do not directly execute the process model, but provide the flexibility to deviate from the normative model. This paper proposes a method for monitoring control-flow deviations during process execution. The authors'...

    Provided By University of Portsmouth

  • White Papers // May 2011

    A Framework for Avoiding Steganography Usage Over HTTP

    Steganographic techniques allow users to covertly transmit information, hiding the existence of the communication itself. These can be used in several scenarios ranging from evading censorship to discreetly extracting sensitive information from an organization. In this paper, the authors consider the problem of using steganography through a widely used network...

    Provided By University of Portsmouth

  • White Papers // May 2011

    Practical Network Security Teaching in an Online Virtual Laboratory

    The rapid burst of Internet usage and the corresponding growth of security risks and online attacks for the everyday user or enterprise employee have emerged the terms Awareness Creation and Information Security Culture. Nevertheless, security education has remained an academic issue mainly. Teaching system security or network security on the...

    Provided By University of Portsmouth

  • White Papers // Mar 2011

    A Semantic Approach for Business Process Model Abstraction

    Models of business processes can easily become large and difficult to understand. Abstraction has proven to be an effective means to present a readable, high-level view of a business process model, by showing aggregated activities and leaving out irrelevant details. Yet, it is an open question how to combine activities...

    Provided By University of Portsmouth

  • White Papers // Mar 2011

    A Foundational Approach for Managing Process Variability

    A business process often shows different variations in a large organization, due to different legal requirements in different countries, deviations in the IT infrastructure, or organizational differences. These variants are documented in separate independent process models. Management of these variants imposes various challenges. Invariant behavior needs to be identified and...

    Provided By University of Portsmouth

  • White Papers // Jan 2011

    Partial Process Models to Manage Business Process Variants

    Today's process aware information systems deal often with the problem of variants. Variants of process models have to be defined frequently due to several reasons such as: the need to target different customer types, rely on particular IT systems or comply with specific country regulations. Management of process models variants...

    Provided By University of Portsmouth

  • White Papers // Dec 2010

    Enhancement of Stereo Video Pairs Using SDNs to Aid in 3D Reconstruction

    This paper presents the results of enhancing images from a left and right stereo pair in order to increase the resolution of a 3D representation of a scene generated from that same pair. A new neural network structure known as a Self Delaying Dynamic Network (SDN) has been used to...

    Provided By University of Portsmouth

  • White Papers // Jun 2010

    Meronymy-based Aggregation of Activities in Business Process Models

    As Business Process Management is increasingly applied in practice, more companies document their operations in the form of process models. Since users require descriptions of one process on various levels of detail, there are often multiple models created for the same process. Business Process Model abstraction emerged as a technique...

    Provided By University of Portsmouth

  • White Papers // May 2010

    Cryptanalysis of the David-Prasad RFID Ultralight-weight Authentication Protocol

    Authentication protocols for Radio Frequency IDentification (RFID) systems allow an RFID reader and a tag to mutually authenticate each other. Numerous protocols have been recently proposed in the literature, and the field is challenging since RFID tags can only work in very confined environments with scarce resources, so protocols should...

    Provided By University of Portsmouth

  • White Papers // May 2010

    On Business Process Model Reviews

    In process reviews, domain experts validate the model against reality. In general, reviews are conducted in an iterative manner. Better reviews can build consensus faster and save iterations, i.e. time and money. In an exploratory study, student clerks were asked to provide feedback to models from their domain. In this...

    Provided By University of Portsmouth

  • White Papers // Mar 2010

    Design by Selection: A Query-based Approach for Business Process Modeling

    During business process design, working procedures in organizations are represented by process models. It is an important task in any process improvement project, but also both time consuming and error prone. While many organizations maintain large process model repositories, the authors observe that the information these repositories carry is not...

    Provided By University of Portsmouth

  • White Papers // Mar 2010

    Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition

    Identification of behavioral contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding work flow model used as implementation. In this paper, the authors propose causal behavioral profiles as the basis for a consistency...

    Provided By University of Portsmouth

  • White Papers // Mar 2010

    Structural and Behavioural Commonalities of Process Variants

    A common business process might exist in multiple variations in an enterprise, due to different legal requirements in different countries, deviations in the supporting IT infrastructure, or differences in the organizational structure. In order to explore and control such variability, the authors argue that the notion of a core process,...

    Provided By University of Portsmouth

  • White Papers // Feb 2010

    Process Compliance Measurement based on Behavioural Profiles

    Process compliance measurement is getting increasing attention in companies due to stricter legal requirements and market pressure for operational excellence. On the other hand, the metrics to quantify process compliance have only been defined recently. A major criticism points to the fact that existing measures appear to be unintuitive. In...

    Provided By University of Portsmouth

  • White Papers // Feb 2010

    The Impact of Change Task Type on Maintainability of Process Models

    While process modeling has become important for documenting business operations and automating work flow execution there are serious issues with efficiently and effectively creating and modifying process models. While prior research has mainly investigated process model comprehension, there is hardly any work on maintainability of process models. Cognitive research into...

    Provided By University of Portsmouth

  • White Papers // Feb 2010

    The ICoP Framework: Identification of Correspondences between Process Models

    Business Process Models can be compared, for example, to determine their consistency. Any comparison between process models relies on a mapping that identifies which activity in one model corresponds to which activity in another. Tools that generate such mappings are called matchers. This paper presents the ICoP framework, which can...

    Provided By University of Portsmouth

  • White Papers // Jan 2010

    MPJ: Enabling Parallel Simulations in Java

    Java is emerging as a popular platform for scientific and engineering simulations. Its success can be attributed to its portable nature, good performance, and inherent support for security, threads, objects, and visualisation (Graphics). This paper presents a message passing system called MPJ, which is an implementation of MPI in pure...

    Provided By University of Portsmouth

  • White Papers // Dec 2009

    Towards Enterprise Software as a Service in the Cloud

    For traditional data warehouses, mostly large and expensive server and storage systems are used. In particular, for small- and medium size companies, it is often too expensive to run or rent such systems. These companies might need analytical services only from time to time, for example at the end of...

    Provided By University of Portsmouth

  • White Papers // Oct 2009

    On Application of Structural Decomposition for Process Model Abstraction

    Real world business process models may consist of hundreds of elements and have sophisticated structure. Although there are tasks where such models are valuable and appreciated, in general complexity has a negative influence on model comprehension and analysis. Thus, means for managing the complexity of process models are needed. One...

    Provided By University of Portsmouth

  • White Papers // Oct 2009

    Validating Auction Business Processes using Agent-based Simulations

    Business Process Modeling and particularly modeling business processes as collaborations is one of the challenges of today enterprise software development. The industry of software development becomes more and more expensive making crucial a correct translation from business idea to implementation to allow for a complete understanding and complete exchange of...

    Provided By University of Portsmouth

  • White Papers // Sep 2009

    Tangible Business Process Modeling - Methodology and Experiment Design

    Visualized business process models are the central artifacts to communicate knowledge about working procedures in organizations. Since more organizations take the process perspective to share knowledge and make decisions, it is worth investigating how the processes are elicited. In current practice, analysts interview domain experts and translate their understanding to...

    Provided By University of Portsmouth

  • White Papers // Aug 2009

    Tangible Business Process Modeling: A New Approach

    This paper attempts to extend and refine design thinking methods by focusing on business processes as design products, in which several stake-holders, with potentially conflicting interests, are involved. This paper examines preliminary work applying contemporary design theory and methodology research concepts to Business Process Modeling (BPM). BPM practitioners have expressed...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Visualization of Business Process Modeling Anti Patterns

    The most common way to model business processes is to use a graphical modeling language. The most widespread notation is business process diagrams modeled in the language BPMN. In this paper, the authors formalize structural patterns that can lead to control flow errors in such graphical models. For expressing such...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Visualization of Compliance Violation in Business Process Models

    Checking for compliance is of major importance in now-a-days business. Several approaches have been proposed to address different aspects of compliance checking. One of the important aspects of compliance checking is to ensure that business activities will be executed in a certain order. In this paper, the authors have presented...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Diagnosing and Repairing Data Anomalies in Process Models

    When using process models for automation, correctness of the models is a key requirement. While many approaches concentrate on control flow verification only, correct data flow modeling is of similar importance. This paper introduces an approach for detecting and repairing modeling errors that only occur in the interplay between control...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs

    Configurable on Chip Multi-Processor (CMP) systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for parallel programs, thereby alleviating technological limitations due to memory bandwidth and power consumption. Given the huge size of the design space of such systems, it is important to automatically...

    Provided By University of Portsmouth

  • White Papers // Apr 2009

    An Approach to Assess the Implementation of Business Process Management in Enterprises

    Business Process Management is an important management practice for business transformation and organizational change. This paper presents a Business Process Management implementation approach in a large international company. It introduces a process management maturity assessment which was developed to assess the implementation of Business Process Management and the achievements. The...

    Provided By University of Portsmouth

  • White Papers // Apr 2009

    Towards Resolving Compliance Violations in Business Process Models

    Keeping business processes compliant with regulations is of major importance for companies. Considering the huge number of models each company possesses, an automation of compliance maintenance becomes essential. Therefore, many approaches focused on automation of various aspects of a compliance problem, e.g. compliance verification. Such techniques allow localizing the problem...

    Provided By University of Portsmouth

  • White Papers // Jan 2009

    Hypergraph-based Modeling of Ad-Hoc Business Processes

    Process models are usually depicted as directed graphs, with nodes representing activities and directed edges control flow. While structured processes with predefined control flow have been studied in detail, flexible processes including ad-hoc activities need further investigation. This paper presents flexible process graph, a novel approach to model processes in...

    Provided By University of Portsmouth

  • White Papers // Jan 2010

    MPJ: Enabling Parallel Simulations in Java

    Java is emerging as a popular platform for scientific and engineering simulations. Its success can be attributed to its portable nature, good performance, and inherent support for security, threads, objects, and visualisation (Graphics). This paper presents a message passing system called MPJ, which is an implementation of MPI in pure...

    Provided By University of Portsmouth

  • White Papers // Dec 2010

    Enhancement of Stereo Video Pairs Using SDNs to Aid in 3D Reconstruction

    This paper presents the results of enhancing images from a left and right stereo pair in order to increase the resolution of a 3D representation of a scene generated from that same pair. A new neural network structure known as a Self Delaying Dynamic Network (SDN) has been used to...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    Reflections on a Decade of Interorganizational Workflow Research

    The Public-To-Private (P2P) approach presented at CAiSE in 2001 provides a correctness-by-construction approach to realize interorganizational workflows. A behavioral inheritance notion is used to ensure correctness: organizations can alter their private workflows as long as these remain subclasses of the agreed upon public workflow. The CAiSE'01 paper illustrates the strong...

    Provided By University of Portsmouth

  • White Papers // Oct 2009

    Validating Auction Business Processes using Agent-based Simulations

    Business Process Modeling and particularly modeling business processes as collaborations is one of the challenges of today enterprise software development. The industry of software development becomes more and more expensive making crucial a correct translation from business idea to implementation to allow for a complete understanding and complete exchange of...

    Provided By University of Portsmouth

  • White Papers // Mar 2010

    Structural and Behavioural Commonalities of Process Variants

    A common business process might exist in multiple variations in an enterprise, due to different legal requirements in different countries, deviations in the supporting IT infrastructure, or differences in the organizational structure. In order to explore and control such variability, the authors argue that the notion of a core process,...

    Provided By University of Portsmouth

  • White Papers // Sep 2009

    Tangible Business Process Modeling - Methodology and Experiment Design

    Visualized business process models are the central artifacts to communicate knowledge about working procedures in organizations. Since more organizations take the process perspective to share knowledge and make decisions, it is worth investigating how the processes are elicited. In current practice, analysts interview domain experts and translate their understanding to...

    Provided By University of Portsmouth

  • White Papers // Mar 2011

    A Semantic Approach for Business Process Model Abstraction

    Models of business processes can easily become large and difficult to understand. Abstraction has proven to be an effective means to present a readable, high-level view of a business process model, by showing aggregated activities and leaving out irrelevant details. Yet, it is an open question how to combine activities...

    Provided By University of Portsmouth

  • White Papers // Aug 2007

    Soundness Verification of Business Processes Specified in the Pi-Calculus

    Recent research in the area of Business Process Management (BPM) introduced the application of process algebra - the pi-calculus - for the formal description of business processes and interactions among them. Especially in the area of Service-Oriented Architectures, the key architecture for today's BPM systems, the pi-calculus - as well...

    Provided By University of Portsmouth

  • White Papers // Oct 2011

    Behavioral Similarity - A Proper Metric

    With the increasing influence of Business Process Management, large process model repositories emerged in enterprises and public administrations. Their effective utilization requires meaningful and efficient capabilities to search for models that go beyond text based search or folder navigation, e.g., by similarity. Existing measures for process model similarity are often...

    Provided By University of Portsmouth

  • White Papers // Jun 2008

    Semantic Querying of Business Process Models

    Determining similarity between Business Process Models has recently gained interest in the Business Process Management community. So far similarity was addressed separately either at semantic or structural aspect of process models. Also, most of the contributions that measure similarity of process models assume an ideal case when process models are...

    Provided By University of Portsmouth

  • White Papers // Jul 2006

    A Tool Chain for Lazy Soundness

    Business Process Management (BPM) aims at designing, enacting, managing, analyzing, and adapting business processes. This paper focuses on a special kind of analysis, called verification. Verification proves correctness of business processes regarding structural constrains like deadlocks or livelocks that require a formal semantics of the routing constructs contained in business...

    Provided By University of Portsmouth

  • White Papers // Nov 2008

    Reducing Complexity of Large EPCs

    Business processes are an important instrument for understanding and improving how companies provide goods and services to customers. Therefore, many companies have documented their business processes well, often in the Event-driven Process Chains (EPC). Unfortunately, in many cases the resulting EPCs are rather complex, so that the overall process logic...

    Provided By University of Portsmouth

  • White Papers // Jul 2007

    An Extended Resource Information Layer for BPMN

    BPMN is an emerging standard for process modeling and has the potential to become a process specification language to capture and exchange process models between stakeholders and tools. Ongoing research and standardization efforts target a formal behavioural semantics and metamodel. Yet it is hardly specified how humans are embedded in...

    Provided By University of Portsmouth

  • White Papers // Apr 2009

    An Approach to Assess the Implementation of Business Process Management in Enterprises

    Business Process Management is an important management practice for business transformation and organizational change. This paper presents a Business Process Management implementation approach in a large international company. It introduces a process management maturity assessment which was developed to assess the implementation of Business Process Management and the achievements. The...

    Provided By University of Portsmouth

  • White Papers // Jun 2013

    Integrate Enterprise Systems to Our Hyperconnected World: Anything, Anywhere, Anytime Through Architectural Design

    The architectures of currently sold enterprise systems were developed in a time when the amount of data to be processed was limited. Since then the necessity to capture and process real-time data from multiple sources has surged and needs to be considered in a world where everything must be exchanged...

    Provided By University of Portsmouth

  • White Papers // Mar 2013

    Analysis and Simulation of HPC Applications in Virtualized Data Centers

    Cloud computing is a consolidation environment that hosts heterogeneous applications. Currently, clouds use virtualization technologies to provide an isolated execution environment and agile resource provisioning. Furthermore, live migration is widely exploited to achieve energy saving. However, consolidation and live migration can cause resource contention and utilization overhead that influence application...

    Provided By University of Portsmouth

  • White Papers // Jul 2012

    BPM Academic Initiative Fostering Empirical Research

    The authors started the BPM Academic Initiative (BPM AI) together with colleagues from the BPM community. The BPM Academic Initiative strives to support education and research in business process management. This paper announces a platform to be used by researchers to download process models, providing data to be used in...

    Provided By University of Portsmouth

  • White Papers // May 2010

    On Business Process Model Reviews

    In process reviews, domain experts validate the model against reality. In general, reviews are conducted in an iterative manner. Better reviews can build consensus faster and save iterations, i.e. time and money. In an exploratory study, student clerks were asked to provide feedback to models from their domain. In this...

    Provided By University of Portsmouth

  • White Papers // Jan 2008

    Towards Resource-Oriented BPEL

    Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a \"Light-weight\" approach to Web services, is reshaping itself as a modeling strategy to service orientation. Along comes the realization that resources are in-fact...

    Provided By University of Portsmouth

  • White Papers // Mar 2010

    Design by Selection: A Query-based Approach for Business Process Modeling

    During business process design, working procedures in organizations are represented by process models. It is an important task in any process improvement project, but also both time consuming and error prone. While many organizations maintain large process model repositories, the authors observe that the information these repositories carry is not...

    Provided By University of Portsmouth

  • White Papers // Jan 2011

    Partial Process Models to Manage Business Process Variants

    Today's process aware information systems deal often with the problem of variants. Variants of process models have to be defined frequently due to several reasons such as: the need to target different customer types, rely on particular IT systems or comply with specific country regulations. Management of process models variants...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Visualization of Business Process Modeling Anti Patterns

    The most common way to model business processes is to use a graphical modeling language. The most widespread notation is business process diagrams modeled in the language BPMN. In this paper, the authors formalize structural patterns that can lead to control flow errors in such graphical models. For expressing such...

    Provided By University of Portsmouth

  • White Papers // Apr 2009

    Towards Resolving Compliance Violations in Business Process Models

    Keeping business processes compliant with regulations is of major importance for companies. Considering the huge number of models each company possesses, an automation of compliance maintenance becomes essential. Therefore, many approaches focused on automation of various aspects of a compliance problem, e.g. compliance verification. Such techniques allow localizing the problem...

    Provided By University of Portsmouth

  • White Papers // Jul 2006

    Why Do We Actually Need the Pi-Calculus for Business Process Management?

    In this paper, the author investigated why traditional formalisms for workflow, like Workflow nets, are not well suited for future BPM, as they do not match the shifting requirements of message-based, distributed, and dynamically adapting processes. Recent results have shown that the Pi-calculus is well suited for modeling classical workflows,...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Visualization of Compliance Violation in Business Process Models

    Checking for compliance is of major importance in now-a-days business. Several approaches have been proposed to address different aspects of compliance checking. One of the important aspects of compliance checking is to ensure that business activities will be executed in a certain order. In this paper, the authors have presented...

    Provided By University of Portsmouth

  • White Papers // Dec 2009

    Towards Enterprise Software as a Service in the Cloud

    For traditional data warehouses, mostly large and expensive server and storage systems are used. In particular, for small- and medium size companies, it is often too expensive to run or rent such systems. These companies might need analytical services only from time to time, for example at the end of...

    Provided By University of Portsmouth

  • White Papers // Aug 2006

    An Introduction to the Enterprise Service Bus

    Due to the ongoing globalization, enterprises all over the world have to face a fierce competition. In order to stay in business, they constantly have to automate their business processes, integrate with their business partners and provide new services to their customers. With the changing demands in business, the goal...

    Provided By University of Portsmouth

  • White Papers // Oct 2009

    On Application of Structural Decomposition for Process Model Abstraction

    Real world business process models may consist of hundreds of elements and have sophisticated structure. Although there are tasks where such models are valuable and appreciated, in general complexity has a negative influence on model comprehension and analysis. Thus, means for managing the complexity of process models are needed. One...

    Provided By University of Portsmouth

  • White Papers // Jan 2009

    Hypergraph-based Modeling of Ad-Hoc Business Processes

    Process models are usually depicted as directed graphs, with nodes representing activities and directed edges control flow. While structured processes with predefined control flow have been studied in detail, flexible processes including ad-hoc activities need further investigation. This paper presents flexible process graph, a novel approach to model processes in...

    Provided By University of Portsmouth

  • White Papers // Sep 2008

    Flexible Process Graph: A Prologue

    Businesses document their operational processes as process models. The common practice is to represent process models as directed graphs. The nodes of a process graph represent activities and directed edges constitute activity ordering constraints. A flexible process graph modeling approach proposes to generalize process graph structure to a hypergraph. Obtained...

    Provided By University of Portsmouth

  • White Papers // Aug 2009

    Tangible Business Process Modeling: A New Approach

    This paper attempts to extend and refine design thinking methods by focusing on business processes as design products, in which several stake-holders, with potentially conflicting interests, are involved. This paper examines preliminary work applying contemporary design theory and methodology research concepts to Business Process Modeling (BPM). BPM practitioners have expressed...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Diagnosing and Repairing Data Anomalies in Process Models

    When using process models for automation, correctness of the models is a key requirement. While many approaches concentrate on control flow verification only, correct data flow modeling is of similar importance. This paper introduces an approach for detecting and repairing modeling errors that only occur in the interplay between control...

    Provided By University of Portsmouth

  • White Papers // Oct 2006

    A Business Process-centered Approach for Modeling Enterprise Architectures

    Mastering an Enterprise Architecture is crucial for the entire enterprise to operate most efficiently. However, there is a lack of appropriate means to appropriately visualize and communicate traceability from business processes to other enterprise architectural entities such as e.g. the supporting IT infrastructure. Therefore, systematic in-depth analysis of the entire...

    Provided By University of Portsmouth

  • White Papers // Oct 2007

    BPEL4Chor: Extending BPEL for Modeling Choreographies

    The Business Process Execution Language (BPEL) is a language to orchestrate web services into a single business process. In a choreography view, several processes are interconnected and their interaction behavior is described from a global perspective. This paper shows how BPEL can be extended for defining choreographies. The proposed extensions...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    Architecture Blueprint for a Business Process Simulation Engine

    Simulation of business process models allows for drawing conclusions on the performance and costs of business processes before they are implemented or changed. Requirements for a business process simulation engine are specific to a concrete use case and a dedicated business domain. In this paper, the authors focus on the...

    Provided By University of Portsmouth

  • White Papers // Jul 2009

    Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs

    Configurable on Chip Multi-Processor (CMP) systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for parallel programs, thereby alleviating technological limitations due to memory bandwidth and power consumption. Given the huge size of the design space of such systems, it is important to automatically...

    Provided By University of Portsmouth

  • White Papers // Jan 2013

    A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP

    Networks-on-Chips (NoCs) have been proposed to solve the communication challenges in Multi-Processor Systems-on-Chips (MPSoCs) with ever increasing number of processing cores. They provide high bandwidth in combination with high connectivity, which is especially interesting in 3D integrated systems. However, efficiently exploiting both, processors and communication infrastructure also requires new design...

    Provided By University of Portsmouth

  • White Papers // Oct 2012

    Revisiting the Training of Logic Models of Protein Signaling Networks With a Formal Approach Based on Answer Set Programming

    A fundamental question in systems biology is the construction and training to data of mathematical models. Logic formalisms have become very popular to model signaling networks because their simplicity allows one to model large systems encompassing hundreds of proteins. An approach to train (Boolean) logic models to high-throughput phospho-proteomics data...

    Provided By University of Portsmouth

  • White Papers // May 2011

    A Framework for Avoiding Steganography Usage Over HTTP

    Steganographic techniques allow users to covertly transmit information, hiding the existence of the communication itself. These can be used in several scenarios ranging from evading censorship to discreetly extracting sensitive information from an organization. In this paper, the authors consider the problem of using steganography through a widely used network...

    Provided By University of Portsmouth

  • White Papers // Aug 2011

    On the Key Schedule Strength of PRESENT

    The PRESENT block cipher is an ultra-lightweight substitution-permutation network aimed at extremely constrained environments such as RFID tags and sensor networks. Hardware efficiency was one of its most important design goals, and at 1570 GE it really is one of the very few realistic options in such constrained environments for...

    Provided By University of Portsmouth