Using uml to visualize role-based access control constraints
Proceedings of the ninth ACM symposium on Access control models and technologies
Automating commutativity analysis at the design level
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines
Journal of Biomedical Informatics
Design patterns for database pedagogy: a proposal
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Declarative techniques for model-driven business process integration
IBM Systems Journal
Verifiable composition of access control and application features
Proceedings of the tenth ACM symposium on Access control models and technologies
Software composition and verification for sensor networks
Science of Computer Programming - Special issue on new software composition concepts
A Framework to Design Quality-Based Learning Objects
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
A model-driven approach to enforce crosscutting assertion checking
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Articulating and enforcing authorisation policies with UML and OCL
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
A model-driven approach to formal refactoring
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automatic Maintenance of Association Invariants
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
Cataloging design abstractions
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
An action semantics for MOF 2.0
Proceedings of the 2006 ACM symposium on Applied computing
Does object coupling really affect the understanding and modifying of OCL expressions?
Proceedings of the 2006 ACM symposium on Applied computing
Complex model-defined constraints for database access with the entity container
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
A case study of specification and verification using JML in an avionics application
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Experiences of using the Dagstuhl Middle Metamodel for defining software metrics
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Conceptual modeling of service composition using aggregation and specialization relationships
Proceedings of the 44th annual Southeast regional conference
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Access control and audit model for the multidimensional modeling of data warehouses
Decision Support Systems
Modeling from a semiotic perspective
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Environmental Modelling & Software
Ownership as a conceptual modeling construct
Data & Knowledge Engineering
Developing secure data warehouses with a UML extension
Information Systems
An approach to evaluating structural pattern conformance of UML models
Proceedings of the 2007 ACM symposium on Applied computing
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation
IEEE Transactions on Software Engineering
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
IEEE Transactions on Software Engineering
QoS-aware model driven architecture through the UML and CIM
Information Systems Frontiers
Towards realizing a formal RBAC model in real systems
Proceedings of the 12th ACM symposium on Access control models and technologies
A QoS policy configuration modeling language for publish/subscribe middleware platforms
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
From Predicates to Programs: The Semantics of a Method Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Seamless traceability without compromise
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
An approach to precisely specifying the problem domain of design patterns
Journal of Visual Languages and Computing
Software testing using imprecise OCL constraints as oracles
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
On the refinement of web application systems from upper-stream models to program models
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Information and Software Technology
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
A test generation solution to automate software testing
Proceedings of the 3rd international workshop on Automation of software test
A domain-independent middleware framework for context-aware applications
Proceedings of the 6th international workshop on Adaptive and reflective middleware: held at the ACM/IFIP/USENIX International Middleware Conference
Formal constraints on memory management for composite overloaded operations
Scientific Programming
MARS: A metamodel recovery system using grammar inference
Information and Software Technology
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
Software Quality Control
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support
Models in Software Engineering
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
Models in Software Engineering
Platform-Independent Programming of Data-Intensive Applications Using UML
Balancing Agility and Formalism in Software Engineering
OCL as the Query Language for UML Model Execution
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Contrary-to-Duties Constraints: From UML to Relational Model
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Automating regression test selection based on UML designs
Information and Software Technology
Adaptive Agent Model: Software Adaptivity using an Agent-oriented Model-Driven Architecture
Information and Software Technology
Model-Driven Software Development with Graph Transformations: A Comparative Case Study
Applications of Graph Transformations with Industrial Relevance
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
DQML: A Modeling Language for Configuring Distributed Publish/Subscribe Quality of Service Policies
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Model-Driven Prototyping Based Requirements Elicitation
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Automated analysis of security-design models
Information and Software Technology
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Management and object behavior of statecharts through statechart DNA
WSEAS Transactions on Information Science and Applications
ICAI'09 Proceedings of the 10th WSEAS international conference on Automation & information
A Conceptual Model for Analysis Method of Extracting Unexpected Obstacles of Embedded Systems
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Solving Constraints in Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Managing the life cycle of plans
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
A Usability Profile for Graphical Formal Modelling Methods
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
ORM-Based Semantics of B2B Transactions
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Predicate Reference and Navigation in ORM
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
XMI2USE: A Tool for Transforming XMI to USE Specifications
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Ensuring UML Models Consistency Using the OCL Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
A policy-based conflict detection model for billing rules
AsiaCSN '07 Proceedings of the Fourth IASTED Asian Conference on Communication Systems and Networks
UML-B and Event-B: an integration of languages and tools
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Augmenting UML with decision table technique
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Two techniques for UML model transformations
International Journal of Computers and Applications
On the application of software metrics to UML models
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Towards the generation of a text-based IDE from a language metamodel
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A flexible requirements analysis approach for software product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Behavioural specifications from class models
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Security patterns for physical access control systems
Proceedings of the 21st annual IFIP WG 11.3 working conference on Data and applications security
KeY: a formal method for object-oriented systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Science of Computer Programming
UML-CI: A reference model for profiling critical infrastructure systems
Information Systems Frontiers
Modeling data federations in ORM
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture
Journal of Systems and Software
Integrating verification and testing of object-oriented software
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Model driven development for embedded systems
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Um método de validação da conformidade entre processos e regras de negócio através da animação
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Significance is in the eye of the stakeholder
ECDL'09 Proceedings of the 13th European conference on Research and advanced technology for digital libraries
Views on behaviour protocols and their semantic foundation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Information Sciences: an International Journal
Decision table based approach for business rules modelling in UML/OCL
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Constructing authorization systems using assurance management framework
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Software architecture definition for on-demand cloud provisioning
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Model-driven software development of applications based on web services
International Journal of Web and Grid Services
Using model driven engineering technologies for building authoring applications
Proceedings of the 10th ACM symposium on Document engineering
An ADL-approach to specifying and analyzing centralized-mode architectural connection
ECSA'10 Proceedings of the 4th European conference on Software architecture
Automated harvesting of test oracles for reliability testing
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Testing techniques in software engineering
Testing techniques in software engineering
Active operations on collections
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Extending variability for OCL interpretation
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
AutoPA: automatic prototyping from requirements
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Real-time integration of geo-data in ORM
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Design of a model-generated repository as a service for USDL
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
On the synthesis of upper-stream models for various web application systems
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Towards detailed software artifact specification with SPEMArti
Proceedings of the 2011 International Conference on Software and Systems Process
Specifying and implementing UI data bindings with active operations
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Transformation rules for translating business rules to OCL constraints
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
ReuseTool-An extensible tool support for object-oriented framework reuse
Journal of Systems and Software
QP based framework for development and formal verification of flight control software of UAV
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
An Ada design pattern recognition tool for AADL performance analysis
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
A generic framework: from modeling to code
Innovations in Systems and Software Engineering
Gene ontology based automated annotation: why it isn't working
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Rule-enhanced domain models for cloud security governance, risk and compliance management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
An object-oriented framework for reconciliation and extraction in heterogeneous data federations
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Facilitating the definition of general constraints in UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Specification of invariability in OCL
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Platform-Variant Applications from Platform-Independent Models via Templates
Electronic Notes in Theoretical Computer Science (ENTCS)
Quality-driven automatic transformation of object-oriented navigational models
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Runtime model validation with parallel object constraint language
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Natural language generation from class diagrams
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Study on unified metamodeling framework based on down-up mechanism
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Semantics of information systems outsourcing
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Semantics of agent-based service delegation and alignment
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Fact calculus: using ORM and lisa-d to reason about domains
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Preserving semantics when transforming conceptual spatio-temporal schemas
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Conceptual modeling for classification mining in data warehouses
DaWaK'06 Proceedings of the 8th international conference on Data Warehousing and Knowledge Discovery
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
A verifiable modeling approach to configurable role-based access control
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Extending the UML for designing association rule mining models for data warehouses
DaWaK'05 Proceedings of the 7th international conference on Data Warehousing and Knowledge Discovery
Model-driven architecture for agent-based systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
DE2M: An environment for developing distributed and executable enterprise models
Advances in Engineering Software
Automated verbalization for ORM 2
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Natural MDA: controlled natural language for action specifications on model driven development
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Towards a methodology for component-driven design
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Simplifying transformations of OCL constraints
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A domain model for dynamic system reconfiguration
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Fact-orientation meets agent-orientation
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
A three-layered XML view model: a practical approach
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Specification and validation of authorisation constraints using UML and OCL
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
Model compiler construction based on aspect-oriented mechanisms
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Improving composition support with lightweight metadata-based extensions of component models
SC'05 Proceedings of the 4th international conference on Software Composition
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Control flow analysis of UML 2.0 sequence diagrams
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Towards general purpose, high level, software languages
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Towards the completion of expressing and checking inheritance constraints in UML
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
MCC: a model transformation environment
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
An algebraic specification of generic OCL queries within the eclipse modeling framework
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Dependable Systems
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
Modeling Spatial and Temporal Set-Based Constraints During Conceptual Database Design
Information Systems Research
Model driven software development of applications based on web services
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
Modular embedding of the object constraint language into a programming language
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Goal-oriented approach to creating class diagrams with OCL constraints
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Specifying and running rich graphical components with Loa
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
A benchmark for OCL engine accuracy, determinateness, and efficiency
Software and Systems Modeling (SoSyM)
Software architecture definition for on-demand cloud provisioning
Cluster Computing
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Medical protocol diagnosis using formal methods
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
The less well known UML: a short user guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Object constraint language (OCL): a definitive guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Improving inconsistency resolution with side-effect evaluation and costs
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A metamodel-based approach for analyzing security-design models
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Constraints checking in UML class diagrams: SQL vs OCL
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
An aspect-oriented testability framework
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Using OCL for automatically producing multidimensional models and ETL processes
DaWaK'12 Proceedings of the 14th international conference on Data Warehousing and Knowledge Discovery
Compositionality and refinement in model-driven engineering
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
From UML and OCL to relational logic and back
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
View-based development of a simulation framework for multi-disciplinary environmental modelling
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Verification of ATL transformations using transformation models and model finders
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
On the use of an internal DSL for enriching EMF models
Proceedings of the 12th Workshop on OCL and Textual Modelling
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
Object-Role Modeling: Principles and Benefits
International Journal of Information System Modeling and Design
Design and evaluation of the ModelHealth toolchain for continuity of care web services
Automated Software Engineering
SUDA: a scenario-based UML design analysis approach
Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards
Supporting maintenance tasks on transformational code generation environments
Proceedings of the 2013 International Conference on Software Engineering
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
International Journal of Information Technology and Web Engineering
A language-independent approach to black-box testing using Erlang as test specification language
Journal of Systems and Software
BIMQL - An open query language for building information models
Advanced Engineering Informatics
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Incremental semantic analysis for OCL compilers
Innovations in Systems and Software Engineering
On the Validation of Invariants at Runtime
Fundamenta Informaticae
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
Hi-index | 0.00 |
Praise for The Object Constraint Language, Second Edition“MDA promises a revolution in the way we develop software. This book is essential reading for anyone intending to adopt MDA technology.” ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 -Tony Clark, PhD ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 King's College, London“Through examples, Jos and Anneke demonstrate the power and intuitiveness of OCL, and the key role that this language plays in implementing and promoting MDA. The theme, structure, contents, and, not lastly, the clarity of explanations recommend this book as the best advocate for learning, using, and promoting OCL, UML, and MDA. I am sure that this work will contribute in a significant manner to the development and widespread use of new software technologies.” ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 -Dan Chiorean ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Head of the Computer Science Research Laboratory ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Babes-Bolyai University, Cluj"In this thoroughly revised edition, Jos and Anneke offer a concise, pragmatic, and pedagogic explanation of the Object Constraint Language (OCL) and its different applications. Their discussion of OCL's potential role in Model Driven Architecture (MDA) is timely and offers great insight into the way that UML can be taken to the next level of automated software development practice. I highly recommend this book to anyone who is looking to get the most out of UML."-Shane Sendall, PhD, Senior Researcher, Swiss Federal Institute of Technology in LausanneThe release of Unified Modeling Language (UML) 2.0 places renewed emphasis on the Object Constraint Language (OCL). Within UML, OCL is the standard for specifying expressions that add vital information to object-oriented models and other object-modeling artifacts. Model Driven Architecture (MDA) relies on OCL to add the level of programming detail necessary to enable platform-specific models (PSM) to communicate with platform-independent models (PIM).This book is a practical, accessible guide to OCL for software architects, designers, and developers. Much care has been taken during the redesign of OCL to ensure that the syntax remains readable and writable by the average software modeler. The Object Constraint Language, Second Edition, utilizes a case study to show how to exercise these compact but powerful expressions for maximum effect.This newly updated edition Explains why OCL is critical to MDA--and why UML alone is not enough Introduces an SQL-like syntax to OCL Defines the new language constructs of OCL 2.0 Demonstrates how OCL can be incorporated into code Shares tips and tricks for applying OCL to real-world modeling challenges-showing which can be solved with UML and which require OCLUsing a combination of UML and OCL allows developers to realize the effective, consistent, and coherent models that are critical to working with MDA. The authors' pragmatic approach and illustrative use of examples will help application developers come quickly up to speed with this important object-modeling method-and will serve as a ready reference thereafter.