IDEF* - A comprehensive Modelling Methodology for the Development of Manufacturing Enterprise Systems

Size: px
Start display at page:

Download "IDEF* - A comprehensive Modelling Methodology for the Development of Manufacturing Enterprise Systems"

Transcription

1 SIMTech Technical Report () IDEF* - A comprehensive Modelling Methodology for the Development of Manufacturing Dr Ang Cheng Leong (Operations & Supply Chain Applications Group, Manufacturing Information Technology Division, 2000)

2 1 BACKGROUND Models are descriptions of systems. To completely describe a manufacturing enterprise system, several models of the manufacturing system are usually created, each from a different viewpoint. According to CIMOSA (CIM Open System Architecture) reference architecture (AMICE 93), manufacturing enterprise systems can be viewed from at least four complementary viewpoints: function, information, resource, and organisation. Unfortunately, in practice, models from each viewpoint are built independently using different methodologies and in different environments. However, a methodology tailored to a particular viewpoint may be incompatible with another. This traditional approach thus poses the following problems (Wang et al 1993; Kim 1996): describe the structure and components of the software tool. The methodology is termed IDEF* because it is an enhancement of the IDEF (ICAM DEFinition language) methodology developed by the US Air Force s ICAM (Integrated Computer-Aided Manufacturing) programme in the 80 s for CIM (Computer-Integrated Manufacturing) implementation. The IDEF methodology comprises IDEF0 (USAF 1981a), IDEF1 (USAF 1981b), IDEF2 (USAF 1981c), and IDEF3 (Mayer et al 1992) which are methodologies for functional, information, dynamic, and process modelling, respectively. There are two versions of IDEF1: IDEF1 (1981) (USAF 1981b) and IDEF1x (1986) (Bruce 1992, Loomis 1986). IDEF1 is used for requirements specification, while IDEF1x for the design of relational databases. (a) The whole modelling process involves repeated capturing of same information and is time-consuming. (b) It is very difficult to identify the effect of changes to one model on the others. (c) Incompatibility between the different but interrelated models. (d) Model maintenance is difficult because of (b). (e) Seamless transition in the systems development life cycle is difficult because of (c). (f) It is difficult for system users and system developers to communicate and work together. (g) Similarly, it is difficult for several system developers who have different purposes and backgrounds but who are working on the same system to communicate and work together. According to CIMOSA recommendations, a comprehensive modelling methodology termed IDEF* and a supporting software tool have been developed at Gintic to overcome these problems. The purpose of this paper is to explain the features and concept of the methodology, and to 2 OBJECTIVE To develop a methodology for integrated modelling of manufacturing enterprise systems and a supporting software tool, based on CIMOSA and IDEF0. 3 METHODOLOGY The main features of the IDEF* methodology are that it is: CIMOSAcompliant, IDEF0-based and Integrated. 3.1 CIMOSA COMPLIANCE The IDEF* methodology conforms to the CIMOSA modelling framework (AMICE 1993) which is a diagrammatic representation of three modelling dimensions (figure 1). In one dimension, modelling is described as consisting of generic, partial, and particular layers. In another dimension, modelling has function, information, resource, and organisation views. Finally, in the third dimension, modelling is described as having requirements definition, design specification, and implementation description levels of development. The combination of each of these three Keywords: Enterprise modelling; IDEF0; IDEF1x; IDEF*; Integrated modelling; Automated generation of IDEF0 models, 1

3 dimensions results in 36 different modelling domains C x,y,z s (where x, z =1,3, and y =1,4), and many possible routes for enterprise systems development. The IDEF* methodology supports the following route which consists of four sections and is thought to be one of the shortest in terms of development effort. (i) C 2,1,1 C 3,1,1 C 3,1,2 C 3,1,3 (ii) C 3,1,2 C 3,2,2 C 3,2,3 (iii) C 3,1,2 C 3,3,2 C 3,3,3 (iv) C 3,1,2 C 3,4,2 C 3,4,3 The development route is based on: (a) the waterfall system development life cycle model, which is characterised by a formal sign-off for each phase before work commences on the next phase (Brumbaugh 1994, Tkach et al 1994); (b) the premise that the information system of a manufacturing enterprise as well as its resources and organisation must support its business processes (Vernadat 1996). Section (i) of the development route involves: (a) customising a partial function model into a particular function model at the requirement definition level; (b) extending the particular function model to enable both visual and computer analyses of the model at the design specification level; (c) further extending the particular function model to enable computer workflow execution at the implementation description level. Organisation Resource Information Y + Function C 3,4,2 Generic Partial Particular X C 3,3,2 + C 3,1,1 Requirements Definition C 2,1,1 C 3,1,1 C 3,,2,2 C 3,4,3 + C 3,3,3 Z Design C X,Y,Z C 3,1,2 C 3,1,2 Specification C 3,2,3 Implementation C 3,1,3 Description C 3,1,3 Figure 1: CIMOSA Modelling Framework 2

4 Section (ii) involves the derivation of a particular information model from the particular function model at the design specification level, and the design of relational databases at the implementation description level. Sections (iii) & (iv) involve extending the particular function model to include resource view and organisation view, respectively, at both the design specification level and the implementation description level. 3.2 IDEF0-BASED IDEF0 is chosen as the basis of the IDEF* methodology. In producing a complete system description, an IDEF0 model is first built and other details are then added progressively to the IDEF0 model so that: (a) functional description of the system can be achieved at any level of abstraction; (b) complete system description can be realised sequentially; (c) models compatibility can be maintained by using the same functions among the different models. Throughout the modelling process, the IDEF0 model is used as the basis for the collection of relevant details. This helps to ensure that models resulting from the process will be compatible with the IDEF0 model, and that only function-related details are collected. This is in contrast with the traditional approach as mentioned in the introduction section. Three main reasons for choosing IDEF0 as the basis of the IDEF* methodology are that: it is one of the few functional modelling methodologies that are popular with the industrial community (Feldmann 1998); it is superior to many other functional modelling methodologies in terms of simple graphics, conciseness, rigor and precision, consistent methodology, levels of abstraction, and separation of organisation from function (Hunt 1996, Mandel 1990); it is a de facto international standard and a US Federal Information Processing standard (FIPS 1993) for functional modelling. 3.3 INTEGRATION IDEF* is integrated in the sense that it can achieve four kinds of modelling integration. The first two kinds of integration are achieved through an integrated modelling approach in which the different modelling processes share the same common information on the functionality of the enterprise system being modelled. The approach will not only help to ensure compatibility between the function model and the other models, but will also help to reduce the time and effort needed to build and maintain them. It will also allow system users and system developers to work together more easily than when using models that are built independently (Kim 1996). The third kind involves the use of a knowledge-based system to semiautomate the generation of IDEF0 models based on the concept of reference models (Ang et al 1997). The knowledge-based system approach helps to reduce modelling time and effort, and eliminate model inconsistency (Luo 1998). Finally, the last kind is achieved by extending the IDEF0 model to include other details, making it computerprocessable not only for workflow analysis (simulation) (Wang et al 1993), but also workflow execution (Ang 1998, Zukunft et al 1996, Johnson 1992). Such integration will help to reduce the time and effort of both system development and system maintenance. Any changes to system operations can now be effected simply by changing the relevant parts of the extended IDEF0 model which is much easier than changing directly the controller software. 3

