petia wohed | Stockholm University (original) (raw)

Papers by petia wohed

Research paper thumbnail of Deontic Analysis Patterns

Abstract In order to reduce the costs for systems development, methods for the reuse of specifica... more Abstract In order to reduce the costs for systems development, methods for the reuse of specification knowledge have been developed. One approach is to build libraries of reusable analysis patterns, ie abstract models describing the generic features of a type of situation that may occur in many different domains. In this paper, we propose a novel analysis pattern based on a deontic perspective.

Research paper thumbnail of Improving quality in conceptual modelling by the use of schema transformations

The quality of the results produced in the early phases of systems development is a major factor ... more The quality of the results produced in the early phases of systems development is a major factor in determining the overall quality of an information system. Therefore, an important task for research in conceptual modelling and requirements engineering is to clarify the concept of quality and develop methods for improving the quality of conceptual schemas. In this paper, we propose an approach for improving schema quality, which is based on a systematic use of schema transformations to incrementally restructure schemas.

Research paper thumbnail of Modelling agent communication in a first order logic

In the design of information systems, the notion of agent has proven useful. When modelling commu... more In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, ie how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that includes deontic and illocutionary constructs for the modelling of communication between agents.

Research paper thumbnail of First Order Action Logic-An approach for Modelling the Communication Process between Agents

In the design of information systems, the notion of agent has proven useful. When modelling commu... more In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, i.e., how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that includes deontic and illocutionary constructs for the modelling of communication between agents. The language is a logic programming language, which gives it a simple semantics and makes it executable. A distinguishing feature of the language is that it is able to represent time explicitly, which is required to give an adequate semantics for deontic constructs.

Research paper thumbnail of Tool Support for Reuse of Analysis Patterns—A Case Study

The size and complexity of modern information systems together with requirements for short develo... more The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea of reuse itself is not novel and the ability of reuse is even a part of the learning process. However, not much support for reuse can be found for the analysis phase of information systems design.

Research paper thumbnail of Life after BPEL?

The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for spe... more The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microsoft and positioned as the “process language of the Internet”. This paper provides a critical analysis of BPEL based on the so-called workflow patterns. It also discusses the need for languages like BPEL. Finally, the paper addresses several challenges not directly addressed by BPEL but highly relevant to the support of web services.

Research paper thumbnail of Process patterns to generate e-commerce systems

In electronic commerce, two fundamental types of models are business models and process models. W... more In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process model describes the procedural realization of business requirements. There is a need for methodological guidelines and tool support to move from a business model to a process model, which enables design decisions to be based on requirements captured in the business model.

Research paper thumbnail of Deontic specification patterns-generalisation and classification

Abstract: In order to reduce the costs for systems development, methods for the reuse of specific... more Abstract: In order to reduce the costs for systems development, methods for the reuse of specification knowledge have been developed. One approach is to build libraries of reusable specification patterns, ie abstract models describing the generic features of a type of situation that may occur in many different domains. In this paper, we propose a novel specification pattern based on a deontic perspective.

Research paper thumbnail of Conceptual Patterns-A Consolidation of Coad’s and Wohed’s Approaches

The information system analysis process is considered as a difficult phase during the information... more The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from the domain experts. Different techniques for supporting this process have been developed. One of them is provided by Coad, who defines a number of patterns aimed for use during the analysis of an information system.

Research paper thumbnail of Reconciliation of two Business Modelling Frameworks

Abstract. Addressed in this paper is the problem of conceptual heterogeneity within the field of ... more Abstract. Addressed in this paper is the problem of conceptual heterogeneity within the field of information systems. Two frameworks, Frisco and Söderström, each reflecting this heterogeneity, are presented. They are analysed and an reconciliation attempt of them is provided. The reconciliation points at some strengths and weaknesses in each framework.

Research paper thumbnail of An Ontology Based Analysis of BPEL4WS and WSCI

Abstract. In this paper two languages for web services choreography, BPEL4WS and WSCI, are analys... more Abstract. In this paper two languages for web services choreography, BPEL4WS and WSCI, are analysed and compared in order to increase our understanding of them. The analysis is based on ides from the field of ontology. A reference model is used as a top-level ontology and the languages are analysed one by one using the reference model. The result is that the approach of using an ontology based analysis is suitable for gaining understanding of web services languages.

