Search results for "Modeling language"
showing 10 items of 82 documents
Towards an Ontology for Information Systems Development—A Contextual Approach
2007
This chapter presents an ISD ontology, which aims to provide an integrated conceptualization of ISD through anchoring it upon a contextual approach. The ISD ontology is composed of concepts, relationships, and constraints referring to purposes, actors, actions, and objects of ISD. It is presented as a vocabulary with explicit definitions and in meta models in a UML-based ontology representation language. We believe that although not complete the ISD ontology can promote the achievement of a shared understanding of contextual aspects in ISD. It can be used to analyze and compare existing frameworks and meta models and as a groundwork for engineering new ISD methods, and parts thereof. IGI PU…
Defining collaboration rules in mechatronic Industry
2011
Small and medium companies in order to survive in the global market should promote the creation of partnerships and business networking. Thanks to business networks, in fact, they can reach efficiencies, improve their knowledge and increase their degree of internationalization. The industrial district is a very common type of business network model, especially in Italy. Belonging to an industrial district increases companies inclination to sign inter-firm collaboration contracts such as alliances, outsourcing and joint ventures. However, some Italian districts, mostly those recently constituted and localized in the south of Italy, such as the Sicilian Mechatronic District (SMD), lacks of ac…
Towards a method to generate GUI prototypes from BPMN
2018
Business Process Model and Notation (BPMN) provides organizations with a standard that facilitates further compression of the business process. BPMN focuses on the functional processes, leaving the development of interfaces to one side. Thereby, interface design usually depends on the subjective experience of the analyst. This article aims to propose a new method to generate user interfaces from BPMN models and Class Diagrams. The proposed method is based on the identification of different rules and makes use of stereotypes to extend BPMN notation. The rules have been extracted from seven existing projects on the Bizagi repository. Specifically, the proposal is based on the extraction of ru…
Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: a XILINX EDK case study
2012
International audience; In this paper we present framework for the deployment of hardware IPs at high-levels of abstraction. It is based in a model- driven approach that aims at the automatic generation of Dynamic Partial Reconfiguration designs created in Xilinx Platform Studio (XPS). Contrary to previous approaches, we make use of the IP-XACT standard to facilitate the deployment of hardware IPs, their parameterization and subsequent integration. We propose an extension to the MARTE profile for IP deployment, and we introduce the necessary model transformations to obtain a high- level representation from an IP-XACT component library. These models are then used to create a platform in MART…
AN AGENT BASED ARCHITECTURE FOR MANUFACTURING E-MARKETPLACES
2005
This chapter presents the Agent Based Architecture developed within the research project, titled "Process and Production Planning in manufacturing Enterprise Networks". As mentioned in Chapter 1, the architecture has been developed to support “added value services” in neutral linear e-marketplaces, i.e. in virtual districts. In this chapter the architecture will be described from a functional and dynamic point of view by using the formalisms used in the project. In particular, from a functional perspective, the architecture is described by using the IDEF0 formalism, while its dynamics are specified by UML activity diagrams.
Evolutionary approach to coverage testing of IEC 61499 function block applications
2015
The paper addresses the problem of coverage testing of industrial automation software represented in the IEC 61499 standard, one of the recent standards for distributed control system design. Contrary to model-based testing (MBT), the paper focuses on implementation coverage, not model coverage. An approach based on evolutionary algorithms is presented which generates coverage test suites for both basic and composite IEC 61499 function blocks. It employs two third-party tools, FBDK and EvoSuite. The evaluation of the approach was performed on a set of control applications for two lab-scale demonstration plants. Results show that the approach is applicable and shows good performance at least…
An Integrated Framework for Meta Modeling
2006
Meta modeling is an essential means to systematize, formalize, standardize, integrate, analyze and compare models, techniques, methods and tools. Numerous fields, such as databases, software engineering, software architectures, semantic web, computer-aided tools and method engineering, have benefited from it. The importance of meta modeling is ever increasing along with the emergence of novel approaches, architectures, techniques and languages based on UML and MDA. This paper presents a framework to integrate and compare divergent conceptions of meta modeling in databases, software engineering, and information systems development. The framework is applied to analyze and compare conceptions …
On marrying ontological and metamodeling technical spaces
2007
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice. Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules. Hence, when seen from an abstract point of view, the two paradigms and their various technological spaces seem closely related. However, in the state-of-the-art research and practice the two technologies are just beginning to converge and the relationship between the two is still under exploration. In this paper, we give an outline of current ontology technologies, such as the Semantic Web standards…
OntoSTEP: Enriching product model data using ontologies
2012
The representation and management of product lifecycle information is critical to any manufacturing organization. Different modeling languages are used at different lifecycle stages, for example STEP's EXPRESS may be used at a detailed design stage, while UML may be used for initial design stages. It is necessary to consolidate product information created using these different languages to build a coherent knowledge base. In this paper, we present an approach to enable the translation of STEP schema and its instances to Ontology Web Language (OWL). This gives a model-which we call OntoSTEP-that can easily be integrated with any OWL ontologies to create a semantically rich model. As an examp…
An Object Oriented approach for Flexible Manufacturing Control Systems Analysis and Design using the Unified Modelling Language
2003
In reacting to global competition and rapidly changing customer demands, industrial business organizations have developed a strong interest in flexible automation. The aim of flexible automation focuses on achieving agility in handling uncertainties from internal or external environments. Modeling complex structures, promoting reuse, and shortening the development time cycle are particularly significant aspects in the analysis and design of CIM systems, where heterogeneous elements have to be integrated in a complex control architecture. The design methodology for FMS control software involves the abstraction of an FMS and the estimation of the system performances. The aim of this activity …