5 4 RESULTS The IDEF* software tool developed comprises the following six components, which can be used either as standalone modules or together as an integrated software tool. They are integrated in the sense that output from the first component serves directly as input to the others. (a) A knowledge-based system for the semi-automated generation of IDEF0 models. (b) A software tool for the systematic derivation of the IDEF1x model from the IDEF0 model. (c) A software tool for the conversion of the integration of modeling views: function view with each of process, dynamics, information, resource, and organisation views; (d) integration of three modeling levels: requirements definition, design specification, and implementation description; (e) integration of three modeling layers: generic, partial, and particular; (f) integration of enterprise engineering and enterprise operation. (g) IDEF0 models to both the business process and the quality process models. (h) A software tool for the conversion of the IDEF0 model to the IDEF0-based IDEF2 dynamic model and its execution for systems simulation and control. (i) A software tool for the conversion of the IDEF0 model to the IDEF0-based resource model. (j) A software tool for the conversion of the IDEF0 model to the IDEF0-based organisation model. Details of the knowledge-based system are given by Ang et al (1997a), and Luo (1998). The system makes use of two expert systems: one to query the user for information on the company s characteristics and to automatically generate an IDEF0 partial model for the company; whereas the other to query the user based on the partial model generated for specific information on the company's activities and to automatically transform the partial model into a particular model (which is to be subject to validation). The second component supports the procedure mentioned in section 3.3 for the systematic derivation of the IDEF1x model from the IDEF0 model, and the generation of SQL scripts from the IDEF1x model for a number of well-known relational database systems like Oracle, DB2, and Informix. The other components are basically enhanced IDEF0 modelling tools. The third component is used to create the IDEF0-based process model, which is an integrated business and quality process model, directly from the IDEF0 model. The fourth component is used to transform the IDEF0 model into the IDEF0-based IDEF2 dynamic model. It also has a builtin intelligent simulator that can read and interpret the ASCII text file of the dynamic model, and operate in either simulation mode or control mode. In simulation mode, the simulator is used to simulate the dynamic model for workflow analysis, while in control mode, it is used to control the actual activities for workflow execution (Ang 1998). The last two components are used to create the IDEF0-based resource and organisation models. The IDEF* software tool was developed in Windows 95 environment using a number of commercial case tools. These include MetaDesign, Design/IDEF TM Version 3.5, and Design/OA TM of Meta Software Corporation (1992); Software Development Kit and Visual C++ of Microsoft Corporation (1993); Kappa-PC TM of IntelliCorp Inc. (1992). The software tool is expected to greatly enhance the effectiveness of IDEF* as it allows the entire process of enterprise systems design to be carried out in the same Design/IDEF TM environment. Figure 4

6 10 shows how the IDEF* software tool can be used to support the entire enterprise systems development life cycle. 5 CONCLUSION A comprehensive methodology termed IDEF* has been development for the modelling of manufacturing enterprise systems. The methodology, which incorporates such robust modelling methodologies as IDEF0, IDEF3(PFD), and IDEF1x, conforms to the CIMOSA modelling framework. It is comprehensive in the sense that it supports modelling from the four modelling views and at the three important development levels of CIMOSA. It is also integrated, meaning that it achieves four kinds of modelling integration as explained in the paper. Finally, it also satisfies eight important principles of good modelling methodologies. When supported by an appropriate software tool such as the one developed at Gintic, it is expected to drastically reduce the time and effort of enterprise systems development and maintenance. 6 INDUSTRIAL SIGNIFICANCE The IDEF* approach has the following advantages as compared to the conventional approach. a. Easy to understand. b. Complete system description can be realised sequentially and systematically. c. Models compatibility can be maintained by using the same functions among the different models. d. No repeated capturing of the same information on system functionality because of (c). e. No consistency checking is required because of (c). f. Efficient because of (d) & (e), and because complete system description can be accomplished in the same Design/IDEF TH environment. g. Ideal for CIM implementation or enterprise-wide integration because IDEF* is based on IDEF0. h. Conform to international standards 1 because IDEF* is CIMOSA-compliant and IDEF-based. i. Models are executable by computers for workflow simulation and workflow execution. j. System flexibility and hence system responsiveness can be greatly increased because of (i). IDEF* satisfies the eight important principles of good modelling methodologies proposed by Vernadat (1996). They are as follows. (a) Principle of separation of concerns: it is unrealistic to consider a manufacturing enterprise as a whole due to its inherent complexity. It must, therefore, be analysed piece by piece, each one corresponds to an existing functional area or domain. Thus, like CIMOSA, IDEF* views an enterprise as a collection of domains. A domain is a functional area achieving some goals of the enterprise and is made up of a collection of stand-alone core processes, called domain processes, and interact with other domains. (b) Principle of functional decomposition: in IDEF*, major functions are structured into sub-functions, subfunctions into sub-sub-functions, and so on in a stepwise-refinement approach as originally systematised in SADT (Ross 1977). (c) Principle of modularity: to facilitate model maintenance, IDEF0* models are modular in structure. In other words, the models are made of an assembly of compatible building blocks so that they can be built on a plug-and-play basis. Here, compatibility is ensured by means of the ICOM conventions (Ross 1977). (d) Principle of model genericity: although many activities or components of an enterprise are different, they often exhibit identical or similar properties. It is, therefore, important to define 5

