Filters








27 Hits in 3.7 sec

Formalizing ODP computational viewpoint specifications in Maude

R. Romero, A. Vallecillo
Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.  
In this paper we explore the use of Maude as a formal notation for writing ODP computational viewpoint specifications.  ...  We show how Maude offers a simple, natural, and accurate way of modelling the ODP computational viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for  ...  Acknowledgements The authors would like to acknowledge the work of many ODP experts who have been involved in investigating and addressing the problems of the computational specification of ODP systems  ... 
doi:10.1109/edoc.2004.1342517 fatcat:4awjdnzkczbzphvcziculqgvke

On the Execution of ODP Computational Specifications

Jose Romero, Antonio Vallecillo
2006 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06)  
In this paper, we explore the use of model transformation techniques to establish a connection between UML models and Maude formal specifications of the ODP computational viewpoint, in order to obtain  ...  Thus, several authors have proposed either formal or visual languages to describe this ODP viewpoint.  ...  In particular, we show how model transformations can be effectively used for connecting the graphical ODP viewpoint specification with their corresponding formal specifications in Maude, aiming at getting  ... 
doi:10.1109/edocw.2006.51 fatcat:3z7yyrkv7rfdbf52mcwuds5bfm

Writing and executing ODP computational viewpoint specifications using Maude

José Raúl Romero, Antonio Vallecillo, Francisco Durán
2007 Computer Standards & Interfaces  
In this paper we introduce the use of Maude as a formal notation for writing and executing ODP computational viewpoint specifications.  ...  We show how Maude offers a simple, natural, and accurate way of modeling the ODP computational viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for  ...  We would also like to acknowledge the work of many ODP experts who have been involved in investigating and addressing the problems of the computational specification of ODP systems.  ... 
doi:10.1016/j.csi.2006.11.004 fatcat:ijttp5o7i5bj3ktrbzryzdb7ty

Using Maude to write and execute ODP information viewpoint specifications

Francisco Durán, Manuel Roldán, Antonio Vallecillo
2005 Computer Standards & Interfaces  
In this paper, we explore the use of Maude as a formal notation for writing ODP information specifications.  ...  We show how Maude offers a simple, natural, and accurate way of modeling the ODP information viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning  ...  We would also like to acknowledge the work of many ODP experts who have been involved in investigating and addressing the problems of the information specification of ODP systems.  ... 
doi:10.1016/j.csi.2004.10.008 fatcat:eb3vbybf2bh3vnvsjzgeljmwbq

Formalizing ODP enterprise specifications in Maude