Research paper thumbnail of Meta-Modelling as a Means for Improved Communication and Interoperability–The Case of Frisco

Abstract. Unclear and disparate terminology are causing problems in the area of information syste... more Abstract. Unclear and disparate terminology are causing problems in the area of information system development. To address these issues, modelling frameworks and ontologies based on solid philosophical and logical foundations have been developed. Hypothesizing that a diagrammatic interface will be beneficial for comprehension and communication resulting in wider dissemination, we propose a UML-based meta-model of one of those frameworks–Frisco.

Research paper thumbnail of Pattern-based Analysis of BPMN

In this paper an evaluation of BPMN is presented, using the Workflow Patterns as an analysis fram... more In this paper an evaluation of BPMN is presented, using the Workflow Patterns as an analysis framework. The analysis provided for BPMN is part of a larger effort aiming at an unbiased and vendor-independent survey of the expressive power of some mainstream modelling languages for process-aware information systems. It is a sequel to an analysis series where languages like BPEL and UML 2.0 AD were evaluated.

Research paper thumbnail of Modelling institutional, communicative and physical domains in agent oriented information systems

One role of a business system is to provide a representation of a Universe of Discourse, which re... more One role of a business system is to provide a representation of a Universe of Discourse, which reflects its structure and behaviour. An equally important function of the system is to support communication within an organisation, by structuring and co-ordinating the actions performed by the organisation's agents. These two roles of a business system may be represented in terms of business and process models, ie separating the declarative aspects from the procedural control flow aspects of the system.

Research paper thumbnail of Dynamic weaving of aspects for business process management systems

Reducing complexity in Information Systems is a main concern in both research and industry. One s... more Reducing complexity in Information Systems is a main concern in both research and industry. One strategy for reducing complexity is separation of concerns. This strategy advocates separating various concerns, like security and privacy, from the main concern. It results in less complex, easily maintainable, and more reusable Information Systems. Separation of concerns is addressed through the Aspect Oriented paradigm.

Research paper thumbnail of From business model to process pattern in e-commerce

Abstract The basic notions in e-commerce are communicative, institutional, and deontic notions su... more Abstract The basic notions in e-commerce are communicative, institutional, and deontic notions such as obligation, responsibility, and trust. The Language Action approach, therefore, seems to be a most promising framework for designing e-commerce systems. However, the penetration of the Language Action approach in industrial practice is still limited. We discuss some reasons for this state of affairs by identifying a number of problems that hinder an effective application of the Language Action approach.

Research paper thumbnail of Applying AI Techniques to Requirements Engineering: The NATURE Prototype

Abstract: Requirements Engineering (RE) is a critical part of software engineering. Within the NA... more Abstract: Requirements Engineering (RE) is a critical part of software engineering. Within the NATURE (Novel Approaches to Theories Underlying Requirements Engineering) project we have devoloped and implemented& five theories which are based on AI techniques for supporting and improving the requirements engineering process. For making the results comparable we have used the well known library example [Wing 1990].

Research paper thumbnail of Operational semantics of aspects in business process management

Aspect orientation is an important approach to address complexity of cross-cutting concerns in In... more Aspect orientation is an important approach to address complexity of cross-cutting concerns in Information Systems. This approach encapsulates these concerns separately and compose them to the main module when needed. Although there a different works which shows how this separation should be performed in process models, the composition of them is an open area. In this paper, we demonstrate the semantics of a service which enables this composition.

Research paper thumbnail of Business Process Management with Social Software: An Integrated Technology for Work Organisation

Abstract. Software support for well structured business processes is today provided through workf... more Abstract. Software support for well structured business processes is today provided through workflow technology and process management tools. Tailored to support well structured processes, these tools do not provide adequate support for loosely structured work activities such as knowledge intensive processes. This type of work is heavily reliant on professional knowledge, deals with large amounts of data and tasks that can be redone several times.

Research paper thumbnail of UEML: Providing Requirements and extensions for interoperability challenges

Abstract. Addressed in this paper is the domain of interoperability and interoperable information... more Abstract. Addressed in this paper is the domain of interoperability and interoperable information systems. Enterprise analysis and modelling is an essential tool for achieving interoperability. However, the big number and diversity of enterprise modelling tools and techniques available today challenges the usefulness of enterprise modelling. Addressing this problem, a Unified Enterprise Modelling Language is under development.

