153,969 Hits in 7.3 sec

Towards a formalization of the Unified Modeling Language [chapter]

Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
1997 Lecture Notes in Computer Science  
The Unified Modeling Language UML is a language for specifying visualizing and documenting object oriented systems UML combines the concepts of OOA OODOMT and OOSE and is intended as a standard in the  ...  a proposal for the formal foundation of UML that is based on a mathematical system model  ...  We also thank Manfred Broy and Ingolf Kr uger for stimulating discussions and comments on earlier versions of this paper.  ... 
doi:10.1007/bfb0053386 fatcat:wwrojogtcjhfpnhzlx7cd2grlm

Towards a Unified View of Modeling and Programming (Track Summary) [chapter]

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2016 Lecture Notes in Computer Science  
A specification as such denotes a set of models, each providing a binding of values to the names, satisfying the axioms.  ...  In a (possibly over) simplified view, as an attempt to impose some structure on this work, we can distinguish between three lines of work: formal methods, model-based engineering, and programming languages  ...  Panel The panel section started with a presentation by Broy, Havelund, and Kumar [2] (Towards a Unified View of Modeling and Programming), who present an argument for unifying modeling and programming  ... 
doi:10.1007/978-3-319-47169-3_1 fatcat:gufkvdfhlzfcvdm63rjrsm6e7i

Machine-Executable Model-Based Systems Engineering with Graph-Based Design Languages [chapter]

Benedikt Walter, Dennis Kaiser, Stephan Rudolph
2018 Complex Systems Design & Management  
While formal languages such as the Unified Modeling Language (UML) or the Systems Modeling Language (SysML) are used already to represent the design process and behavioral product aspects, the UML/SysML-models  ...  Graph-based design languages on the basis of UML combine the advantage of a digital representation of the design process with the advantage of a rule-based execution.  ...  While formal languages such as the Unified Modeling Language (UML) or the Systems Modeling Language (SysML) are used already to represent the design process and behavioral product aspects, the UML/SysML-models  ... 
doi:10.1007/978-3-030-04209-7_25 dblp:conf/csdm/WalterKR18 fatcat:y7vbljwoxza5vnf66yxxt3im5y

Ontology-based situation awareness

Mieczyslaw M. Kokar, Christopher J. Matheus, Kenneth Baclawski
2009 Information Fusion  
Complementing a theoretical basis for a unifying formal theory of computational SA such as one provided by Endsley's model, we believe the Semantic Web provides an ideal implementation infrastructure.  ...  Thus comprehension, an understanding of the meaning of situation elements, is unified under a common formal representation, STO.  ... 
doi:10.1016/j.inffus.2007.01.004 fatcat:ykpqnn453fhj5ksjo3zzvjwhcq

Towards a Foundational Framework for Developing and Testing Inter-organizational Business Processes

Philip Langer, Stefan Sobernig, Gustaf Neumann
2014 Modellierung  
Whereas significant advances have been accomplished by the research community to model and analyze IOPs within the boundaries of a subset of these concerns, a holistic approach that enables a unified view  ...  We believe that more research effort is needed towards establishing such a holistic, unified view based on a common language-oriented foundation for modeling and analyzing IOPs.  ...  An IOP model is expressed in a formally defined software language; that is, a language having a mathematical definition of both its syntax and semantics.  ... 
dblp:conf/modellierung/LangerSN14 fatcat:lvpdyfwrybgeteksrhtufane5y

Towards a Unified Business Strategy Language: A Meta-model of Strategy Maps [chapter]

Constantinos Giannoulis, Michael Petit, Jelena Zdravkovic
2010 Lecture Notes in Business Information Processing  
We have set an effort to formalize strategy maps in the form of a meta-model, usage scenarios and constraints, providing a systematic basis for obtaining a unified language/ontology for business strategy  ...  Such a language could be further utilized for facilitating formalizations and a constructive analysis of high-level business aspects of enterprises, as well for comparing and unifying existing intentional  ...  Our approach will be based on ideas developed in the Unified Enterprise Modeling Language (UEML) approach whose objective is to create a framework for interoperability of enterprise modeling languages  ... 
doi:10.1007/978-3-642-16782-9_15 fatcat:5i3wugqod5dnfefpt7mbj6kro4

Model-driven systems engineering for netcentric system of systems with DEVS unified process

Saurabh Mittal, Jose Luis Risco Martin
2013 2013 Winter Simulations Conference (WSC)  
While all these approaches build a specific type of system, the usage of MBSE to deliver the complete solution is not unified, and is largely undertaken by graphical languages like the Unified Modeling  ...  Language (UML) and Systems Modeling Language (SysML), both of which lack mathematical rigor.  ...  The metamodel of the formalism language is called a meta-metamodel.  ... 
doi:10.1109/wsc.2013.6721503 dblp:conf/wsc/MittalR13 fatcat:7kwuovd7rfc3vmyb7hw5363gu4

Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models