Francisco Durán, Antonio Vallecillo
2003 Computer Standards & Interfaces  
In this paper, we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP enterprise specifications.  ...  Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems.  ...  And second, Maude messages naturally correspond to ODP messages, that model interactions between objects-but in the computational viewpoint, where they naturally belong (in ODP, messages are a computational  ... 
doi:10.1016/s0920-5489(02)00121-6 fatcat:dccxaxsqjrdhff4dnrcboaxl3i

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations [chapter]

Manuel Wimmer, Nathalie Moreno, Antonio Vallecillo
2012 Lecture Notes in Computer Science  
The evolution of multi-viewpoint system specifications is currently accomplished in terms of fine-grained atomic changes.  ...  In order to bridge this gap, we propose an approach to formally express and manipulate viewpoint changes in a high-level fashion, by structuring atomic changes into coarse-grained composite ones.  ...  Formalizing Viewpoints in Maude Maude [6] is a high-level language, a high-performance interpreter and compiler that supports rewriting logic based specification and programming of systems.  ... 
doi:10.1007/978-3-642-30561-0_23 fatcat:thhnltkcu5bl7gz7d5v2oxx2ra

Using algebraic specification techniques in development of object-oriented frameworks [chapter]

Shin Nakajima
1999 Lecture Notes in Computer Science  
of using formal methods in the process.  ...  This paper reports experience in using CafeOBJ (a multiparadigm algebraic specification language) in the development of objectoriented frameworks of the ODP trader that is implemented with Java and JavaIDL  ...  Using Algebraic Specification Techniques  ... 
doi:10.1007/3-540-48118-4_38 fatcat:caxyz2ux4bahloqwuqfq24tqpu

Software Language Engineering of Architectural Viewpoints [chapter]

Elif Demirli, Bedir Tekinerdogan
2011 Lecture Notes in Computer Science  
In this paper we provide a software language engineering approach to define viewpoints as domain specific languages.  ...  This enhances the formal precision of architectural viewpoints and leads to executable views that can be interpreted and analyzed by tools.  ...  Another example to attempts on formalizing EA viewpoints is about RM-ODP viewpoints.  ... 
doi:10.1007/978-3-642-23798-0_36 fatcat:r2k2iexicvgrhhbqtsqnbgpqvm

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE [chapter]

José Eduardo Rivera, José Raul Romero, Antonio Vallecillo
2009 Lecture Notes in Computer Science  
In this position paper we outline three of the outstanding problems that we think MDSD should tackle in order to be useful in industrial environments.  ...  In fact, many of the difficult problems of the engineering of complex software systems are still unresolved, or simplistically addressed by many of the current MDSD approaches.  ...  This formalization has also allowed us to add behavior [15] in a very natural way to the Maude specifications, and also made metamodels amenable to other kinds of formal analysis and simulation.  ... 
doi:10.1007/978-3-642-01648-6_7 fatcat:y2miyvqmbvg75prrk2lglbm23q

Twenty Years of Rewriting Logic [chapter]

José Meseguer
2010 Lecture Notes in Computer Science  
; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification  ...  Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality.  ...  rewriting logic at this point, when twenty years have passed since the first papers were published, for their further encouragement to turn my WRLA lecture into a survey paper, and for their patience in  ... 
doi:10.1007/978-3-642-16310-4_2 fatcat:ho7s76r67nc63bndpoptbh5k4e

On the Combination of Domain Specific Modeling Languages [chapter]

Antonio Vallecillo
2010 Lecture Notes in Computer Science  
Nowadays DSMLs are mostly used in silos to solve specific problems. However, there are many occasions when multiple DSMLs need to be combined to design systems in a modular way.  ...  Domain Specific Modeling Languages (DSMLs) are essential elements in Model-based Engineering. Each DSML allows capturing certain properties of the system, while abstracting other properties away.  ...  A detailed study of the formal basis for viewpoint unification mechanisms can be found in [15] .  ... 
doi:10.1007/978-3-642-13595-8_24 fatcat:vcbb4i5lgnapzj76wq7glfzzu4

Twenty years of rewriting logic

José Meseguer
2012 The Journal of Logic and Algebraic Programming  
; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification  ...  Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality.  ...  rewriting logic at this point, when twenty years have passed since the first papers were published, for their further encouragement to turn my WRLA lecture into a survey paper, and for their patience in  ... 
doi:10.1016/j.jlap.2012.06.003 fatcat:5tx4a5uxlvapfpf5fajozkbboi

An Asynchronous Communication Model for Distributed Concurrent Objects

Einar Broch Johnsen, Olaf Owe
2006 Journal of Software and Systems Modeling  
resulting in deadlock.  ...  Although at the cost of additional internal nondeterminism in the objects, this approach seems attractive in asynchronous or unreliable environments.  ...  Testing specifications in the Creol interpreter Specifications in RL are executable on the Maude modeling and analysis tool [11] .  ... 
doi:10.1007/s10270-006-0011-2 fatcat:4fhqwxz3dfgsxh2gqgq4to62ma

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2006 Electronical Notes in Theoretical Computer Science  
The formal semantics of Creol is defined in rewriting logic and the Creol interpreter is implemented in Maude, therefore I will introduce Maude here.  ...  in Computer Science.  ...  Conclusion We have presented a formalization of a concurrent object-oriented language and a behavioral specification language, for testing and verification of asynchronously communicating objects.  ... 
doi:10.1016/j.entcs.2005.12.069 fatcat:chb5rxirp5afld7emzxe6pdlim

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls

Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
2005 Electronical Notes in Theoretical Computer Science  
in Maude.  ...  Thus, Creol specifications may be executed with Maude as a language interpreter, which allows an incremental development of the language constructs and their operational semantics supported by testing  ...  A number of concurrency models have been successfully represented in rewriting logic and Maude [23, 24] , including the ODP computational model [25] and structural operational semantics [17] .  ... 
doi:10.1016/j.entcs.2004.06.012 fatcat:5tigru26pjejplw42velqkfbvu
« Previous Showing results 1 — 15 out of 27 results