7 standard building blocks as generic classes to factor common descriptive attributes and behaviours. In IDEF*, these generic classes are the various function objects and entity objects in the frame-based knowledge models that are built to facilitate the semiautomated generation of IDEF0 models (Luo 1998). (e) Principle of reusability: in IDEF*, partial models are reused and customised to particular models to reduce modelling time and effort. (f) Principle of process and resource decoupling: in IDEF*, the processes (i.e. things being done) and the resources (i.e. agents performing the processes) are decoupled in order to preserve operational flexibility. Each enterprise activity defined at the design specification stage is first decomposed into elementary processing steps, called functional operations. Executing agents or functional entities are then assigned to the functional operations. This is done by matching required functionalities of activities with functionalities offered by functional entities. (g) Principle of separation of behaviour and functionality: enterprise functionality concerns things to be done, while enterprise behaviour defines how things are done (AMICE 1993). The two should be separated if organisational flexibility has to be enforced. This will allow modification of one without impacting the other, and vice versa. In IDEF0*, the two are separated: functionality is first defined in terms of enterprise activities and functional operations during functional modelling, functional behaviour is then specified in terms of sequence of activities, behaviour rules, resource allocation, temporal rules, etc. (see section 3.2) during process modelling and dynamic modelling. (h) Principle of conformity: this principle deals with syntax and semantics of the model and concerns the ability of the model to accurately represent what it is supposed to model. Because IDEF* incorporates such well-proven and robust modelling methodologies as IDEF0, IDEF3(PFD), and IDEF1x, there are no questions of its ability to accurately describe the activities of a manufacturing system, their sequential relationships, and the information needed to support them. Also, important information on system behaviour, resource, and organisation can all be input directly into the IDEF0* model as textual descriptions. Thus IDEF* is as accurate as the modeler can be. REFERENCES 1. AMICE Consortium, 1993, CIMOSA Open Systems Architecture for CIM (Berlin: Springer Verlag). 2. Ang, C. L., Luo M., and Gay Robert K.L., 1997a, A Knowledge-Based Approach to the Generation of IDEF0 Models. International Journal of Production Research, Ang, C. L., Integrating IDEF1x with IDEF0, 1 st revision July 2000, International Journal of Production Research. 4. Ang, C. L., 1999, Enactment of IDEF0 Modes. International Journal of Production Research, to be published. 5. Bruce, T., 1992, Designing Quality Database with IDEF1x Information Models (New York: Dorset House Publishing). 6. Brumbaugh, D. E., 1994, Object-Oriented Development (Wiley). 7. Feldmann, C. G., 1998, The Practical Guide to Business Process Reengineering 8. Using IDEF0 (New York: Dorset House Publishing). 9. FIPS PUBS, 1993, Integration Definition for Function Modeling (IDEF0), Federal Information Processing Standards Publication 183, National Institute of Standards and Technology, USA. 10. Hunt, V. D., 1996, Process Mapping - How to Reengineer Your Business Processes (Wiley). 11. Johnson, E. M, 1992, An Integrated Simulation and Shopfloor Control System. Manufacturing Review, 5, (3). 12. Kim, J. I, 1996, Function, Information., Dynamics, and Organisation Integrated 13. Modelling Methodology for Enterprise Systems Integration. PhD Thesis, Arizona State University. 6

8 14. Loomis, M. E. S., 1986, Data Modeling - the IDEF1x Technique. Fifth Annual International Phoenix Conference on Computers and Communications, Scottsdale Arizona, IEEE. 15. Luo, M., 1998, A Knowledge-Based Approach to the Automated Generation of IDEF0 Models. PhD Thesis, Nanyang Technological University. 16. Mandel, K., 1990, Graphical Process Description - Views and Diagrams. International Journal of Computer Integrated Manufacturing Systems, 3, (5). 17. Mayer, R. J., Cullinane, T. P, dewine, P. S., Knappenberger, W. B., Perakath, B., and Wells, M. S., 1992, Information Integration for Concurrent Engineering (IICE), IDEF3 Process Description Capture Method Report, Air Force Systems Command, Wright-Patterson Air Force Base, Ohio 45433, AL-TR Ross, D. T., 1977, Structured analysis (SA): A Language for communicating Ideas. IEEE Transactions on Software Engineering, 3, (2). 19. Vernadat, F.B., 1996, Enterprise Modelling and Integration, Principles and Applications (Chapman & Hall). 20. Wang, W., Popplewell, K., and Bell, R., 1993, An Integrated Multi-View System Description Approach to Approximate Factory Modelling. International Journal of Computer Integrated Manufacturing, 6, (2). 21. Zukunft, O., and Rump, F., 1996, From Business Process Modelling to Workflow Management: An Integrated Approach. Scholz-Reiter, B. (Ed), Business Process Modelling (Berlin: Springer-Verlag). 7

SADT Structured Analysis & Design Technique

SADT Structured Analysis & Design Technique 1 SADT Structured Analysis & Design Technique Yuling Li 12/5/16 2 How to Make a Pizza? 3 4 How to Make a Pizza (Process/Activities) Systematically? Analysis Determine what the system will do Design Define

More information

A MODULARIZED APPROACH TO THE INTEGRATED ENVIRONMENT

A MODULARIZED APPROACH TO THE INTEGRATED ENVIRONMENT A MODULARIZED APPROACH TO THE INTEGRATED ENVIRONMENT Faraj I. and Alshawi M. Department of Surveying, University of Salford Salford M5 4WT, United Kingdom ABSTRACT: The lack of a high level structure for

More information

InterPARES 2 Project

InterPARES 2 Project International Research on Permanent Authentic Records in Electronic Systems Integrated Definition Function Modeling (IDEFØ): A Primer InterPARES Project Coordinator 04 August 2007 1 of 13 Integrated Definition

More information

Workflow Modeling for Implementing Complex, CAD-Based, Design Methodologies

Workflow Modeling for Implementing Complex, CAD-Based, Design Methodologies Workflow Modeling for Implementing Complex, CAD-Based, Design Methodologies J. Stavash and J. Wedgwood M. Forte Lockheed Martin Advanced Technology Laboratories Rockwell International Corporation Camden,

More information

Some Methodological Clues for Defining a Unified Enterprise Modelling Language