Hamzat Olanrewaju Aliyu, Mamadou Kaba Traore
2015 2015 Winter Simulation Conference (WSC)  
The kernel of the framework is a high level modeling language which acts as a generic front end that bridges the gap between all stakeholders using the state of the art in model-driven development. 3090  ...  Therefore complete studies of systems' properties often require the mastery of several formalisms since no single methodology is sufficient to investigate all aspects of a system .We aim to provide an  ...  Any Domain-Specific Language (DSL) can connect to the framework as long as there is a way to generate a UIF representation of its models. Figure 1 Overview of the methodology  ... 
doi:10.1109/wsc.2015.7408414 dblp:conf/wsc/AliyuT15 fatcat:l552dkdqdnfedptgu7kzwqnh5y

Towards a Unified View of Modeling and Programming [chapter]

Manfred Broy, Klaus Havelund, Rahul Kumar
2016 Lecture Notes in Computer Science  
In this paper we argue that there is a value in providing a unified view of modeling and programming.  ...  A unified view of modeling and programming may provide a common ground. The paper illustrates these points with selected examples comparing models and programs. *  ...  In spite of these perceived differences, the similarities between modeling languages and programming languages are obvious, which suggests a unifying view.  ... 
doi:10.1007/978-3-319-47169-3_17 fatcat:fh3plvzp6za7veg2o4p36jr5jm

A Metamodel-based representation method for reusable simulation model

Yonglin Lei, Lili Song, Weiping Wang, Caiyun Jiang
2007 2007 Winter Simulation Conference  
A unified simulation model representation is one of the key techniques to facilitate reuse. The model representation concept and its role in simulation are present firstly.  ...  The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation.  ...  An important technique is to build a unified simulation model representation, which can be used: (1) to support the communication among various users of the same model about its functionality and semantics  ... 
doi:10.1109/wsc.2007.4419681 dblp:conf/wsc/LeiSWJ07 fatcat:gus22jajovgtjmiregzigkesmi

Towards a coherent enterprise modelling landscape

Marija Bjekovic, Henderik Alex Proper, Jean-Sébastien Sottet
2012 The Practice of Enterprise Modeling  
The use of a wide range of purpose-specific models (and modelling languages) can easily lead to a fragmentation of the modelling landscape; i.e. a break up of coherence.  ...  While using purpose-specific modelling languages has clear benefits in terms of the suitability of the language to a purpose at hand, there is also a downside to it.  ...  This work has been partially sponsored by the Fonds National de la Recherche Luxembourg (, via the PEARL programme.  ... 
dblp:conf/ifip8-1/BjekovicPS12 fatcat:jhq3h6ulxfbb5iyiityoqmuldq

Formalization of a Hospital Management System

Okpor Margaret Dumebi
2017 International Journal of Computer Science Engineering and Information Technology  
The interaction within the system is visualized using Unified Modeling Language (UML) sequence diagrams.  ...  The use of formal specification creates a formal approach for specifying the underlying functions and properties of the system.  ...  Unified Modelling Language (UML) is a standard modelling language used for modelling software systems.  ... 
doi:10.5121/ijcseit.2017.7302 fatcat:nalgnivj5bcjxev6ej7dcq4h6i

Towards a Language for Graph-Based Model Transformation Design Patterns [chapter]

Hüseyin Ergin, Eugene Syriani
2014 Lecture Notes in Computer Science  
The unified template should be discussed and improved to provide standardization in model transformation design patterns.  ...  We believe using a UML-like graphical notation in at least application condition and structure fields of a design pattern makes the understanding and the application of the design pattern easier for the  ...  The example is implemented in a specific model transformation language.  ... 
doi:10.1007/978-3-319-08789-4_7 fatcat:ojcj4l2ntrczfoxuiumknwfp34

Transformation of UML Behavioral Diagrams to Support Software Model Checking

Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago, Nandamudi Lankalapalli Vijaykumar
2014 Electronic Proceedings in Theoretical Computer Science  
The main contribution of our work is the transformation of a non-formal language (UML) to a formal language (language of the NuSMV model checker) towards a greater adoption in practice of formal methods  ...  Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry.  ...  The main contribution of our work is the transformation of a non-formal language (UML) to a formal language (language of the NuSMV model checker) towards a greater adoption in practice of formal methods  ... 
doi:10.4204/eptcs.147.10 fatcat:kayselsdyndr5gkzoosymzgeli

Page 3598 of Mathematical Reviews Vol. , Issue 90F [page]

1990 Mathematical Reviews  
The mathematical essence ofthe game on denotational seman- tics” is that of model theory; given a formal system , find a class @ of models (algebraic structures) with respect to which the given formal  ...  By the formalism used and the examples the book is oriented toward computer scientists.  ... 
« Previous Showing results 1 — 15 out of 153,969 results