Research paper thumbnail of Deontic Analysis Patterns

Abstract In order to reduce the costs for systems development, methods for the reuse of specifica... more Abstract In order to reduce the costs for systems development, methods for the reuse of specification knowledge have been developed. One approach is to build libraries of reusable analysis patterns, ie abstract models describing the generic features of a type of situation that may occur in many different domains. In this paper, we propose a novel analysis pattern based on a deontic perspective.

Research paper thumbnail of Improving quality in conceptual modelling by the use of schema transformations

The quality of the results produced in the early phases of systems development is a major factor ... more The quality of the results produced in the early phases of systems development is a major factor in determining the overall quality of an information system. Therefore, an important task for research in conceptual modelling and requirements engineering is to clarify the concept of quality and develop methods for improving the quality of conceptual schemas. In this paper, we propose an approach for improving schema quality, which is based on a systematic use of schema transformations to incrementally restructure schemas.

Research paper thumbnail of Modelling agent communication in a first order logic

In the design of information systems, the notion of agent has proven useful. When modelling commu... more In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, ie how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that includes deontic and illocutionary constructs for the modelling of communication between agents.

Research paper thumbnail of First Order Action Logic-An approach for Modelling the Communication Process between Agents

In the design of information systems, the notion of agent has proven useful. When modelling commu... more In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, i.e., how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that includes deontic and illocutionary constructs for the modelling of communication between agents. The language is a logic programming language, which gives it a simple semantics and makes it executable. A distinguishing feature of the language is that it is able to represent time explicitly, which is required to give an adequate semantics for deontic constructs.

Research paper thumbnail of Tool Support for Reuse of Analysis Patterns—A Case Study

The size and complexity of modern information systems together with requirements for short develo... more The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea of reuse itself is not novel and the ability of reuse is even a part of the learning process. However, not much support for reuse can be found for the analysis phase of information systems design.

Research paper thumbnail of Life after BPEL?

The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for spe... more The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microsoft and positioned as the “process language of the Internet”. This paper provides a critical analysis of BPEL based on the so-called workflow patterns. It also discusses the need for languages like BPEL. Finally, the paper addresses several challenges not directly addressed by BPEL but highly relevant to the support of web services.

Research paper thumbnail of Process patterns to generate e-commerce systems

In electronic commerce, two fundamental types of models are business models and process models. W... more In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process model describes the procedural realization of business requirements. There is a need for methodological guidelines and tool support to move from a business model to a process model, which enables design decisions to be based on requirements captured in the business model.

Research paper thumbnail of Deontic specification patterns-generalisation and classification

Abstract: In order to reduce the costs for systems development, methods for the reuse of specific... more Abstract: In order to reduce the costs for systems development, methods for the reuse of specification knowledge have been developed. One approach is to build libraries of reusable specification patterns, ie abstract models describing the generic features of a type of situation that may occur in many different domains. In this paper, we propose a novel specification pattern based on a deontic perspective.

Research paper thumbnail of Conceptual Patterns-A Consolidation of Coad’s and Wohed’s Approaches

The information system analysis process is considered as a difficult phase during the information... more The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from the domain experts. Different techniques for supporting this process have been developed. One of them is provided by Coad, who defines a number of patterns aimed for use during the analysis of an information system.

Research paper thumbnail of Reconciliation of two Business Modelling Frameworks

Abstract. Addressed in this paper is the problem of conceptual heterogeneity within the field of ... more Abstract. Addressed in this paper is the problem of conceptual heterogeneity within the field of information systems. Two frameworks, Frisco and Söderström, each reflecting this heterogeneity, are presented. They are analysed and an reconciliation attempt of them is provided. The reconciliation points at some strengths and weaknesses in each framework.

Research paper thumbnail of An Ontology Based Analysis of BPEL4WS and WSCI

Abstract. In this paper two languages for web services choreography, BPEL4WS and WSCI, are analys... more Abstract. In this paper two languages for web services choreography, BPEL4WS and WSCI, are analysed and compared in order to increase our understanding of them. The analysis is based on ides from the field of ontology. A reference model is used as a top-level ontology and the languages are analysed one by one using the reference model. The result is that the approach of using an ontology based analysis is suitable for gaining understanding of web services languages.