Some Methodological Clues for Defining a Unified Enterprise Modelling Language Some Methodological Clues for Defining a Unified Enterprise Modelling Language Michael Petit University of Namur, Belgium, mpe@jnfo.(un@.ac,be Abstract The need for a Unified Enterprise Modelling Language

More information

3.4 Data-Centric workflow

3.4 Data-Centric workflow 3.4 Data-Centric workflow One of the most important activities in a S-DWH environment is represented by data integration of different and heterogeneous sources. The process of extract, transform, and load

More information

Executing Evaluations over Semantic Technologies using the SEALS Platform

Executing Evaluations over Semantic Technologies using the SEALS Platform Executing Evaluations over Semantic Technologies using the SEALS Platform Miguel Esteban-Gutiérrez, Raúl García-Castro, Asunción Gómez-Pérez Ontology Engineering Group, Departamento de Inteligencia Artificial.

More information

Federal Information Processing Standards Publication December 21. Announcing the Standard for

Federal Information Processing Standards Publication December 21. Announcing the Standard for Federal Information Processing Standards Publication 184 1993 December 21 Announcing the Standard for INTEGRATION DEFINITION FOR INFORMATION MODELING (IDEF1X) Federal Information Processing Standards Publications

More information

Open XML Requirements Specifications, a Xylia based application

Open XML Requirements Specifications, a Xylia based application Open XML Requirements Specifications, a Xylia based application Naeim Semsarilar Dennis K. Peters Theodore S. Norvell Faculty of Engineering and Applied Science Memorial University of Newfoundland November

More information

Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram

Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram TOYOAKI TOMURA, SATOSHI KANAI and TAKESHI KISHINAMI Abstract. A manufacturing cell

More information

Chapter 6 Architectural Design

Chapter 6 Architectural Design Chapter 6 Architectural Design Chapter 6 Architectural Design Slide 1 Topics covered The WHAT and WHY of architectural design Architectural design decisions Architectural views/perspectives Architectural

More information

ISO/IEC/ IEEE

ISO/IEC/ IEEE INTERNATIONAL STANDARD ISO/IEC/ IEEE 31320-1 First edition 2012-09-15 Information technology Modeling Languages Part 1: Syntax and Semantics for IDEF0 Technologies de l'information Langages de modélisation

More information

Minsoo Ryu. College of Information and Communications Hanyang University.

Minsoo Ryu. College of Information and Communications Hanyang University. Software Reuse and Component-Based Software Engineering Minsoo Ryu College of Information and Communications Hanyang University msryu@hanyang.ac.kr Software Reuse Contents Components CBSE (Component-Based

More information

Chapter 2 Overview of the Design Methodology

Chapter 2 Overview of the Design Methodology Chapter 2 Overview of the Design Methodology This chapter presents an overview of the design methodology which is developed in this thesis, by identifying global abstraction levels at which a distributed

More information

Proposed Revisions to ebxml Technical. Architecture Specification v1.04

Proposed Revisions to ebxml Technical. Architecture Specification v1.04 Proposed Revisions to ebxml Technical Architecture Specification v1.04 Business Process Team 11 May 2001 (This document is the non-normative version formatted for printing, July 2001) Copyright UN/CEFACT

More information

An Automatic Tool for Checking Consistency between Data Flow Diagrams (DFDs)

An Automatic Tool for Checking Consistency between Data Flow Diagrams (DFDs) An Automatic Tool for Checking Consistency between Data Flow Diagrams (DFDs) Rosziati Ibrahim, Siow Yen Yen Abstract System development life cycle (SDLC) is a process uses during the development of any

More information

POSD - a notation for presenting complex systems of processes

POSD - a notation for presenting complex systems of processes POSD - a notation for presenting complex systems of processes Abstract Peter Henderson 1 and Graham D Pratten 2 Keywords: legacy systems, distributed systems, adaptability, process modelling, dataflow

More information

Application Servers in E-Commerce Applications

Application Servers in E-Commerce Applications Application Servers in E-Commerce Applications Péter Mileff 1, Károly Nehéz 2 1 PhD student, 2 PhD, Department of Information Engineering, University of Miskolc Abstract Nowadays there is a growing demand

More information

Chapter 6 Architectural Design. Chapter 6 Architectural design

Chapter 6 Architectural Design. Chapter 6 Architectural design Chapter 6 Architectural Design 1 Topics covered Architectural design decisions Architectural views Architectural patterns Application architectures 2 Software architecture The design process for identifying

More information

Software Reuse and Component-Based Software Engineering

Software Reuse and Component-Based Software Engineering Software Reuse and Component-Based Software Engineering Minsoo Ryu Hanyang University msryu@hanyang.ac.kr Contents Software Reuse Components CBSE (Component-Based Software Engineering) Domain Engineering

More information

Federal Information Processing Standards Publication December 21. Announcing the Standard for

Federal Information Processing Standards Publication December 21. Announcing the Standard for Federal Information Processing Standards Publication 184 1993 December 21 Announcing the Standard for INTEGRATION DEFINITION FOR INFORMATION MODELING (IDEF1X) Federal Information Processing Standards Publications

More information

A Generic Approach for Compliance Assessment of Interoperability Artifacts

A Generic Approach for Compliance Assessment of Interoperability Artifacts A Generic Approach for Compliance Assessment of Interoperability Artifacts Stipe Fustar Power Grid 360 11060 Parkwood Drive #2, Cupertino, CA 95014 sfustar@powergrid360.com Keywords: Semantic Model, IEC

More information

PICSIL. A Data Flow Approach to Silicon Compilation. top-down decomposition. Programming Language primitives

PICSIL. A Data Flow Approach to Silicon Compilation. top-down decomposition. Programming Language primitives PICSIL A Data Flow Approach to Silicon Compilation M W Pearson P J Lyons M D Apperley Department of Computer Science Massey University Palmerston North, New Zealand Silicon Compilation is a promising approach

More information

DOMAIN ENGINEERING OF COMPONENTS

DOMAIN ENGINEERING OF COMPONENTS 4-02-55 INFORMATION MANAGEMENT: STRATEGY, SYSTEMS, AND TECHNOLOGIES DOMAIN ENGINEERING OF COMPONENTS Carma McClure INSIDE Definition of Components; Component-Based Development; Reuse Processes; Domain

More information

Functional Modeling with Data Flow Diagrams

Functional Modeling with Data Flow Diagrams Functional Modeling with Data Flow Diagrams Amasi Elbakush 5771668 Teaching Assistant : Daniel Alami Utrecht University 1 Introduction Data Flow Diagrams (DFDs) are a visual representation of the flow

More information

Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions

Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions Mohammad Jabed Morshed Chowdhury 1, 2, Raimundas Matulevičius 1, Guttorm Sindre 2, and Peter Karpati 2

More information

Business Process Modelling

Business Process Modelling CS565 - Business Process & Workflow Management Systems Business Process Modelling CS 565 - Lecture 2 20/2/17 1 Business Process Lifecycle Enactment: Operation Monitoring Maintenance Evaluation: Process

More information

UNIT II Requirements Analysis and Specification & Software Design

UNIT II Requirements Analysis and Specification & Software Design UNIT II Requirements Analysis and Specification & Software Design Requirements Analysis and Specification Many projects fail: because they start implementing the system: without determining whether they

More information

Requirements Engineering for Enterprise Systems

Requirements Engineering for Enterprise Systems Association for Information Systems AIS Electronic Library (AISeL) AMCIS 2001 Proceedings Americas Conference on Information Systems (AMCIS) December 2001 Requirements Engineering for Enterprise Systems

More information

Lecture 1. Chapter 6 Architectural design

Lecture 1. Chapter 6 Architectural design Chapter 6 Architectural Design Lecture 1 1 Topics covered Architectural design decisions Architectural views Architectural patterns Application architectures 2 Software architecture The design process

More information

Software Development Chapter 1

Software Development Chapter 1 Software Development Chapter 1 1. Introduction Software Applications are increasingly used to tackle problems that concern everyday life : Automatic Bank tellers Airline reservation systems Air traffic

More information

Application of machine shop data model in manufacturing simulation

Application of machine shop data model in manufacturing simulation Application of machine shop data model in manufacturing simulation Y. Luo and Y. T. Lee Manufacturing Systems Integration Division National Institute of Standards and Technology Gaithersburg, MD, USA Abstract

More information

International Journal of Data Mining & Knowledge Management Process (IJDKP) Vol.7, No.3, May Dr.Zakea Il-Agure and Mr.Hicham Noureddine Itani

International Journal of Data Mining & Knowledge Management Process (IJDKP) Vol.7, No.3, May Dr.Zakea Il-Agure and Mr.Hicham Noureddine Itani LINK MINING PROCESS Dr.Zakea Il-Agure and Mr.Hicham Noureddine Itani Higher Colleges of Technology, United Arab Emirates ABSTRACT Many data mining and knowledge discovery methodologies and process models

More information

An intelligent task programming system for modular manufacturing machines

An intelligent task programming system for modular manufacturing machines Loughborough University Institutional Repository An intelligent task programming system for modular manufacturing machines This item was submitted to Loughborough University's Institutional Repository

More information

ETSI ETR 346 TECHNICAL December 1996 REPORT

ETSI ETR 346 TECHNICAL December 1996 REPORT ETSI ETR 346 TECHNICAL December 1996 REPORT Source: ETSI TC-RES Reference: DTR/RES-06013-1 ICS: 33.020 Key words: Testing, TTCN, abstract test suite, validation Radio Equipment and Systems (RES); Trans-European

More information

Supporting Systems Engineering with Methods and Tools: A Case Study

Supporting Systems Engineering with Methods and Tools: A Case Study Supporting Systems Engineering with Methods and Tools: A Case Study Jock Rader and Leslie Haggerty Hughes Aircraft Company and H&A System Engineering Abstract Many projects have applied the Hatley-Pirbhai

More information

Proposed Revisions to ebxml Technical Architecture Specification v ebxml Business Process Project Team

Proposed Revisions to ebxml Technical Architecture Specification v ebxml Business Process Project Team 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 Proposed Revisions to ebxml Technical Architecture Specification v1.0.4 ebxml Business Process Project Team 11

More information

Modeling Issues Modeling Enterprises. Modeling

Modeling Issues Modeling Enterprises. Modeling Modeling Issues Modeling Enterprises SE502: Software Requirements Engineering Modeling Modeling can guide elicitation: It can help you figure out what questions to ask It can help to surface hidden requirements

More information

PROTOCOL CONVERSION FOR INTERCONNECTING ENERGY MANAGEMENT SYSTEMS. J. Luque, F. Gonzalo, F. Pérez, M. Mejías.

PROTOCOL CONVERSION FOR INTERCONNECTING ENERGY MANAGEMENT SYSTEMS. J. Luque, F. Gonzalo, F. Pérez, M. Mejías. PROTOCOL CONVERSION FOR INTERCONNECTING ENERGY MANAGEMENT SYSTEMS. J. Luque, F. Gonzalo, F. Pérez, M. Mejías. Facultad de Informática. Universidad de Sevilla. Avda. Reina Mercedes s/n. 41012-SEVILLA. SPAIN.

More information

Software Engineering

Software Engineering Software Engineering chap 4. Software Reuse 1 SuJin Choi, PhD. Sogang University Email: sujinchoi@sogang.ac.kr Slides modified, based on original slides by Ian Sommerville (Software Engineering 10 th Edition)

More information

OPTIMIZING PRODUCTION WORK FLOW USING OPEMCSS. John R. Clymer

OPTIMIZING PRODUCTION WORK FLOW USING OPEMCSS. John R. Clymer Proceedings of the 2000 Winter Simulation Conference J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, eds. OPTIMIZING PRODUCTION WORK FLOW USING OPEMCSS John R. Clymer Applied Research Center for

More information

CHAPTER 5 GENERAL OOP CONCEPTS

CHAPTER 5 GENERAL OOP CONCEPTS CHAPTER 5 GENERAL OOP CONCEPTS EVOLUTION OF SOFTWARE A PROGRAMMING LANGUAGE SHOULD SERVE 2 RELATED PURPOSES : 1. It should provide a vehicle for programmer to specify actions to be executed. 2. It should

More information

TRIREME Commander: Managing Simulink Simulations And Large Datasets In Java

TRIREME Commander: Managing Simulink Simulations And Large Datasets In Java TRIREME Commander: Managing Simulink Simulations And Large Datasets In Java Andrew Newell Electronic Warfare & Radar Division, Defence Science and Technology Organisation andrew.newell@dsto.defence.gov.au

More information

AOSA - Betriebssystemkomponenten und der Aspektmoderatoransatz

AOSA - Betriebssystemkomponenten und der Aspektmoderatoransatz AOSA - Betriebssystemkomponenten und der Aspektmoderatoransatz Results obtained by researchers in the aspect-oriented programming are promoting the aim to export these ideas to whole software development

More information

Chapter 6 Architectural Design. Lecture 1. Chapter 6 Architectural design

Chapter 6 Architectural Design. Lecture 1. Chapter 6 Architectural design Chapter 6 Architectural Design Lecture 1 1 Topics covered ² Architectural design decisions ² Architectural views ² Architectural patterns ² Application architectures 2 Software architecture ² The design

More information

MERCI: Standards based exchange of component information to support e-business applications

MERCI: Standards based exchange of component information to support e-business applications MERCI: Standards based exchange of component information to support e-business applications Wolfgang Wilkes University of Hagen, Germany wo/{f,:ang. wilkes@fernuni-hagen.de Abstract: Product developers

More information

MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation

MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation Lei Li 1, John Hosking 1 and John Grundy 1,2 1 Department of Computer

More information

Re-using Data Mining Workflows

Re-using Data Mining Workflows Re-using Data Mining Workflows Stefan Rüping, Dennis Wegener, and Philipp Bremer Fraunhofer IAIS, Schloss Birlinghoven, 53754 Sankt Augustin, Germany http://www.iais.fraunhofer.de Abstract. Setting up

More information

Design Patterns for Description-Driven Systems

Design Patterns for Description-Driven Systems Design Patterns for Description-Driven Systems N. Baker 3, A. Bazan 1, G. Chevenier 2, Z. Kovacs 3, T Le Flour 1, J-M Le Goff 4, R. McClatchey 3 & S Murray 1 1 LAPP, IN2P3, Annecy-le-Vieux, France 2 HEP

More information

An XML-based DEVS Modeling Tool to Enhance Simulation Interoperability

An XML-based DEVS Modeling Tool to Enhance Simulation Interoperability An XML-based DEVS Modeling Tool to Enhance Simulation Interoperability Yung-Hsin Wang Yao-Chung Lu Department of Information Management Department of Computer Science and Engineering Tatung University

More information

Data Models: The Center of the Business Information Systems Universe

Data Models: The Center of the Business Information Systems Universe Data s: The Center of the Business Information Systems Universe Whitemarsh Information Systems Corporation 2008 Althea Lane Bowie, Maryland 20716 Tele: 301-249-1142 Email: Whitemarsh@wiscorp.com Web: www.wiscorp.com

More information

A Formal V&V Framework for UML Models Based on Model Transformation Techniques

A Formal V&V Framework for UML Models Based on Model Transformation Techniques A Formal V&V Framework for UML Models Based on Model Transformation Techniques Soon-Kyeong Kim and David Carrington Information Technology and Electrical Engineering The University of Queensland, St. Lucia,

More information

Definition of Information Systems

Definition of Information Systems Information Systems Modeling To provide a foundation for the discussions throughout this book, this chapter begins by defining what is actually meant by the term information system. The focus is on model-driven

More information

Universal Model Framework -- An Introduction

Universal Model Framework -- An Introduction Universal Model Framework -- An Introduction By Visible Systems Corporation www.visible.com This document provides an introductory description of the Universal Model Framework an overview of its construct

More information

A NOVEL MODELING METHODOLOGY FOR COLLABORATIVE ENTERPRISE PROCESSES. Received March 2011; revised July 2011

A NOVEL MODELING METHODOLOGY FOR COLLABORATIVE ENTERPRISE PROCESSES. Received March 2011; revised July 2011 International Journal of Innovative Computing, Information and Control ICIC International c 2012 ISSN 1349-4198 Volume 8, Number 7(B), July 2012 pp. 5369 5380 A NOVEL MODELING METHODOLOGY FOR COLLABORATIVE

More information

Contemporary Design. Traditional Hardware Design. Traditional Hardware Design. HDL Based Hardware Design User Inputs. Requirements.

Contemporary Design. Traditional Hardware Design. Traditional Hardware Design. HDL Based Hardware Design User Inputs. Requirements. Contemporary Design We have been talking about design process Let s now take next steps into examining in some detail Increasing complexities of contemporary systems Demand the use of increasingly powerful

More information

Introduction To Systems Engineering CSC 595_495 Spring 2018 Professor Rosenthal Midterm Exam Answer Key

Introduction To Systems Engineering CSC 595_495 Spring 2018 Professor Rosenthal Midterm Exam Answer Key Part 1. Each question is worth 4 points. 1. Define what a system is. Introduction To Systems Engineering CSC 595_495 Spring 2018 Professor Rosenthal Midterm Exam Answer Key A system is a construct or collection

More information

USING TRANSFORMATIONS TO INTEGRATE TASK MODELS IN

USING TRANSFORMATIONS TO INTEGRATE TASK MODELS IN USING TRANSFORMATIONS TO INTEGRATE TASK MODELS IN THE UML Position Paper to the WTUML: Workshop on Transformations in UML ETAPS 2001 European Joint Conference on Theory and Practice of Software Nuno Jardim

More information

An Information Model for High-Integrity Real Time Systems

An Information Model for High-Integrity Real Time Systems An Information Model for High-Integrity Real Time Systems Alek Radjenovic, Richard Paige, Philippa Conmy, Malcolm Wallace, and John McDermid High-Integrity Systems Group, Department of Computer Science,

More information

Software Language Engineering of Architectural Viewpoints

Software Language Engineering of Architectural Viewpoints Software Language Engineering of Architectural Viewpoints Elif Demirli and Bedir Tekinerdogan Department of Computer Engineering, Bilkent University, Ankara 06800, Turkey {demirli,bedir}@cs.bilkent.edu.tr

More information

Object-Oriented Theories for Model Driven Architecture

Object-Oriented Theories for Model Driven Architecture Object-Oriented Theories for Model Driven Architecture Tony Clark 1, Andy Evans 2, Robert France 3 1 King s College London, UK, anclark@dcs.kcl.ac.uk, 2 University of York, UK, andye@cs.york.ac.uk, 3 University

More information

INTERNATIONAL TELECOMMUNICATION UNION. SERIES X: DATA NETWORKS AND OPEN SYSTEM COMMUNICATIONS Open distributed processing

INTERNATIONAL TELECOMMUNICATION UNION. SERIES X: DATA NETWORKS AND OPEN SYSTEM COMMUNICATIONS Open distributed processing INTERNATIONAL TELECOMMUNICATION UNION ITU-T X.911 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (10/2001) SERIES X: DATA NETWORKS AND OPEN SYSTEM COMMUNICATIONS Open distributed processing Information

More information

Product Security Briefing

Product Security Briefing Product Security Briefing Performed on: Adobe ColdFusion 8 Information Risk Management Plc 8th Floor Kings Building Smith Square London SW1 P3JJ UK T +44 (0)20 7808 6420 F +44 (0)20 7808 6421 Info@irmplc.com

More information

CS560: Formal Modelling and Implementation of Systems (Term II)

CS560: Formal Modelling and Implementation of Systems (Term II) CS560: Formal Modelling and Implementation of Systems (Term II) Software Design A.P.O Riordan, 2009 Email: a.oriordan@cs.ucc.ie Course Webpage: http://www.cs.ucc.ie/~adrian/cs560.html CS560 1 Design Design

More information

Software Quality Starts with the Modelling of Goal-Oriented Requirements

Software Quality Starts with the Modelling of Goal-Oriented Requirements Software Quality Starts with the Modelling of Goal-Oriented Requirements Emmanuelle Delor, Robert Darimont CEDITI Avenue Georges Lemaître, 21 B-6041 Charleroi Belgium Phone : +32 (0) 71 25 94 04 Fax :

More information

5/9/2014. Recall the design process. Lecture 1. Establishing the overall structureof a software system. Topics covered

5/9/2014. Recall the design process. Lecture 1. Establishing the overall structureof a software system. Topics covered Topics covered Chapter 6 Architectural Design Architectural design decisions Architectural views Architectural patterns Application architectures Lecture 1 1 2 Software architecture The design process

More information

METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE

METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE UDC:681.324 Review paper METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE Alma Butkovi Tomac Nagravision Kudelski group, Cheseaux / Lausanne alma.butkovictomac@nagra.com Dražen Tomac Cambridge Technology

More information

elements) and on the structure and representation of the information (i.e. the message format).

elements) and on the structure and representation of the information (i.e. the message format). Introduction to MDMI The global financial industry exchanges huge amounts of electronic information. Differences in understanding and interpretation of exchanged electronic information form an important

More information

Architectural Design. Architectural Design. Software Architecture. Architectural Models

Architectural Design. Architectural Design. Software Architecture. Architectural Models Architectural Design Architectural Design Chapter 6 Architectural Design: -the design the desig process for identifying: - the subsystems making up a system and - the relationships between the subsystems

More information

Integrating Systems and Software Engineering Concepts in AP-233

Integrating Systems and Software Engineering Concepts in AP-233 Integrating Systems and Software Engineering Concepts in AP-233 Asmus Pandikow, Erik Herzog, Anders Törne Real-Time Systems Laboratory Linköpings Universitet 581 83 Linköping, Sweden E-mail: {asmpa, erica,

More information

An Agent Modeling Language Implementing Protocols through Capabilities

An Agent Modeling Language Implementing Protocols through Capabilities An Agent Modeling Language Implementing Protocols through Capabilities Nikolaos Spanoudakis 1,2 1 Technical University of Crete, Greece nikos@science.tuc.gr Pavlos Moraitis 2 2 Paris Descartes University,

More information

lnteroperability of Standards to Support Application Integration

lnteroperability of Standards to Support Application Integration lnteroperability of Standards to Support Application Integration Em delahostria Rockwell Automation, USA, em.delahostria@ra.rockwell.com Abstract: One of the key challenges in the design, implementation,

More information

What are Embedded Systems? Lecture 1 Introduction to Embedded Systems & Software

What are Embedded Systems? Lecture 1 Introduction to Embedded Systems & Software What are Embedded Systems? 1 Lecture 1 Introduction to Embedded Systems & Software Roopa Rangaswami October 9, 2002 Embedded systems are computer systems that monitor, respond to, or control an external

More information

A Type Graph Model for Java Programs

A Type Graph Model for Java Programs A Type Graph Model for Java Programs Arend Rensink and Eduardo Zambon Formal Methods and Tools Group, EWI-INF, University of Twente PO Box 217, 7500 AE, Enschede, The Netherlands {rensink,zambon}@cs.utwente.nl

More information

A UNIFIED ENTERPRISE MODELLING LANGUAGE FOR ENHANCED INTEROPERABILITY OF ENTERPRISE MODELS

A UNIFIED ENTERPRISE MODELLING LANGUAGE FOR ENHANCED INTEROPERABILITY OF ENTERPRISE MODELS A UNIFIED ENTERPRISE MODELLING LANGUAGE FOR ENHANCED INTEROPERABILITY OF ENTERPRISE MODELS Hervé Panetto 1, Giuseppe Berio 2, Khalid Benali 3, Nacer Boudjlida 3, Michaël Petit 4 1 CRAN UMR 7039, University

More information

Business Process Modeling. Version 25/10/2012

Business Process Modeling. Version 25/10/2012 Business Process Modeling Version 25/10/2012 Maurizio Morisio, Marco Torchiano, 2012, 2013 3 BP Aspects Process flow Process modeling UML Activity Diagrams BPMN Information Conceptual modeling UML Class

More information

Modelling in Enterprise Architecture. MSc Business Information Systems

Modelling in Enterprise Architecture. MSc Business Information Systems Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling

More information

H&A Engineering. Systems

H&A Engineering. Systems Introduction to Structured Methods The idea that system descriptions are more clear and easier with pictures rather than words provided the basis for the development of structured methods. Structured analysis

More information

Transforming UML Collaborating Statecharts for Verification and Simulation

Transforming UML Collaborating Statecharts for Verification and Simulation Transforming UML Collaborating Statecharts for Verification and Simulation Patrick O. Bobbie, Yiming Ji, and Lusheng Liang School of Computing and Software Engineering Southern Polytechnic State University

More information

DLV02.01 Business processes. Study on functional, technical and semantic interoperability requirements for the Single Digital Gateway implementation

DLV02.01 Business processes. Study on functional, technical and semantic interoperability requirements for the Single Digital Gateway implementation Study on functional, technical and semantic interoperability requirements for the Single Digital Gateway implementation 18/06/2018 Table of Contents 1. INTRODUCTION... 7 2. METHODOLOGY... 8 2.1. DOCUMENT

More information

AN INTEGRATED COMPONENT-BASED APPROACH TO ENTERPRISE SYSTEM SPECIFICATION AND DEVELOPMENT

AN INTEGRATED COMPONENT-BASED APPROACH TO ENTERPRISE SYSTEM SPECIFICATION AND DEVELOPMENT AN INTEGRATED COMPONENT-BASED APPROACH TO ENTERPRISE SYSTEM SPECIFICATION AND DEVELOPMENT Zoran Stojanovic, Ajantha Dahanayake Faculty of Information Technology and Systems, Delft University of Technology,

More information

European Component Oriented Architecture (ECOA ) Collaboration Programme: Architecture Specification Part 2: Definitions

European Component Oriented Architecture (ECOA ) Collaboration Programme: Architecture Specification Part 2: Definitions European Component Oriented Architecture (ECOA ) Collaboration Programme: Part 2: Definitions BAE Ref No: IAWG-ECOA-TR-012 Dassault Ref No: DGT 144487-D Issue: 4 Prepared by BAE Systems (Operations) Limited

More information

Software Design Fundamentals. CSCE Lecture 11-09/27/2016

Software Design Fundamentals. CSCE Lecture 11-09/27/2016 Software Design Fundamentals CSCE 740 - Lecture 11-09/27/2016 Today s Goals Define design Introduce the design process Overview of design criteria What results in a good design? Gregory Gay CSCE 740 -

More information

Rapid Prototyping System for Teaching Real-Time Digital Signal Processing

Rapid Prototyping System for Teaching Real-Time Digital Signal Processing IEEE TRANSACTIONS ON EDUCATION, VOL. 43, NO. 1, FEBRUARY 2000 19 Rapid Prototyping System for Teaching Real-Time Digital Signal Processing Woon-Seng Gan, Member, IEEE, Yong-Kim Chong, Wilson Gong, and

More information

Integration With the Business Modeler

Integration With the Business Modeler Decision Framework, J. Duggan Research Note 11 September 2003 Evaluating OOA&D Functionality Criteria Looking at nine criteria will help you evaluate the functionality of object-oriented analysis and design

More information

Chapter 1 INTEGRATING MODEL-BASED AND TASK- BASED APPROACHES TO USER INTERFACE GENERATION 1. INTRODUCTION

Chapter 1 INTEGRATING MODEL-BASED AND TASK- BASED APPROACHES TO USER INTERFACE GENERATION 1. INTRODUCTION Chapter 1 INTEGRATING MODEL-BASED AND TASK- BASED APPROACHES TO USER INTERFACE GENERATION Sergio España, Inés Pederiva, Jose Ignacio Panach Department of Information Systems and Computation Valencia University

More information

Existing Model Metrics and Relations to Model Quality

Existing Model Metrics and Relations to Model Quality Existing Model Metrics and Relations to Model Quality Parastoo Mohagheghi, Vegard Dehlen WoSQ 09 ICT 1 Background In SINTEF ICT, we do research on Model-Driven Engineering and develop methods and tools:

More information

Components Based Design and Development. Unit 3: Software Design Quick Overview

Components Based Design and Development. Unit 3: Software Design Quick Overview Components Based Design and Development Computer Engineering Studies Universidad Carlos III de Madrid Unit 3: Software Design Quick Overview Juan Llorens Högskolan på Åland Finland / Universidad Carlos

More information

The Architectural Logic of Database Systems

The Architectural Logic of Database Systems The Architectural Logic of Database Systems E. J. Yannakoudakis The Architectural Logic of Database Systems With 69 Figures Springer-Verlag london Berlin Heidelberg New York Paris Tokyo E. 1. Yannakoudakis,

More information

challenges in domain-specific modeling raphaël mannadiar august 27, 2009

challenges in domain-specific modeling raphaël mannadiar august 27, 2009 challenges in domain-specific modeling raphaël mannadiar august 27, 2009 raphaël mannadiar challenges in domain-specific modeling 1/59 outline 1 introduction 2 approaches 3 debugging and simulation 4 differencing

More information

Object-Oriented and Classical Software Engineering

Object-Oriented and Classical Software Engineering Slide 8.1 Object-Oriented and Classical Software Engineering Seventh Edition, WCB/McGraw-Hill, 2007 Stephen R. Schach srs@vuse.vanderbilt.edu CHAPTER 8 Slide 8.2 REUSABILITY AND PORTABILITY Overview Slide

More information

Architectural Design. Topics covered. Architectural Design. Software architecture. Recall the design process

Architectural Design. Topics covered. Architectural Design. Software architecture. Recall the design process Architectural Design Objectives To introduce architectural design and to discuss its importance To explain the architectural design decisions that have to be made To introduce three complementary architectural

More information

A SysML-Based Methodology for Model Testing of Cyber-Physical Systems

A SysML-Based Methodology for Model Testing of Cyber-Physical Systems A SysML-Based Methodology for Model Testing of Cyber-Physical Systems Carlos A. González, Mojtaba Varmazyar, Shiva Nejati and Lionel Briand Software Verification and Validation Department, SnT Centre University

More information

Spemmet - A Tool for Modeling Software Processes with SPEM

Spemmet - A Tool for Modeling Software Processes with SPEM Spemmet - A Tool for Modeling Software Processes with SPEM Tuomas Mäkilä tuomas.makila@it.utu.fi Antero Järvi antero.jarvi@it.utu.fi Abstract: The software development process has many unique attributes

More information

Web-based Interactive Support for Combining Contextual and Procedural. design knowledge

Web-based Interactive Support for Combining Contextual and Procedural. design knowledge Web-based Interactive Support for Combining Contextual and Procedural Design Knowledge J.-H. Lee & Z.-X. Chou Graduate School of Computational Design, NYUST, Touliu, Taiwan ABSTRACT: Design study can take

More information

Chapter 2 State of the Art

Chapter 2 State of the Art Chapter 2 State of the Art This section provides an overview of related work concerning established approaches for business process modelling, formal representations of the Business Process Model and Notation

More information

Microsoft SQL Server on Stratus ftserver Systems

Microsoft SQL Server on Stratus ftserver Systems W H I T E P A P E R Microsoft SQL Server on Stratus ftserver Systems Security, scalability and reliability at its best Uptime that approaches six nines Significant cost savings for your business Only from

More information

A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink

A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink Holger Giese, Matthias Meyer, Robert Wagner Software Engineering Group Department of Computer Science University of Paderborn

More information

Software Engineering: Integration Requirements

Software Engineering: Integration Requirements Software Engineering: Integration Requirements AYAZ ISAZADEH Department of Computer Science Tabriz University Tabriz, IRAN Abstract: - This paper presents a discussion of software integration requirements,

More information

Transforming Transaction Models into ArchiMate

Transforming Transaction Models into ArchiMate Transforming Transaction Models into ArchiMate Sybren de Kinderen 1, Khaled Gaaloul 1, and H.A. (Erik) Proper 1,2 1 CRP Henri Tudor L-1855 Luxembourg-Kirchberg, Luxembourg sybren.dekinderen, khaled.gaaloul,

More information