Research paper thumbnail of Meta-Modelling as a Means for Improved Communication and Interoperability–The Case of Frisco

Abstract. Unclear and disparate terminology are causing problems in the area of information syste... more Abstract. Unclear and disparate terminology are causing problems in the area of information system development. To address these issues, modelling frameworks and ontologies based on solid philosophical and logical foundations have been developed. Hypothesizing that a diagrammatic interface will be beneficial for comprehension and communication resulting in wider dissemination, we propose a UML-based meta-model of one of those frameworks–Frisco.

Research paper thumbnail of Pattern-based Analysis of BPMN

In this paper an evaluation of BPMN is presented, using the Workflow Patterns as an analysis fram... more In this paper an evaluation of BPMN is presented, using the Workflow Patterns as an analysis framework. The analysis provided for BPMN is part of a larger effort aiming at an unbiased and vendor-independent survey of the expressive power of some mainstream modelling languages for process-aware information systems. It is a sequel to an analysis series where languages like BPEL and UML 2.0 AD were evaluated.

Research paper thumbnail of Modelling institutional, communicative and physical domains in agent oriented information systems

One role of a business system is to provide a representation of a Universe of Discourse, which re... more One role of a business system is to provide a representation of a Universe of Discourse, which reflects its structure and behaviour. An equally important function of the system is to support communication within an organisation, by structuring and co-ordinating the actions performed by the organisation's agents. These two roles of a business system may be represented in terms of business and process models, ie separating the declarative aspects from the procedural control flow aspects of the system.

Research paper thumbnail of Dynamic weaving of aspects for business process management systems

Reducing complexity in Information Systems is a main concern in both research and industry. One s... more Reducing complexity in Information Systems is a main concern in both research and industry. One strategy for reducing complexity is separation of concerns. This strategy advocates separating various concerns, like security and privacy, from the main concern. It results in less complex, easily maintainable, and more reusable Information Systems. Separation of concerns is addressed through the Aspect Oriented paradigm.

Research paper thumbnail of From business model to process pattern in e-commerce

Abstract The basic notions in e-commerce are communicative, institutional, and deontic notions su... more Abstract The basic notions in e-commerce are communicative, institutional, and deontic notions such as obligation, responsibility, and trust. The Language Action approach, therefore, seems to be a most promising framework for designing e-commerce systems. However, the penetration of the Language Action approach in industrial practice is still limited. We discuss some reasons for this state of affairs by identifying a number of problems that hinder an effective application of the Language Action approach.

Research paper thumbnail of Applying AI Techniques to Requirements Engineering: The NATURE Prototype

Abstract: Requirements Engineering (RE) is a critical part of software engineering. Within the NA... more Abstract: Requirements Engineering (RE) is a critical part of software engineering. Within the NATURE (Novel Approaches to Theories Underlying Requirements Engineering) project we have devoloped and implemented& five theories which are based on AI techniques for supporting and improving the requirements engineering process. For making the results comparable we have used the well known library example [Wing 1990].

Research paper thumbnail of Operational semantics of aspects in business process management

Aspect orientation is an important approach to address complexity of cross-cutting concerns in In... more Aspect orientation is an important approach to address complexity of cross-cutting concerns in Information Systems. This approach encapsulates these concerns separately and compose them to the main module when needed. Although there a different works which shows how this separation should be performed in process models, the composition of them is an open area. In this paper, we demonstrate the semantics of a service which enables this composition.

Research paper thumbnail of Business Process Management with Social Software: An Integrated Technology for Work Organisation

Abstract. Software support for well structured business processes is today provided through workf... more Abstract. Software support for well structured business processes is today provided through workflow technology and process management tools. Tailored to support well structured processes, these tools do not provide adequate support for loosely structured work activities such as knowledge intensive processes. This type of work is heavily reliant on professional knowledge, deals with large amounts of data and tasks that can be redone several times.

Research paper thumbnail of UEML: Providing Requirements and extensions for interoperability challenges

Abstract. Addressed in this paper is the domain of interoperability and interoperable information... more Abstract. Addressed in this paper is the domain of interoperability and interoperable information systems. Enterprise analysis and modelling is an essential tool for achieving interoperability. However, the big number and diversity of enterprise modelling tools and techniques available today challenges the usefulness of enterprise modelling. Addressing this problem, a Unified Enterprise Modelling Language is under development.